Skip to Main content Skip to Navigation
Conference papers

A contribution to safety analysis of railway CBTC systems using Scola

Abstract : Regarding their complexity, industrial systems are hard to design and even harder to validate and maintain. We try to address some particular issues of the railway systems conception. Railway systems are characterized by their identified and limited number of failure accidents. Thus, safety analyses is mainly based on the research of failure scenarios that lead to these accidents. Those scenarios represent the misbehavior that must be avoided or corrected in the system. But, the specifications ambiguity makes it difficult to obtain a consistency and completeness in the analysis. At this point, the main issue is the systematic errors. They consist on the gaps on the system description that not only affect the comprehension but also the completeness of the analysis. In this article, we propose an approach for system formalization and safety analyses. We define ScOLA, a modeling language built to understand and to formalize the specifications based on core concepts. We explain how, using a formal description and a stepwise simulation of the system, safety analysis can be performed easier and faster. The approach is applied to the Trainguard Mass Transit (the CBTC product of Siemens) CBTC(Communication Based Train Control) system of Siemens
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download
Contributor : Melissa Issad <>
Submitted on : Friday, December 18, 2015 - 10:42:44 AM
Last modification on : Tuesday, February 23, 2021 - 7:24:06 PM
Long-term archiving on: : Saturday, April 29, 2017 - 9:02:24 PM


Files produced by the author(s)






Melissa Issad, Leila Koul, Antoine Rauzy. A contribution to safety analysis of railway CBTC systems using Scola. Safety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zurich, Switzerland. ⟨10.1201/b19094-64⟩. ⟨hal-01246161⟩



Record views


Files downloads