Skip to Main content Skip to Navigation
Journal articles

Architecture assessment for safety critical plant operation using reachability analysis of timed automata

Abstract : This article deals with the validation of critical industrial process architec-tures from the point of view of safety and operation. During the engineering phases, the objective is to complement conventional safety studies with an approach that focuses on plant operation. In this context, one of the major challenges is to provide a guarantee that the designed architecture will be able to react safely to critical situations and events. To face the complexity resulting from the large number of functionalities and devices of the installations under consideration, the proposed approach is based on dynamic models of architectures, using the formalism of timed automata and reachability analysis to verify that, given a particular configuration of an architecture, the process can be safely operated to achieve a given objective. The result is a formal tool that allows engineers and plant operators to evaluate architecture safety with different types of dysfunctional scenarios based on their operational safety expertise. The article presents the formal modelling framework, which emphasizes structured modelling using patterns to promote reuse and instantiation over several candidate architectures. The contribution is illustrated and discussed using an experimental laboratory platform.
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02514845
Contributor : David Gouyon <>
Submitted on : Monday, March 23, 2020 - 8:58:12 AM
Last modification on : Wednesday, March 25, 2020 - 1:39:02 AM

File

Article_v2.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic. Architecture assessment for safety critical plant operation using reachability analysis of timed automata. Reliability Engineering and System Safety, Elsevier, 2020, 199, pp.106923. ⟨10.1016/j.ress.2020.106923⟩. ⟨hal-02514845⟩

Share

Metrics

Record views

81

Files downloads

188