The software content of safety-critical avionics systems is increasing rapidly, potentially leading to project delays and cost overruns because of the complexity of verifying the code. By implementing automation techniques such as code generation in concert with a formally defined specification language, it is possible to achieve significant time and cost savings. These savings have been demonstrated at two major European companies on their own avionics projects.
Efficient development of safety-critical software
2003-02-01
6 pages
Article (Journal)
English
Efficient Software Tool Qualification for Automotive Safety-Critical Systems
British Library Conference Proceedings | 2011
|Efficient software tool qualification for automotive safety critical systems
Automotive engineering | 2011
|Efficient software tool qualification for automotive safety-critical systems
Tema Archive | 2011
|Changing safety-critical software
IEEE | 2001
|