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

On this page:

• Publication Information
• Abstract

Download complete document

• NUREG/CR-6463 (PDF - 7.38 MB)

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

Abstract

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.