Programming languages for use in safety-related applications

Annual Reviews in Control

Volumn 27 I, Issue 1, 2003, Pages 39-45

  Halang, Wolfgang A ^a   Zalewski, Janusz ^b  

^a UNIVERSITY OF HAGEN   (Germany)

^b FLORIDA GULF COAST UNIVERSITY   (United States)

Author keywords

PEARL; Real time programming languages; Safety integrity levels; Safety requirements; Safety related systems; Verification

Indexed keywords

ACCIDENT PREVENTION; COGNITIVE SYSTEMS; COMPUTER HARDWARE; COMPUTER SOFTWARE; ERGONOMICS; SEMANTICS; SOFTWARE ENGINEERING; USER INTERFACES;

REAL TIME PROGRAMMING LANGUAGES; SAFETY INTEGRITY LEVEL; SAFETY REQUIREMENTS; SAFETY-RELATED SYSTEMS; VERIFICATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0141613203     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1367-5788(03)00005-1     Document Type: Short Survey

References (22)

1. Barnes, J. (2003). High Integrity Software: The SPARK approach to safety and security. Boston: Addison-Wesley.
2. British Ministry of Defence (MOD). (1991). Interim Defence Standard 00-55: The procurement of safety critical software in defence equipment.
3. Burns, A., Dobbings, B. J., & Vardanega, T. (2003). Guide for the use of Ada Ravenscar Profile in high integrity systems. Report YCS-2003-348. Department of Computer Science, University of York.
4. Carré, B., & Garnsworthy, J. (1990). SPARK - an annotated Ada subset for safety-critical applications. In: Proceedings of the 1990 TRI-Ada conference (pp. 392-402).
5. Cullyer, W.J., Goodenough, S.J., Wichmann, B.A. (1991). The choice of computer languages for use in safety-critical systems. Software Engineering Journal, 6(2), 51-58.
6. DIN V VDE 0801. (1995). Grundsätze für Rechner in Systemen mit Sicherheitsaufgaben. Berlin: Beuth Verlag.
7. DIN 66 253-2. (1998). Programmiersprache PEARL 90. Berlin: Beuth Verlag.
8. Halang, W. A., Frigeri, A. H., Lichtenecker, R., Steinmann U., & Wendland, K. (1998). Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. Schriftenreihe der Bundesanstalt für Arbeitsschutz und Arbeitsmedizin - Forschung - Fb 813. Bremerhaven, Verlag für neue Wissenschaft.
9. Halang, W.A., Stoyenko, A.D. (1993). Extending Pearl for industrial real-time applications. IEEE Software, 10(4), 65-74.
10. Hatton, L. (1995). Safer C: Developing software for high-integrity and safety-critical systems. London: McGraw-Hill.
11. Hecht, H., et al. (1996). Review guidelines on software languages for use in nuclear power plant safety systems. Report NUREG/CR-6463. Washington, DC: Nuclear Regulatory Commission.
12. IEC 880. (1986). Software for computers in safety systems of nuclear power stations. Geneva: International Electrotechnical Commission.
13. IEC 61131-3. (1992). Programmable controllers. Part 3: Programming languages. Geneva: International Electrotechnical Commission.
14. IEC 61508-1. (1998). Functional safety of electrical/electronic/programmable electronic systems: generic aspects - Part 1: General requirements. Geneva: International Electrotechnical Commission.
15. ISO/IEC. (2000). Guide for the use of the Ada programming language in high integrity systems. Technical Report ISO/IEC TR 15924, Geneva.
16. Kwon, J., Wellings, A., & King, S. (2002). Assessment of the Java programming language for use in high integrity systems. Report YCS-2002-341. Department of Computer Science, University of York.
17. Lindner, A. (1998). ANSI-C in safety critical applications: Lessons learned from software evaluation. In: W. Ehrenberger (Ed.), Proceedings of SAFECOMP'98. Lecture notes in computer science 1516 (pp. 209-217). Berlin-Heidelberg-New York: Springer-Verlag.
18. Motor Industry Software Reliability Association (MISRA). (1998). Guidelines for the use of the C language in vehicle based software. Nuneaton, Warwickshire.
19. RTCA/DO-178B. (1992). Software considerations in airborne systems and equipment certification (www.rtca.org)
20. Schlichting, R.D., Thomas, V.T. (1995). Programming language support for writing fault-tolerant distributed software. IEEE Transactions on Computers, 44(2), 203-212.
21. Wichmann, B.A. (1992). Requirements for programming languages in safety and security software standards. Computer Standards and Interfaces, 14, 433-441.
22. Wichmann, B. A. (1994). Contribution of standard programming languages to software quality. Software Engineering Journal, 9(1), 3-12.