Advertisement

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

  • Andrea Bobbio
  • Ester Ciancamerla
  • Giuliana Franceschinis
  • Rossano Gaeta
  • Michele Minichino
  • Luigi Portinale
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2434)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    A. Bobbio, S. Bologna, E. Ciancamerla, P. Incalcaterra, C. Kropp, M. Minichino, E. Tronci-Advanced techniques for safety analysis applied to the gas turbine control system of ICARO co generative plant-X Convegno Tecnologie e Sistemi Energetici Complessi "Sergio Stecco"-Genova, Italy, June 21–22, 2001Google Scholar
  2. 2.
    IEC61508: Functional safety of electrical/electronic/programmable electronic safety related systemsGoogle Scholar
  3. 3.
    R. A Sahner, K. S. Trivedi, A. Puliafito-Performance and reliability analysis of computer systems. Kluwer, 1998Google Scholar
  4. 4.
    A. Bobbio, L. Portinale, M. Minichino, E. Ciancamerla-Improving the Analysis of Dependable Systems by Mapping Fault Trees into Bayesian Networks-Reliability Engineering and System Safety Journal-vol. 71N.3 March 2001 pages 249–260-ISSN 0951-8320Google Scholar
  5. 5.
    S. Bologna, E. Ciancamerla, M. Minichino, A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta-"Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller", In European Safety Dependability Conference (ESREL2001), pages 411–418, September 2001Google Scholar
  6. 6.
    G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad-"Stochastic well-formed coloured nets for symmetric modelling applications", IEEE Transactions on Computers, 42:1343–1360, 1993CrossRefGoogle Scholar
  7. 7.
    A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta-"Dependability Assessment of an Industrial Programmable Logic Controller", International Workshop on Petri Net and Performance Models (PNPM’ 01), pages 29–37, September 2001Google Scholar
  8. 8.
    F. V. Jensen-An introduction to Bayesian Networks-UCL Press, 1996Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Andrea Bobbio
    • 1
  • Ester Ciancamerla
    • 2
  • Giuliana Franceschinis
    • 1
  • Rossano Gaeta
    • 3
  • Michele Minichino
    • 2
  • Luigi Portinale
    • 1
  1. 1.DISTAUniversità del Piemonte OrientaleAlessandriaItaly
  2. 2.ENEA CR CasacciaRomaItaly
  3. 3.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Personalised recommendations