Understanding Verification and Validation of Software Under IEC 61508-3:2010
This paper is intended to serve as a reference for developers of systems that will contain software that must be certified or follow a process conformant to IEC 61508. This paper will focus on the verification and validation of safety-related software (IEC 61508:3:2010, Part 3). It will describe a selection of techniques and measures that are relevant to the software safety validation based on the Safety Integrity Level (SIL). Some of these techniques can be applied to reduce the cost and effort required to certify software to IEC 61508-3:2010.