首页   按字顺浏览 期刊浏览 卷期浏览 The choice of computer languages for use in safety-critical systems
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)



返 回