DocumentCode
2396715
Title
Assuring the correctness of automatically generated software
Author
Vestal, Steve
Author_Institution
Technol. Center, Honeywell Inc., Minneapolis, MN, USA
fYear
1994
fDate
30 Oct-3 Nov 1994
Firstpage
111
Lastpage
118
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 1994. 13th DASC., AIAA/IEEE
Conference_Location
Phoenix, AZ
Print_ISBN
0-7803-2425-0
Type
conf
DOI
10.1109/DASC.1994.369494
Filename
369494
Link To Document