Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems – Final Report (NUREG/CR-6463)

On this page:

Download complete document

Publication Information

Manuscript Completed: June 1996
Date Published:
June 1996

Prepared by:
H. Hecht, M. Hecht, S. Graff, W. Green, D. Lin,
S. Koch, A. 'Thi, D. Wendelboe

SoHar Incorporated
8421 Wilshire Boulevard
Beverly Hills, CA 90211

R. Brill, NRC Project Manager

Prepared for:
Division of Systems Technology
Office of Nuclear Regulatory Research
U.S. Nuclear Regulatory Commission
Washington, DC 20555-0001
NRC Job Code W6208

Availability Notice


Guidelines for the programming and auditing of software written in high level languages for safety systems are presented. The guidelines are derived from a framework of issues significant to software safety which was gathered from relevant standards and research literature. Language-specific adaptations of these guidelines are provided for the following high level languages: Ada, C/C++, Programmable Logic Controller (PLC) Ladder Logic, International Electrotechnical Commission (IEC) Standard 1131-3 Sequential Function Charts, Pascal, and PL/M. Appendices to the report include a tabular summary of the guidelines and additional information on selected languages.

Page Last Reviewed/Updated Wednesday, March 24, 2021