Michael Joseph Hendry

US Patent:

20150347127, Dec 3, 2015

Filed:

Jun 3, 2014

Appl. No.:

14/294225

Inventors:

- Charlotte NC, US
Michael Krenz - Roscoe IL, US
Jeffery S. Schmidt - Rockton IL, US
Lucas Keaton - Rockford IL, US
Shawn A. Warner - Winnebago IL, US
Andrew David Bellis - Rockford IL, US
Gabriel Radulescu - Loves Park IL, US
Michael J. Hendry - Roscoe IL, US
Jeff M. Fischer - DeKalb IL, US

Assignee:

Hamilton Sundstrand Corporation - Charlotte NC

International Classification:

G06F 9/44
G06F 9/445

Abstract:

A method for incorporating a set of requirements into an executable program to be run on an airborne system is provided. The method obtains the set of requirements for the program in a first format. The method uses a first tool to convert the set of requirements in the first format into a second format utilizing a markup language. The method uses a second tool to convert the set of requirements in the second format into a third format that influences a behavior of the program without changing the program. The method uses a third tool to determine whether the set of requirements in the third format incorporates all of the set of requirements in the second format in order to verify the program under a compliance standard for the airborne system without performing a verification process directly on the program.