Sequential application of heterogeneous models for the safetyanalysis of a control system: A case study

Reliability Engineering and System Safety

Volumn 81, Issue 3, 2003, Pages 269-280

  Bobbio, A ^a   Ciancamerla, E ^b   Franceschinis, G ^a   Gaeta, R ^c   Minichino, M ^b   Portinale, L ^a  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b ENEA C R CASACCIA   (Italy)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

Bayesian network; Fault tree; Safety analysis; Stochastic Petri net

Indexed keywords

ACCIDENT PREVENTION; DIGITAL CONTROL SYSTEMS; FAULT TREE ANALYSIS; PETRI NETS;

SAFETY ANALYSIS;

CONTROL SYSTEM ANALYSIS;

EID: 0042130043     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(03)00091-7     Document Type: Conference Paper

References (17)

1. Bobbio A., Bologna S., Ciancamerla E., Incalcaterra P., Kropp C., Minichino M., Tronci E. 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 Standard: Functional safety of electrical/electronic/programmable electronic safety related systems.
3. Sahner R.A., Trivedi K.S., Puliafito A. Performance and reliability analysis of computer systems. 1998;Kluwer, Dordrecht.
4. Bobbio A., Portinale L., Minichino M., Ciancamerla E. Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliab Engng Syst Safety J. 71:(3):2001;249-260. ISSN 0951-8320.
5. Bologna S, Ciancamerla E, Minichino M, Bobbio A, Franceschinis G, Portinale L, Gaeta R. Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller. In: European Safety Dependability Conference (ESREL2001), September; 2001. p. 411-8.
6. Chiola G., Dutheillet C., Franceschinis G., Haddad S. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans Comput. 42:1993;1343-1360.
7. Bobbio A., Franceschinis G., Portinale L., Gaeta R. Dependability assessment of an industrial programmable logic controller. International Workshop on Petri Net and Performance Models (PNPM' 01), September. 2001;. p. 29-37.
8. System manual of gas turbine governor controller of ICARO plant, September; 1992.
9. Hardware and Software design specification for a controller of ICARO plant gas turbine, October; 1997.
10. Contini S., Poucet A. Advances on fault tree and event tree techniques. Colombo A.G., Saiz de Bustamante A. System reliability assessment. 1990;77-102 Kluwer, Dordrecht.
11. ITEM Software, Fault tree+.
12. Jensen F.V. An introduction to Bayesian Networks. 1996;UCL Press.
13. D'Ambrosio B. Local expression languages for probabilistic dependence. Int J Approxim Reasoning. 111:1994;158.
14. Gagliardi Cozman F. JavaBayes: Bayesian Networks in Java.www.cs.edu/javabayes; 1998.
15. Hugin Expert A/S, Hugin professional (http://www.hugin.com/).
16. Bobbio A, Franceschinis G, Gaeta R, Portinaie L. Parametric Fault-Tree for the dependability analysis of redundant systems and its high level Petri net semantics. IEEE Trans Software Engng 2003; 29(30): 270-870.
17. Franceschinis G., Gribaudo M., Iacono M., Mazzocca N., Vittorini V. Towards an object based multi-formalism multi-solution modelling approach. Interrnational Workshop on Modelling Objects Components and Agents MOCA2002, August. 2002.