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

被引：19

作者：

Bobbio, A

Ciancamerla, E ^{[1
]}

Franceschinis, G

Gaeta, R

Minichino, M

Portinale, L

机构：

[1] ENEA CR Casaccia, SP Anguillarese 301, I-00060 Rome, Italy

[2] Univ Piemonte Orientale, Dipartimento Informat, A Avogadro, I-15100 Alessandria, Italy

[3] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy

来源：

RELIABILITY ENGINEERING & SYSTEM SAFETY | 2003年 / 81卷 / 03期

关键词：

Stochastic Petri net; fault-tree; Bayesian network; safety analysis;

D O I：

10.1016/S0951-8320(03)00091-7

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

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. (C) 2003 Elsevier Ltd. All rights reserved.

引用

页码：269 / 280

页数：12