This book introduces block diagrams, fault trees, and Markov models for graphically representing the reliability of a system, and describes the various types of sensors, logic solvers, actuators, and valves available for safety instrumented systems. It also walks through the safety instrumented function (SIF) verification process, discussing equipment selection, redundancy, testing techniques, and probabilistic calculation tools. Example designs are analyzed by an SIL verification software...