Ada in safety critical applications
Ada in safety critical applications
This paper reviews a LITEF internal study about the use of Ada in safety critical real time avionic systems. The study is part of the development of the Inertial Measurement Unit (IMU), a flight control subsystem of the European Fighter Aircraft (EFA). The study's goal was to establish programming rules and examinate support tools and methods for the development of safe Ada programs for flight critical systems. The language Ada is no less safe than other languages. Because of its strong typing, the predefined exception mechanism and the standardized tasking features, it has an even greater advantage compared to other languages. There are reasonable alternatives to restricting Ada to a 'PASCAL subset' as required in the EFA Safe Ada Study. With some precise rules, Ada fulfills all requirements of safety critical avionic applications. The adherence to these safety rules can be controlled with appropriate tools and methods.
Document information
Ada in safety critical applications
Die Anwendung der Programmiersprache Ada in sicherheitstechnischen Einrichtungen
1991
6 Seiten, 8 Quellen
Conference paper
English
Similar titles
Validating Java(tm) for Safety-Critical Applications
| AIAA | 2005
Towards safety critical middleware for avionics applications
| Tema Archive | 2002
Contactless position sensors for safety-critical applications
| Tema Archive | 2002
Safety critical computers for railway signalling applications
| British Library Conference Proceedings | 1994
Diaphragm metering pumps for safety critical applications
| Online Contents | 1998