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.
Software model checking for avionics systems
2008 IEEE/AIAA 27th Digital Avionics Systems Conference ; 5.D.5-1-5.D.5-8
2008-10-01
422311 byte
Conference paper
Electronic Resource
English
Avionics software support cost model
Tema Archive | 1983
|Avionics Software Support Cost Model
NTIS | 1983
NTIS | 1983
Avionics software performability
IEEE | 1992
|