High integrity software for nuclear power plants: Candidate guidelines, technical basis and research needs. Main report, Volume 2
- Mitre Corp., McLean, VA (United States)
The work documented in this report was performed in support of the US Nuclear Regulatory Commission to examine the technical basis for candidate guidelines that could be considered in reviewing and evaluating high integrity computer e following software development and assurance activities: Requirements specification; design; coding; verification and validation, inclukding static analysis and dynamic testing; safety analysis; operation and maintenance; configuration management; quality assurance; and planning and management. Each activity (framework element) was subdivided into technical areas (framework subelements). The report describes the development of approximately 200 candidate guidelines that span the entire ran e identification, categorization and prioritization of technical basis for those candidate guidelines; and the identification, categorization and prioritization of research needs for improving the technical basis. The report has two volumes: Volume 1, Executive Summary includes an overview of the framwork and of each framework element, the complete set of candidate guidelines, the results of the assessment of the technical basis for each candidate guideline, and a discussion of research needs that support the regulatory function; this document, Volume 2, is the main report.
- Research Organization:
- US Nuclear Regulatory Commission (NRC), Washington, DC (United States). Div. of Systems Technology; Mitre Corp., McLean, VA (United States)
- Sponsoring Organization:
- Nuclear Regulatory Commission, Washington, DC (United States)
- OSTI ID:
- 93581
- Report Number(s):
- NUREG/CR-6263-Vol.2; MTR-94W0000114-Vol.2; ON: TI95015162; TRN: 95:018540
- Resource Relation:
- Other Information: PBD: Jun 1995
- Country of Publication:
- United States
- Language:
- English
Similar Records
Assessing Risk and Driving Risk Mitigation for First-of-a-Kind Advanced Reactors
Viability Assessment of a Repository at Yucca Mountain. Volume 4: License Application Plan and Costs