Document: NUREG-0800
Document ID: 4f141c71-35ca-4353-9047-a13efe6d56b7
Document Type: srp
Title: Revision 6 - August 2016
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML1601/ML16019A308.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7
CFR Part: 
CFR Title: 

Content:
st modes. Consistency means that each software architectural element is compatible with the SRS, the hardware architecture, documented descriptions and known properties of the operational and hardware environment, and other software elements. Timing specifications of each software element should be consistent with the specifications of the other elements with which it interacts and with the expected performance of the system as a whole. Uniform and consistent terminology, notation, and definitions should be used. Style means that the contents of the SAD are understandable. The architecture description should conform to the developer's style guide. The architecture specification should contain the rationale for architectural decisions. Traceability means that a two-way trace exists between the requirements in the SRS and the elements in the architecture. A two-way trace should exist between the architectural elements and the detailed design elements. There should be a forward trace from each architectural element to the specific inspections, analyses, or tests that will be used to confirm that the element has been correctly designed. Verifiability means that it is possible to construct specific analyses, reviews, and tests to verify that the architecture satisfies the software requirements. B.3.3.2.3 Review Guidance for SAD The reviewer should be able to refer to this architecture to understand how the software works, the flow of data, and the deterministic nature of the software. The architecture should be sufficiently detailed to allow the reviewer to understand the operation of the software. B.3.3.3 Design Activities - Software Design Specification (SDS) NUREG/CR-6101, Section 3.3.2, “Software Design Specification,” and Section 4.3.2, “Software Design Specifications,” contain relevant guidance. An SDS should be produced. The SDS should include all of the functional and software development process characteristics listed below. BTP 7.14-58 Revision 6 -