Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System-Reference-Cited by-同舟云学术

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

Published:2002 Issue: Volume: Page:212-223
ISSN:0302-9743
Container-title:Computer Safety, Reliability and Security
language:
Short-container-title:

Author:

Bobbio Andrea,Ciancamerla Ester,Franceschinis Giuliana,Gaeta Rossano,Minichino Michele,Portinale Luigi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45732-1_21

Reference8 articles.

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-Performance and reliability analysis of computer systems. 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. 71N.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 411–418, September 2001

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Finite horizon analysis of Markov Chains with the Murϕ verifier;International Journal on Software Tools for Technology Transfer;2006-04-04

2. Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets;Applications and Theory of Petri Nets 2005;2005

3. Construction and stepwise refinement of dependability models;Performance Evaluation;2004-03

4. Automatic Timeliness Verification of a Public Mobile Network;Lecture Notes in Computer Science;2003