A contribution to safety analysis of railway CBTC systems using Scola

Melissa Issad (1, 2) , Leila Koul (3) , Antoine Rauzy (4)

1 Siemens Mobility
2 LGI - Laboratoire Génie Industriel - EA 2606
3 PRISM - Parallélisme, Réseaux, Systèmes, Modélisation
4 NTNU - Norwegian University of Science and Technology [Trondheim]

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

Mots clés: Scola; Systems engineering; formal specification; safety analysis; CBTC

Domaines: Informatique [cs]

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⟩