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

https://hal.archives-ouvertes.fr/hal-01246161
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

File

M27_855_FP.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

354

Files downloads

1371