This document identifies guidelines that review high-integrity software requirements documents in nuclear power plants. The topic areas are conformance with the SRP, accuracy, functionality, reliability, robustness, maintainability, security, timing, and human-computer interaction. A checklist for the requirements and their ordering for a Software Requirements Specification in accordance with IEEE Std-830 is discussed.
Digital System Software Requirements Guidelines
Requirements for critical systems study sponsored by Nuclear Regulatory Commission