Title :
Software model checking for avionics systems
Author :
Cofer, Darren ; Whalen, Michael ; Miller, Steven
Author_Institution :
Rockwell Collins, Cedar Rapids, IA
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;
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
DOI :
10.1109/DASC.2008.4702862
