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:
y. The system and specifically the software should be no more complex than required to perform the needed functions. Unused or unneeded functions and code should not be in the safety-related software, even if the software developer wishes to include them for ease of use, future development, or other reasons. The system and software requirements and the final code should be examined to insure that only those features need to implement the safety functions and to perform system and software testing are included. Style - The style of the planning documents is generally determined by the requirement for those documents, such as IEEE standards or individual applicant or licensee requirements. The style of design output documentation is generally determined by the planning documents. It is generally more important that the styles be consistent within a project and be understandable than that the style be of any particular type. Programing style will be dependent on the coding standards selected for use. The coding standards should be examined for understandability and the resulting code should meet the coding standard. Various software language requirements and practices are discussed in NUREG/CR-6463, “Review Guidelines for Software Languages for Use in Nuclear Power Plant Safety Systems.” BTP 7.14-53 Revision 6 - August 2016 Traceability - A Requirements Traceability Matrix, which shows every requirement, broken down in to sub-requirements as necessary, and what portion of the software requirement, software design description, actual code, and test requirement addresses that system requirement. This is central to for the production of complex systems to ensure all requirements are implemented, checked and tested. Unambiguity - This is one of the most difficult characteristics to review. The software development community and the nuclear community may use the same words in different manners, and therefore each group may read statement, and each may believe it is