Review guidelines for software languages for use in nuclear power plant safety systems: Final report. Revision 1

Technical Report · Wed Oct 01 04:00:00 EDT 1997

DOI:https://doi.org/10.2172/569130· OSTI ID:569130

Hecht, M; Decker, D; Graff, S; Green, W; Lin, D; Dinsmore, G; Koch, S ^[1]

---

1. SoHaR, Inc., Beverly Hills, CA (United States)

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: Ada83 and Ada95; C and C++; International Electrochemical Commission (IEC) Standard 1131-3 Ladder Logic, Sequential Function Charts, Structured Text, and Function Block Diagrams; Pascal; and PL/M. Appendices to the report include a tabular summary of the guidelines and additional information on selected languages.

• Research Organization: Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; SoHaR, Inc., Beverly Hills, CA (United States)
• Sponsoring Organization: Nuclear Regulatory Commission, Washington, DC (United States)
• OSTI ID: 569130
• Report Number(s): NUREG/CR--6463-Rev.1; ON: TI98003252
• Country of Publication: United States
• Language: English

Related Subjects

22 GENERAL STUDIES OF NUCLEAR REACTORS
99 GENERAL AND MISCELLANEOUS
DIGITAL SYSTEMS
ENGINEERED SAFETY SYSTEMS
NUCLEAR POWER PLANTS
PROGRAMMING
PROGRAMMING LANGUAGES
PROGRESS REPORT
REACTOR SAFETY
RECOMMENDATIONS
RELIABILITY