TY - JOUR
T1 - Sequential application of heterogeneous models for the safetyanalysis of a control system
T2 - A case study
AU - Bobbio, A.
AU - Ciancamerla, E.
AU - Franceschinis, G.
AU - Gaeta, R.
AU - Minichino, M.
AU - Portinale, L.
N1 - Funding Information:
Some of the authors (AB, GF, RG) were partially supported by the Italian Ministry of Education under grant FIRB-RBNE019N8N.
PY - 2003/9
Y1 - 2003/9
N2 - 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.
AB - 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.
KW - Bayesian network
KW - Fault-tree
KW - Safety analysis
KW - Stochastic Petri net
UR - http://www.scopus.com/inward/record.url?scp=0042130043&partnerID=8YFLogxK
U2 - 10.1016/S0951-8320(03)00091-7
DO - 10.1016/S0951-8320(03)00091-7
M3 - Article
SN - 0951-8320
VL - 81
SP - 269
EP - 280
JO - Reliability Engineering and System Safety
JF - Reliability Engineering and System Safety
IS - 3
ER -