Title :
The choice of computer languages for use in safety-critical systems
Author_Institution :
Dept. of Eng., Warwick Univ., Coventry
fDate :
3/1/1991 12:00:00 AM
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 :
assembly language; high level languages; safety; software reliability; Ada; C; CORAL 66; Modula-2; Pascal; assembly-level languages; civil requirements; computer languages; military requirements; project managers; safety-critical systems;
Journal_Title :
Software Engineering Journal
