Published Articles >> Table of Contents >> Abstract

22nd International Symposium on Reliable Distributed Systems (SRDS'03)   p. 283
Hazard Analysis of Complex Distributed Railway Systems
Pasquale di Tommaso, Ansaldo Segnalamento Ferroviario S.p.A.
Rosaria Esposito, Ansaldo Segnalamento Ferroviario S.p.A.
Pietro Marmo, Ansaldo Segnalamento Ferroviario S.p.A.
Antonio Orazzo, Ansaldo Segnalamento Ferroviario S.p.A.

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RELDIS.2003.1238078
Send link to a friend

Abstract
To operate real-time, distributed, safety critical systems, their logical and temporal correctness must be validated against strict safety requirements. International committees, like CENELEC, produced standards that define appropriate life cycle and techniques to be used in all the phases of development and V&V process. However the guidelines given by the norms are quite general: a more detailed methodology is needed to exhaustibly cover all the aspects of complex system. This paper describes the hazard analysis methodology defined and used in ASF (Ansaldo Segnalamento Ferroviario) and the results obtained by its application to the ERTMS/ETCS system. This methodology is divided in several phases: first, all the functional and architectural components and their interfaces are identified, then all possible hazard scenarios are identified. These scenarios are then analyzed in a series of hazard workshops and traced in a log, the hazard log, which records also measures needed to mitigate them. Mitigations become new requirements for the systems: only providing evidence of their correct implementation the system can be certified to be safe.
Back to Top Additional Information
Citation:  Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo, "Hazard Analysis of Complex Distributed Railway Systems," srds, p. 283,  22nd International Symposium on Reliable Distributed Systems (SRDS'03),  2003