论文信息 - The choice of computer languages for use in safety-critical systems

The choice of computer languages for use in safety-critical systems

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. >

W. J. Cullyer | Brian A. Wichmann | S. J. Goodenough | B. Wichmann | S. Goodenough

[1] D. L. Clutterbuck,et al. The verification of low-level code , 1988, Softw. Eng. J..

[2] W. Young. Verified compilation in micro-Gypsy , 1989 .

[3] Andrew McGettrick. Program verification using ada , 1982, Cambridge computer science texts.

[4] William D. Young,et al. Verified compilation in micro-Gypsy , 1989, TAV3.

[5] Professor Dr. Niklaus Wirth,et al. Programming in Modula-2 , 1982, Springer Berlin Heidelberg.

[6] B. A. Wichmann. Notes on the Security of Programming Languages , 1988 .

[7] Niklaus Wirth,et al. PL360, a Programming Language for the 360 Computers , 1968, JACM.

[8] A. Welz. Ada in Safety Critical Applications , 1991, Ada-Europe.

[9] Ian J. Hayes,et al. Specification case studies , 1987 .

[10] Brian A. Wichmann. Towards a Formal Specification of Floating Point , 1989, Comput. J..

[11] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[12] Ian F. Currie. NewSpeak: an unexceptional language , 1986, Softw. Eng. J..

[13] Henry Ledgard,et al. Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[14] Brian A. Wichmann,et al. Pascal compiler validation , 1983 .

[15] Jeffrey S. Moore. Piton: a verified assembly level language , 1988 .