Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Download Regulatory Guide 1170 Software Test Documentation For Digital Computer Software Used In Safety Systems Of Nuclear Power Plants Us Nuc full books in PDF, epub, and Kindle. Read online Regulatory Guide 1170 Software Test Documentation For Digital Computer Software Used In Safety Systems Of Nuclear Power Plants Us Nuc ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Download or read book Regulatory Guide 1.170 ... Software Test Documentation for Digital Computer Software Used in Safety Systems of Nuclear Power Plants ... U.s. Nuc written by and published by . This book was released on 1998* with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research
Publisher :
ISBN 13 :
Total Pages : 6 pages
Book Rating : 4.:/5 (297 download)
Download or read book Regulatory Guide 1.170 written by U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research and published by . This book was released on 1997 with total page 6 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Regulatory Guide 1.171 ... Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants ... U.s. Nuclear R written by and published by . This book was released on 1998* with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research
Publisher :
ISBN 13 :
Total Pages : 7 pages
Book Rating : 4.:/5 (297 download)
Download or read book Regulatory Guide 1.171 written by U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research and published by . This book was released on 1997 with total page 7 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research
Publisher :
ISBN 13 :
Total Pages : 7 pages
Book Rating : 4.:/5 (297 download)
Download or read book Regulatory Guide 1.172 written by U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research and published by . This book was released on 1997 with total page 7 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Regulatory Guide 1.169 ... Configuration Management Plans for Digital Computer Software Used in Safety Systems of Nuclear Power Plants ... U.s written by and published by . This book was released on 1998* with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Herbert Hecht
Publisher :
ISBN 13 :
Total Pages : 176 pages
Book Rating : 4.:/5 (787 download)
Download or read book NRC Class 1E Digital Computer System Guidelines written by Herbert Hecht and published by . This book was released on 1993 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author :
Publisher :
ISBN 13 :
Total Pages : 78 pages
Book Rating : 4.:/5 (683 download)
Download or read book High Integrity Software for Nuclear Power Plants written by and published by . This book was released on 1995 with total page 78 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 software used in the safety systems of nuclear power plants. The framework for the work consisted of the following software development and assurance activities: requirements specification; design; coding; verification and validation, including 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 range of software life-cycle activities; the assessment of the 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 framework 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; Volume 2 is the main report.
Author : International Atomic Energy Agency
Publisher :
ISBN 13 :
Total Pages : 120 pages
Book Rating : 4.F/5 ( download)
Download or read book Manual on Quality Assurance for Computer Software Related to the Safety of Nuclear Power Plants written by International Atomic Energy Agency and published by . This book was released on 1988 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provides guidance in the assurance of quality of specification, design, implementation, maintenance and use of computer software related to items and activities important to safety in nuclear power plants.
Author : American Nuclear Society. Working Group ANS-10.3
Publisher :
ISBN 13 :
Total Pages : 20 pages
Book Rating : 4.0/5 ( download)
Download or read book American National Standard for Documentation of Computer Software written by American Nuclear Society. Working Group ANS-10.3 and published by . This book was released on 1995 with total page 20 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : M. Hecht
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (479 download)
Download or read book Digital Systems Software Requirements Guidelines written by M. Hecht and published by . This book was released on 2001 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Development of a Standard for Verification and Validation of Software Used to Calculate Nuclear System Thermal Fluids Behavior written by and published by . This book was released on 2010 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: With the resurgence of nuclear power and increased interest in advanced nuclear reactors as an option to supply abundant energy without the associated greenhouse gas emissions of the more conventional fossil fuel energy sources, there is a need to establish internationally recognized standards for the verification and validation (V & V) of software used to calculate the thermal-hydraulic behavior of advanced reactor designs for both normal operation and hypothetical accident conditions. To address this need, ASME (American Society of Mechanical Engineers) Standards and Certification has established the V & V 30 Committee, under the responsibility of the V & V Standards Committee, to develop a consensus Standard for verification and validation of software used for design and analysis of advanced reactor systems. The initial focus of this committee will be on the V & V of system analysis and computational fluid dynamics (CFD) software for nuclear applications. To limit the scope of the effort, the committee will further limit its focus to software to be used in the licensing of High-Temperature Gas-Cooled Reactors. In this framework, the standard should conform to Nuclear Regulatory Commission (NRC) practices, procedures and methods for licensing of nuclear power plants as embodied in the United States (U.S.) Code of Federal Regulations and other pertinent documents such as Regulatory Guide 1.203, "Transient and Accident Analysis Methods" and NUREG-0800, "NRC Standard Review Plan". In addition, the standard should be consistent with applicable sections of ASME Standard NQA-1 ("Quality Assurance Requirements for Nuclear Facility Applications (QA)"). This paper describes the general requirements for the V & V Standard, which includes; (a) the definition of the operational and accident domain of a nuclear system that must be considered if the system is to licensed, (b) the corresponding calculational domain of the software that should encompass the nuclear operational and accident domain to be used to study the system behavior for licensing purposes, (c) the definition of the scaled experimental data set required to provide the basis for validating the software, (d) the ensemble of experimental data sets required to populate the validation matrix for the software in question, and (e) the practices and procedures to be used when applying a validation standard. Although this initial effort will focus on software for licensing of High-Temperature Gas Reactors, it is anticipated that the practices and procedures developed for this standard can eventually be extended to other nuclear and non-nuclear applications.
Download or read book Standards for Digital Computers Used in Non-safety Nuclear Power Plant Applications written by and published by . This book was released on 1977 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: There are currently a number of efforts to develop standards which would apply to digital computers used in nuclear power plants for functions other than those directly involving plant protection (for example, ANS: 4.3.3 Subworking Group in the U.S., IEC 45A/WGA1 Subcommittee in Europe). The impetus for this activity is discussed and generally attributed to the realization that nonsafety systems computers may affect the assumptions used as the design bases for safety systems, the sizable economic loss which can result from the failure of a critical computer application, and the lingering concern about the misapplication of a still-new technology. At the same time, it is pointed out that these standards may create additional obstacles for the use of this new technology which are not present in the application of more conventional instrumentation and control equipment. Much of the U.S. effort has been directed toward the problem of validation of computer systems in which the potential exists for unplanned interactions between various functions in a multiprogram environment, using common hardware in a time-sharing mode. The goal is to develop procedures for the specification, development implementation, and documentation of testable, modular systems which, in the absence of proven quantitative techniques for assessing software reliability, are felt to provide reasonable assurance that the computer system will function as planned.
Author : Max K. Hecht
Publisher :
ISBN 13 : 9780160628658
Total Pages : 586 pages
Book Rating : 4.6/5 (286 download)
Download or read book Review Guidelines for Software Languages for Use in Nuclear Power Plant Safety Systems written by Max K. Hecht and published by . This book was released on 1997-11-01 with total page 586 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems. Final Report written by and published by . This book was released on 2006 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Review of Quantitative Software Reliability Methods written by and published by . This book was released on 2010 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: The current U.S. Nuclear Regulatory Commission (NRC) licensing process for digital systems rests on deterministic engineering criteria. In its 1995 probabilistic risk assessment (PRA) policy statement, the Commission encouraged the use of PRA technology in all regulatory matters to the extent supported by the state-of-the-art in PRA methods and data. Although many activities have been completed in the area of risk-informed regulation, the risk-informed analysis process for digital systems has not yet been satisfactorily developed. Since digital instrumentation and control (I & C) systems are expected to play an increasingly important role in nuclear power plant (NPP) safety, the NRC established a digital system research plan that defines a coherent set of research programs to support its regulatory needs. One of the research programs included in the NRC's digital system research plan addresses risk assessment methods and data for digital systems. Digital I & C systems have some unique characteristics, such as using software, and may have different failure causes and/or modes than analog I & C systems; hence, their incorporation into NPP PRAs entails special challenges. The objective of the NRC's digital system risk research is to identify and develop methods, analytical tools, and regulatory guidance for (1) including models of digital systems into NPP PRAs, and (2) using information on the risks of digital systems to support the NRC's risk-informed licensing and oversight activities. For several years, Brookhaven National Laboratory (BNL) has worked on NRC projects to investigate methods and tools for the probabilistic modeling of digital systems, as documented mainly in NUREG/CR-6962 and NUREG/CR-6997. However, the scope of this research principally focused on hardware failures, with limited reviews of software failure experience and software reliability methods. NRC also sponsored research at the Ohio State University investigating the modeling of digital systems using dynamic PRA methods. These efforts, documented in NUREG/CR-6901, NUREG/CR-6942, and NUREG/CR-6985, included a functional representation of the system's software but did not explicitly address failure modes caused by software defects or by inadequate design requirements. An important identified research need is to establish a commonly accepted basis for incorporating the behavior of software into digital I & C system reliability models for use in PRAs. To address this need, BNL is exploring the inclusion of software failures into the reliability models of digital I & C systems, such that their contribution to the risk of the associated NPP can be assessed.
Author :
Publisher :
ISBN 13 :
Total Pages : 419 pages
Book Rating : 4.:/5 (873 download)
Download or read book Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems. Final Report written by and published by . This book was released on 1996 with total page 419 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
