Title :
Assuring the correctness of automatically generated software
Author_Institution :
Technol. Center, Honeywell Inc., Minneapolis, MN, USA
fDate :
30 Oct-3 Nov 1994
Abstract :
Specialized application generation tools are increasingly being used to automatically produce software in various application domains such as guidance, navigation and control. Many different tools may be used together to generate or assemble different parts of the same application. We discuss a toolset we have been developing to automatically generate GN&C and embedded software and the approach we are pursuing to assure the correctness of the generated applications
Keywords :
aerospace control; computerised navigation; program verification; software tools; MetaH tools; application domains; application generation tools; automatically generated software; control; correctness assurance; embedded software; formal methods; guidance; multiple validations; navigation; Application software; Automatic generation control; Contracts; Embedded software; Navigation; Performance analysis; Performance evaluation; Software testing; Software tools; System testing;
Conference_Titel :
Digital Avionics Systems Conference, 1994. 13th DASC., AIAA/IEEE
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-2425-0
DOI :
10.1109/DASC.1994.369494
