Document: NUREG-0800
Document ID: a2598df1-7ec6-43a6-9d2a-d8210d1f944f
Document Type: srp
Title: through 7.9. Additional information relevant to the review process can be found in the references in
Source: NUREG-0800
Source URL: https://www.nrc.gov/docs/ML0525/ML052500461.pdf
Revision Date: 2023-06
Chapter: 7
Section ID: 7.1
CFR Part: 
CFR Title: 

Content:
. • Inspection of the development process confirms that the process life cycle implementation conforms with the software development process requirements described in the plans, and that appropriate safety analysis, verification and validation, and configuration control activities are conducted. • Audits of design outputs confirm that functional requirements are traceable through all intermediate design products to the final product. Audits of design outputs also confirm that the software development process characteristics and the required software functional characteristics are present. • Reviews of the acceptance process for PDS, and of the results, confirm that system elements incorporating PDS demonstrate reasonable assurance that they will perform their intended safety function. The reviews should confirm that the critical characteristics of each PDS have been adequately identified and verified. The review of software in digital I&C systems should be performed within the context of the overall system life cycle stages, shown in Figure 7.0-2. Through the system design activities, system requirements are allocated to components and give rise to hardware and software requirements. Software development activities proceed in parallel with hardware development and become integrated with hardware activities during the system validation stage. Software is validated against software requirements, integrated with hardware, and the complete system is validated against system requirements. Requirements specification and allocation activities, particularly for software, have proven to be an important source of errors in system development. Much of the software life cycle is devoted to ensuring faithful implementation of the specified software requirements. Therefore, appropriate attention should be given to requirements when addressing topics 4 through 7. The adequacy of system functional requirements is the subject of topic 4. In reviewing these requirements for