Document: NUREG-0800
Document ID: fea61ff0-f344-4101-adfb-590e3d9dfafe
Document Type: srp
Title: Draft Revision 6 – August 2015
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML1515/ML15159A946.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7
CFR Part: 
CFR Title: 

Content:
y have a different understanding of the meaning, and therefore a different understanding of what is required. Experience of the staff reviewer is important, and any element or statement which may have more than one meaning should be discussed with both the vendor and applicant or licensee personnel to ensure both have the same understanding. If the element is not clear to the reviewer, it is likely that others may also share that lack of understanding. Verifiability - The degree to which a software planning document, implementation process document or design output is stated or provided in such a way as to facilitate the establishment of verification criteria and the performance of analyses, reviews, or tests to determine whether those criteria have been met. A good example of a verifiable statement is a statement of conformance to a standard. Each requirement in the standard can then be checked to verify conformance (assuming that the requirements within the standard are verifiable). Partial conformance statements, like “meets the intent of” or “consistent with” are unverifiable unless there is an accompanying identification of which requirements, recommendations, and permissions are being followed. B.3.3.1 Requirements Activities - Software Requirements Specification (SRS) RG 1.172, “Software Requirements Specifications for Digital Computer Software Used in Safety Systems of Nuclear Power Plants,” endorses IEEE Std 830, “IEEE Recommended Practice for Software Requirements Specifications,” with a few noted exceptions, describes an acceptable approach for preparing software requirements specifications for safety system software. NUREG/CR-6101, Section 3.2.1, “Software Requirements Specification,” and Section 4.2.1, “Software Requirements Specifications,” contain relevant guidance. An SRS that exhibits the functional and the software development process characteristics listed below should be produced. B.3.3.1.1 Functional Characteristics of