Methods of increasing modelling power for safety analysis, applied to a turbine digital control system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2434, Issue , 2002, Pages 212-223

  Bobbio, Andrea ^a   Ciancamerla, Ester ^b   Franceschinis, Giuliana ^a   Gaeta, Rossano ^c   Minichino, Michele ^b   Portinale, Luigi ^a  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b ENEA C R CASACCIA   (Italy)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY TREES; DIGITAL CONTROL SYSTEMS; PETRI NETS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

ANALYTICAL TRACTABILITY; COLOURED PETRI NETS; DEPENDENT FAILURE; PROBABILISTIC APPROACHES; SELECTION CRITERIA; STATE EXPLOSION PROBLEMS; STOCHASTIC PETRI NETS; SYSTEM COMPONENTS;

EXPLOSIONS;

EID: 84949226969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45732-1_21     Document Type: Conference Paper

References (8)

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, 2001
2. IEC61508: Functional safety of electrical/electronic/programmable electronic safety related systems
3. R. A Sahner, K. S. Trivedi, A. Puliafito n Performance and reliability analysis of computer systems n Kluwer, 1998
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. 71 N.3 March 2001 pages 249-260 -ISSN 0951 - 8320
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 411n418, September 2001
6. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad - "Stochastic well- formed coloured nets for symmetric modelling applications", IEEE Transactions on Computers, 42:1343n1360, 1993
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 29n37, September 2001
8. F. V. Jensen n An introduction to Bayesian Networks n UCL Press, 1996