Sequential application of heterogeneous models for the safety analysis of a control system: a case study

This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of a digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming two-state components and independent failures. Then, the FT is autom...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Reliability engineering & system safety 2003-09, Vol.81 (3), p.269-280
Hauptverfasser: Bobbio, A, Ciancamerla, E, Franceschinis, G, Gaeta, R, Minichino, M, Portinale, L
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of a digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming two-state components and independent failures. Then, the FT is automatically converted into a Bayesian Network, allowing to include more modelling details and localized dependencies. Finally, in order to accommodate repair activities and perform an availability analysis, the FT is converted into a Stochastic Petri Net (SPN). Moving from a combinatorial model (the FT) to a state space based model (the SPN) increases the modelling flexibility, but incurs into the state space explosion problem. In order to alleviate the state space explosion problem, this paper resorts to the use of a particular type of high level (coloured) Petri nets called SWN. A digital control system is considered as a case study, and safety measures have been evaluated, referring to the emergent standard IEC 61508.
ISSN:0951-8320
DOI:10.1016/S0951-8320(03)00091-7