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

David Gouyon, Pétin, Jean-François, Thomas Cochard and Catherine Devic

Reliability Engineering and System Safety, 2020, vol. 199, issue C

Abstract: This article deals with the validation of critical industrial process architectures 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.

Keywords: Plant operation; Safety assessment; Critical process architecture; Reachability analysis; Timed automata; Modelling patterns (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832019308324
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:199:y:2020:i:c:s0951832019308324

DOI: 10.1016/j.ress.2020.106923

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().