A formal approach to the safety demonstration of railway systems: The Copenhagen Metro experience

摘要

The incidence of major industrial and transportatin accidents has driven renewed attention to the management of safety for large,complex,and potentially hazrrdous systems.Although this process started within the nuclear and the offshore industries,the railway industry is now enforcing safety management systems as a standard practice for new developments.This paper describes,with reference to the development f railway projects,the use f Safety Cases as a Safety management tool for the demonstration of the achieved level of safety integrityand,concrurrently,the fulfillment f the system safety atargets,in compliance with the guidelines provided by teh newly introduced standuced standards prEN 50126,prEN 50128 and ENV 50129.The paper focuses on the safetydemonstration process applied for a real case study,the Metro project in Copenhagen,currently under development by Ansaldo Trasporti.In particular it describes the dependency between the several Safety Cases foreseen at different stages of teh project and their typical content.