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.
Dokumentinformationen
Ada in safety critical applications
Die Anwendung der Programmiersprache Ada in sicherheitstechnischen Einrichtungen
1991
6 Seiten, 8 Quellen
Aufsatz (Konferenz)
Englisch
Ähnliche Titel
Contactless position sensors for safety-critical applications
| Tema Archiv | 2002
Contactless Position Sensors for Safety-critical Applications
| British Library Conference Proceedings | 2002
System architectures for safety critical automotive applications
| Tema Archiv | 1990
Validating Java(tm) for Safety-Critical Applications
| AIAA | 2005
Towards safety critical middleware for avionics applications
| Tema Archiv | 2002