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:
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. BTP 7.14-54 Draft Revision 6 - August 2015 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. B.3.3.3.1 Functional Characteristics of SDS For each of the functional characteristics, the requirements imposed on the software for that characteristic should be satisfied by the software design.