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
01.02.2003
6 pages
Aufsatz (Zeitschrift)
Englisch
Efficient Software Tool Qualification for Automotive Safety-Critical Systems
British Library Conference Proceedings | 2011
|Efficient software tool qualification for automotive safety critical systems
Kraftfahrwesen | 2011
|Efficient software tool qualification for automotive safety-critical systems
Tema Archiv | 2011
|Changing safety-critical software
IEEE | 2001
|