ILT-U-1744
Software static test: Code verification to ensure safety requirements.
DETERMINATION | METHOD |
| 7.9.2.12 Code verification: the source code shall be verified by static methods to ensure conformance to the specified design of the software module (see 7.4.5), the required coding standards (see 7.4.4), and the requirements of safety planning (see 7.3). | IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems
Part 3: Software requirements |
| 8.2 Software verification activities 8.2.3 Implementation verification 8.2.3.1 Verification of implementation with general purpose-language 8.2.3.1.1 Code Verification The implementation verification shall include activities based on source code analysis and tests. The source code analysis may be performed using verification methods such as code inspection, possibly with the assistance of automated tools. Code verification activities should begin with module source code analysis followed by module testing. | IEC 60880: Nuclear Power Plants – Instrumentation and Control Systems Important to Safety – Software Aspects for Computer-Based Systems |
Related products
ILT-U-621
Cloud Application and Configuration Security Proficiency Test. Aligned with the App Defense Alliance Cloud Application and Configuration Assessment Framework
ILT-U-1887
External Interface Security Assessment. GB 44495 (Clause 7.1 & 8.3) Phase 1 – Foundation Level
ILT-U-1061
Common Criteria Security Target Evaluation (ASE) for IoT Systems. IoT Common Criteria Proficiency Testing Scheme – Baseline Level
