C++ in safety critical systems

Annals of Software Engineering

Volumn 4, Issue , 1997, Pages 223-234

  Binkley, David W ^a  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031500087     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018962626979     Document Type: Article

References (5)

1. ANSI (1995), C++ Programming Languages Working Paper, Document number X3J16/95-0087/WG21/ N0687, American National Standards Institute, Washington, DC.
2. Austin, T., S. Breach and G. Sohi (1994), "Efficient Detection of All Pointer and Array Access Errors," In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, New York, NY, pp. 290-301.
3. Binkley, D. (1996), "C++ in Safety Critical Systems," Technical Report, Report Number IR-5769, National Institute of Standards and Technology, Gaithersburg, MD.
4. Hatton, L. (1994), Safer C: Developing Software for High-Integrity and Safety-Critical Systems, McGraw-Hill International, Maidenhead, Berkshire, UK.
5. Hecht, H., M. Hecht, S. Graff, W. Green, D. Lin, S. Koch, A. Tai and D. Wendelboe (1996), "Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems," Technical Report, Report Number Nureg-CR-6463, US Nuclear Regulatory Commission, Washington, DC.