Table A.8 lists the analysis techniques for validation: static analysis of the software (D.13, D.37 and Table A.19) R at Basic Integrity and HR above; dynamic software analysis (Tables A.13 and A.14) R at SIL 1 and 2 and HR at SIL 3 and 4; cause consequence diagrams R at every level; event tree analysis R above Basic Integrity; software error effect analysis R at SIL 1 and 2 and HR at SIL 3 and 4. One or more techniques is selected to satisfy the SIL.
This control maps to 2 controls across 1 other frameworks. If you already hold one of them, the evidence you collected for it is the starting point here rather than new work.
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.
The graph holds this control, the 2 it maps to, and the evidence behind each claim, over MCP and REST.