Skip to Main content Skip to Navigation
Conference papers

Modeling the CBTC railway system with ScOLA

Abstract : Considering their increasing complexity, industrial systems are, in general, specified in a natural language. Especially transportation systems where the design phase results an ambiguous and laborious system specification. The objective of this paper is to present ScOLA, a formal modeling language based on scenarios and built on railway system specifications. Its novelty is based on its restriction to the core concepts of the specification and its multiple representations (textual and graphical), and also on its formal semantics. The language offers means to understand what the system was supposed to do and to be as well as to support a dialog with experts so to be sure that we got everything correctly. The methodology is applied on the railway automation solution Trainguard MT CBTC of Siemens.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal-centralesupelec.archives-ouvertes.fr/hal-01259451
Contributor : Melissa Issad <>
Submitted on : Wednesday, January 20, 2016 - 2:18:21 PM
Last modification on : Wednesday, July 15, 2020 - 10:36:11 AM
Long-term archiving on: : Thursday, April 21, 2016 - 11:18:12 AM

File

ITSCongress-final-paper-Meliss...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01259451, version 1

Collections

Citation

Melissa Issad, Leila Kloul, Antoine Rauzy, Karim Berkani. Modeling the CBTC railway system with ScOLA. ITS World Congress, Oct 2015, Bordeaux, France. ⟨hal-01259451⟩

Share

Metrics

Record views

3164

Files downloads

623