EN 50716:2023 - Railway Applications - Requirements for Software Development
Annex A: Criteria for the selection of techniques and measures – EN 50716:2023 - Railway Applications - Requirements for Software Development

EN 50716:2023 - Railway Applications - Requirements for Software Development A.19: Table A.19: static analysis

Detailed table for static analysis: control flow analysis and data flow analysis are HR at SIL 1 to 4; software error effect analysis is R at SIL 1 and 2 and HR at SIL 3 and 4; walkthroughs or design reviews are HR at every level, and at Basic Integrity only design reviews carry the HR.

Maintained by Gerard Blokdyk

What else in your programme already covers this

This control maps to 3 controls across 3 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-5.6 Source code free of accuracy and consistency defects
  • 50128:A.8 Table A.8: software analysis techniques (6.3)
  • 6:9.4 9.4 Software unit verification

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 Annex A: Criteria for the selection of techniques and measures – EN 50716:2023 - Railway Applications - Requirements for Software Development

Query this from an agent

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