41 Software To ensure the software 7.9.2.8 For all safety integrity levels ensure that safety safety requirements have there is evidence that: requirements been adequately verified safety requirements specification has verification before commencing design and development been verified the verification activities ensure that all of the safety requirements specified in E/E/PES safety requirements, relating to the software, are covered by requirements in the safety requirements specification. 42 Software To ensure the description 7.9.2.9 For all safety integrity levels ensure that architecture of the software is evidence that: verification architecture design and the corresponding tests the software architecture design has adequately fulfill the been verified specified software safety requirements the verification activities ensure that all of the safety requirements specified in software requirements specification are covered by the software architecture design. software architecture design provides the required safety performance software architecture lends itself to test If the software architecture design is combined with the detailed software design then this can be justified
41 Software safety requirements verification To ensure the software safety requirements have been adequately verified before commencing design and development 7.9.2.8 For all safety integrity levels ensure that there is evidence that: safety requirements specification has been verified the verification activities ensure that all of the safety requirements specified in E/E/PES safety requirements, relating to the software, are covered by requirements in the safety requirements specification. 42 Software architecture verification To ensure the description of the software architecture design and the corresponding tests adequately fulfill the specified software safety requirements 7.9.2.9 For all safety integrity levels ensure that is evidence that: the software architecture design has been verified the verification activities ensure that all of the safety requirements specified in software requirements specification are covered by the software architecture design. software architecture design provides the required safety performance software architecture lends itself to test If the software architecture design is combined with the detailed software design then this can be justified