Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System

Authors:
Andrea Bobbio;Ester Ciancamerla;Giuliana Franceschinis;Rossano Gaeta;Michele Minichino;Luigi Portinale
Affiliations:
-;-;-;-;-;-
Venue:
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Year:
2002

Citing 4
Cited 4

Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package

Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Introduction to Bayesian Networks

Introduction to Bayesian Networks
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications

IEEE Transactions on Computers
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net

PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)

Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics

IEEE Transactions on Software Engineering
Construction and stepwise refinement of dependability models

Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Automatic verification of a turbogas control system with the murϕ verifier

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Specifying and analyzing software safety requirements of a frequency converter using coloured petri nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.