DocumentCode
1457416
Title
The choice of computer languages for use in safety-critical systems
Author
Cullyer, W.J.
Author_Institution
Dept. of Eng., Warwick Univ., Coventry
Volume
6
Issue
2
fYear
1991
fDate
3/1/1991 12:00:00 AM
Firstpage
51
Lastpage
58
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
73717
Link To Document