The choice of computer languages for use in safety-critical systems
- 1 January 1991
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 6 (2) , 51-58
- https://doi.org/10.1049/sej.1991.0007
Abstract
The paper reviews the choice of computer language for use in safety-critical systems. The advice given reflects both civil and military requirements. A comparison is made between assembly-level languages, the language C, CORAL 66, Pascal, Modula-2 and Ada. It is concluded that a well defined sub-language is essential for use in safety-critical projects, and a guide is provided for project managers and designers on the characteristics which such a subset should possess.Keywords
This publication has 4 references indexed in Scilit:
- Verified compilation in micro-GypsyPublished by Association for Computing Machinery (ACM) ,1989
- Notes on the Security of Programming LanguagesPublished by Springer Nature ,1988
- Programming in Modula-2Published by Springer Nature ,1988
- Program verification and AdaIEE Proceedings E Computers and Digital Techniques, 1982