Engineering and design Safety Systems PHA Facilitation LOPA Facilitation SIL Selection SIL Verification Safety Requirement Specification Cause & Effect Matrix Logic Solver Specification DCS/Logic Solver Partitioning Logic Solver Programming