Example of Proof Test Coverage
PT
1
3
2
Final Element
Logic Solver
Figure 1: Simplified diagram for High Integrity Pressure Protection System (HIPPS)