Detailed table for modelling. At SIL 1 to 4, data flow diagrams, control flow diagrams, state machines and state transition diagrams, Petri nets, decision or truth tables, formal methods, performance modelling, structure diagrams, sequence diagrams and data modelling are HR; prototyping or animation, cause consequence diagrams and event tree diagrams are R. At Basic Integrity data modelling, control flow diagrams, decision tables, sequence diagrams and cause consequence diagrams are R. For SIL 1 to 4, modelling guidance is defined and used and at least one HR technique is chosen.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.