TY - CONF AU - Bobbio, Andrea AU - Bologna, Sandro AU - Minichino, Michele AU - Ciancamerla, Ester AU - Incalcaterra, Piero AU - Kropp, Corrado AU - Tronci, Enrico PY - 2001 DA - 2001// TI - Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant BT - X Convegno Tecnologie e Sistemi Energetici Complessi SP - 339 EP - 350 CY - Genova, Italy AB - The paper describes two complementary and integrable approaches, a probabilistic one and a deterministic one, based on classic and advanced modelling techniques for safety analysis of complex computer based systems. The probabilistic approach is based on classical and innovative probabilistic analysis methods. The deterministic approach is based on formal verification methods. Such approaches are applied to the gas turbine control system of ICARO co generative plant, in operation at ENEA CR Casaccia. The main difference between the two approaches, behind the underlining different theories, is that the probabilistic one addresses the control system by itself, as the set of sensors, processing units and actuators, while the deterministic one also includes the behaviour of the equipment under control which interacts with the control system. The final aim of the research, documented in this paper, is to explore an innovative method which put the probabilistic and deterministic approaches in a strong relation to overcome the drawbacks of their isolated, selective and fragmented use which can lead to inconsistencies in the evaluation results. L1 - http://mclab.di.uniroma1.it/publications/papers/papers/Bobbio2001.pdf UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.7674 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=65), last updated on Thu, 22 Nov 2012 14:59:18 +0100 ID - Bobbio_etal2001 ER -