Ada in safety critical applications
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.
Unable to display preview. Download preview PDF.
9 Referenced Documents
- Flight Control System Safety Critical Software Study / EFJ-STY-EFA-020-0005 / Issue 1 / 30 October 87Google Scholar
- Safe Ada & Compiler Study for EFA IMU / A. Welz / Internal LITEF Report / Revision 1.00-04.Google Scholar
- Study LITEF Executive in Ada (LEA) / Phase 1–3 / A. Welz / Internal LITEF Report / 16.2.89.Google Scholar
- SPARK — The SPADE Ada Kernel / Carre et al / July 1989 / HMSO London / Second EditionGoogle Scholar
- LDRA TESTBED ADA / User Documentation & Technical Description / Liverpool Data Research Associates Ltd. / 1985Google Scholar
- Verifying General Safety Properties of Ada Tasking Programs / Laura K. Dillon / IEEE Transactions on Software Engineering / Vol 16. No. 1 / January 1990Google Scholar
- Critical Races in Ada Programs / Gerald M. Karam et al / IEEE Transactions on Software Engineering / Vol. 15 No. 11 / November 1989Google Scholar
- Starvation and Critical Race Analyzer for Ada / Gerald M. Karam et al / IEEE Transactions on Software Engineering / Vol. 16 No. 8 / August 1990Google Scholar