IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems
Part 3, Normative annexes A and D – IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems

IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems 3-A.4: Part 3, Annex A Table A.4 Detailed design techniques

For software system design, module design and coding the table lists structured, semi-formal or formal design and refinement methods, computer-aided design tools, defensive programming (HR at SIL 3 and 4), a modular approach, design and coding standards, structured programming (HR at every SIL), trusted or verified elements, and forward traceability from the SSRS to the software design (R at SIL 1 and 2, HR at SIL 3 and 4).

Maintained by Gerard Blokdyk

What else in your programme already covers this

This control maps to 2 controls across 2 other frameworks. If you already hold one of them, the evidence you collected for it is the starting point here rather than new work.

  • A.4 Table A.4: software design and implementation (7.3, 7.4 and 7.5)
  • 6:8.4 8.4 Software unit design and implementation

Every mapping shown was judged rather than inferred from wording similarity, and the ones that failed review are published too. See the coverage reports and what was rejected.

Other controls in Part 3, Normative annexes A and D – IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems

Query this from an agent

The graph holds this control, the 2 it maps to, and the evidence behind each claim, over MCP and REST.