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:
r, 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 characteristics of the subroutines should be known and documented, and shown to meet the accuracy requirements and accuracy design specifications. Robustness means that the system is coded in such a way that corrupted data will not cause the safety system to fail. Data corruption should be avoided. All input data should be checked to ensure that the correct data is being read and that the data is in the correct format. All messages should be checked to ensure that the correct message is being read and that the message contents are in the correct format. Appropriate corrective actions should take place if any of these criteria are violated. Safety means that the code introduces no new hazards into the safety system. Security means that unnecessary codes are not introduced into the safety system software per RG 1.152. Timing means that the execution time is deterministic. SRP BTP 7-21 provides additional guidance on real-time performance. B.3.3.4.2 Process Characteristics of CL Software development process characteristics exhibited by the code documents should include completeness, consistency, correctness, style, traceability, and verifiability. Completeness means that the code meets all the specifications of the design and all implementation constraints. The software implementation should be compatible with the hardware environment. Consistency means that all variable names, types, locations, and array sizes are defined consistently throughout the software units. The code should use mathematical equations which correspond to the mathematical models, algorithms, and numerical techniques described in or BTP 7.14-61 Revision 6 - August 2016 derived from the SDS. All parameters passed between software units should be consistent with respect to number, type, structure,