Generation of safe plant operation sequences using reachability analysis
Thomas Cochard, David Gouyon, Jean-François Pétin · 2015
This article focuses on operation sequences engineering and preparation for complex and critical systems. The main objective is to safely operate some action sequences on the process devices (mainly actuators), according to safety requirements specifications. Based on a process formal model using communicating automata, this article shows both feasibility and limits of an automatic approach for the generation of safe operation sequences based on reachability analysis.