Graphical modeling for the safety verification of chemical processes

This study focuses on verifying the safety using graphical modeling and simulation for chemical processes logics. UPPAAL is used as an integrated tool for modeling, simulation and verification in this study. Most of chemical processes are highly automated and they are represented by complex network control logics. The safety analysis of these chemical processes is always difficult or sometimes impossible to verify the system perfectly because the system includes dynamic variables, various levels of control activities (safety interlocking, regulatory/discrete control and sequential control), numerous units, instruments and control software/hardware. All these must be considered simulteneously, therefore, this study presents an effective technique for the safety verification using a graphical modeling and simulation.