Review guidelines on software languages for use in nuclear power plant safety systems. Final report

Technical Report · Sat Jun 01 04:00:00 EDT 1996

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

Hecht, H; Hecht, M; Graff, S; Green, W; Lin, D; Koch, S; Tai, A; Wendelboe, D ^[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: 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.s

• 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: 257439
• Report Number(s): NUREG/CR--6463; ON: TI96011970
• Country of Publication: United States
• Language: English

Related Subjects

22 GENERAL STUDIES OF NUCLEAR REACTORS
99 GENERAL AND MISCELLANEOUS
AUDITS
COMPUTER CODES
ENGINEERED SAFETY SYSTEMS
MAINTENANCE
NUCLEAR POWER PLANTS
PROGRAMMING
PROGRAMMING LANGUAGES
PROGRESS REPORT
RECOMMENDATIONS
RELIABILITY