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:
orward 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. 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. BTP 7.14-60 Revision 6 - August 2016 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 requirements imposed on the software for that characteristic should be satisfied by the code. Functional characteristics addressed by the code documents should include accuracy, robustness, safety, and timing. Accuracy means that the actual source code is written so that the accuracy requirements and accuracy design specifications are met. In particular, special care should be taken for floating point arithmetic, round-off errors, and the retention of precision during numerical operations. If mathematical subroutine libraries are used, the accuracy