Plant and safety system model
暂无分享,去创建一个
Abstract The design and development of a digital computer-based safety system for a nuclear power plant is a complex process. The process of design and product development must result in a final product free of critical errors; operational safety of nuclear power plants must not be compromised. This paper focuses on the development of a safety system model to assist designers, developers, and regulators in establishing and evaluating requirements for a digital computer-based safety system. The model addresses hardware, software, and human elements for use in the requirements definition process. The purpose of the safety system model is to assist and serve as a guide to humans in the cognitive reasoning process of establishing requirements. The goals in the use of the model are to: (1) enhance the completeness of the requirements and (2) reduce the number of errors associated with the requirements definition phase of a project.
[1] Constance L. Heitmeyer,et al. Automated consistency checking of requirements specifications , 1996, TSEM.
[2] Constance L. Heitmeyer,et al. Verifying SCR Requirements Specifications Using State Exploration , 1997 .
[3] Natl Res Cou. Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues , 1997 .
[4] K. H. Kim. Object Structures for Real-Time Systems and Simulators , 1997, Computer.