The choice of computer languages for use in safety-critical systems
作者:
W.J.Cullyer,
S.J.Goodenough,
B.A.Wichmann,
期刊:
Software Engineering Journal
(IET Available online 1991)
卷期:
Volume 6,
issue 2
页码: 51-58
年代: 1991
DOI:10.1049/sej.1991.0007
出版商: IEE
数据来源: IET
摘要:
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.
点击下载:
PDF
(1377KB)
返 回