Techniques, Processes, and Measures for Software Safety and Reliability. Version 3.0

Download or read book Techniques, Processes, and Measures for Software Safety and Reliability. Version 3.0 written by and published by . This book was released on 1992 with total page 55 pages. Available in PDF, EPUB and Kindle. Book excerpt: The purpose of this report is to provide a detailed survey of current recommended practices and measurement techniques for the development of reliable and safe software-based systems. This report is intended to assist the United States Nuclear Reaction Regulation (NRR) in determining the importance and maturity of the available techniques and in assessing the relevance of individual standards for application to instrumentation and control systems in nuclear power generating stations. Lawrence Livermore National Laboratory (LLNL) provides technical support for the Instrumentation and Control System Branch (ICSB) of NRRin advanced instrumentation and control systems, distributed digital systems, software reliability, and the application of verificafion and validafion for the development of software.