Table A.4 lists 14 design and implementation techniques: formal methods R at SIL 1 and 2, HR at SIL 3 and 4; modelling, structured methodology, strongly typed programming language, structured programming, programming language (Table A.15) and procedural programming R at Basic Integrity and HR above; modular approach HR at Basic Integrity and M above; components (Table A.20) and analysable programs HR at every level; design and coding standards (per Table A.12) HR to SIL 2 and M at SIL 3 and 4; language subset HR at SIL 3 and 4 only; object-oriented programming (D.57, with Table A.22) and metaprogramming R at every level. Approved combinations: at SIL 3 and 4 modular approach, components, design and coding standards, strongly typed language plus formal methods or modelling; at SIL 1 and 2 structured methodology, modular approach, components, design and coding standards plus one of strongly typed language, structured programming or programming language. Metaprogramming is restricted to producing source code before compilation.
This control maps to 1 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 1 it maps to, and the evidence behind each claim, over MCP and REST.