DocumentCode
1811047
Title
Software model checking for avionics systems
Author
Cofer, Darren ; Whalen, Michael ; Miller, Steven
Author_Institution
Rockwell Collins, Cedar Rapids, IA
fYear
2008
fDate
26-30 Oct. 2008
Abstract
The adoption of model-based development tools is changing the cost-benefit equation for the industrial use of formal methods. The integration of formal methods such as model checking into software development environments makes it possible to fight increasing cost and complexity with automation and rigor. This paper describes how formal analysis tools can be inserted into a model-based development process to decrease costs and increase quality of safety-critical avionics software.
Keywords
aerospace computing; cost-benefit analysis; formal verification; safety-critical software; cost-benefit equation; formal analysis tools; formal methods; model-based development tools; safety-critical avionics software; software model checking; Aerospace electronics; Automatic testing; Costs; Life testing; Power system modeling; Programming; Software safety; Software testing; Software tools; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th
Conference_Location
St. Paul, MN
Print_ISBN
978-1-4244-2207-4
Electronic_ISBN
978-1-4244-2208-1
Type
conf
DOI
10.1109/DASC.2008.4702862
Filename
4702862
Link To Document