Review Guidelines for Software Languages for use in Nuclear Power Plant Safety Systems

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: Ada83 and Ada95; C and C++; International Electrotechnical 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1997
Accession Number
ADA487447

Entities

People

  • D. Decker
  • Dong Lin
  • G. Dinsmore
  • M. Hecht
  • S. Graff
  • S. Koch
  • W. Green

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Human Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Control Systems Engineering
  • Engineers
  • High Level Languages
  • Human-Machine Interfaces
  • Operating Systems
  • Software Development
  • Software Metrics
  • Software Testing
  • System Software

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aviation Safety Risk Assessment.
  • Computer Engineering
  • Database Systems and Applications