Document: NUREG-0800
Document ID: be3ce44f-6784-4f40-baef-12c96ec1ff96
Document Type: srp
Title: provides additional guidance on digital data communications systems.
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML0706/ML070670183.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7.9
CFR Part: 
CFR Title: 

Content:
uide. Each element of the detailed design should be specified. The detailed design documentation should contain the rationale for design decisions. Programming language standards should be identified. The detailed design documentation should identify those language features which will not be used without justification. Traceability means that a two-way trace exists between the elements of the detailed design and the elements in the architecture. A two-way trace should exist between the detailed design elements and the code elements. There should be a forward trace from each detailed design element to the specific inspections, analyses, or tests that will be used to confirm that the element has been correctly designed. BTP 7.14-59 Revision 5 - March 2007 Verifiability means that it is possible to construct specific analyses, reviews, and tests to verify that the design satisfies the software architecture. B.3.3.3.3 Review Guidance for SDS The SDS is primarily used to ensure that the software code accurately reflects the software requirements. The thread audit should check several of the requirements and follow them through the final code, but the entire SDS should be read by the reviewer to determine that it is understandable, and contains sufficient information. In addition, the V&V report on the SDS should be carefully reviewed. The reviewer should not be able to find any problems which have not been found and documented by the V&V team. If the SDS is reviewed after completion of the V&V effort, the reviewer should find no errors. B.3.3.4 Implementation Activities - Code Listings (CL) NUREG/CR-6463, Revision 1, “Review Guidelines for Software Languages for Use in Nuclear Power Plant Safety Systems,” contains relevant guidance. A software implementation (code) should be produced. The code should include all of the functional and process characteristics listed below. B.3.3.4.1 Functional Characteristics of CL For each of the functional characteristics, the