TY - GEN
T1 - Methods of increasing modelling power for safety analysis, applied to a turbine digital control system
AU - Bobbio, Andrea
AU - Ciancamerla, Ester
AU - Franceschinis, Giuliana
AU - Gaeta, Rossano
AU - Minichino, Michele
AU - Portinale, Luigi
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.
PY - 2002
Y1 - 2002
N2 - The paper describes a probabilistic approach based on methods of increasing modelling power and different analytical tractability, to analyse safety of turbine digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming independent failures and binary states of its components. To include multi-states and sequentially dependent failures of the system components and to perform diagnoses, FT has been converted into a Bayesian Net. Moreover, to accommodate repair activity, FT has been converted into a Stochastic Petri Net. Due to the very large space of states of the resulting model, a coloured Petri Net model have been built to alleviate the state explosion problem. Safety measures have been computed, referring to the emergent standard IEC 61508. The applicability, the limits and the main selection criteria of the investigated methods are provided.
AB - The paper describes a probabilistic approach based on methods of increasing modelling power and different analytical tractability, to analyse safety of turbine digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming independent failures and binary states of its components. To include multi-states and sequentially dependent failures of the system components and to perform diagnoses, FT has been converted into a Bayesian Net. Moreover, to accommodate repair activity, FT has been converted into a Stochastic Petri Net. Due to the very large space of states of the resulting model, a coloured Petri Net model have been built to alleviate the state explosion problem. Safety measures have been computed, referring to the emergent standard IEC 61508. The applicability, the limits and the main selection criteria of the investigated methods are provided.
UR - http://www.scopus.com/inward/record.url?scp=84949226969&partnerID=8YFLogxK
U2 - 10.1007/3-540-45732-1_21
DO - 10.1007/3-540-45732-1_21
M3 - Conference contribution
AN - SCOPUS:84949226969
SN - 3540441573
SN - 9783540441571
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 212
EP - 223
BT - Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002, Proceedings
A2 - Anderson, Stuart
A2 - Felici, Massimo
A2 - Bologna, Sandro
PB - Springer Verlag
T2 - 21st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2002
Y2 - 10 September 2002 through 13 September 2002
ER -