Modeling the CBTC Railway System of Siemens with ScOLa

Considering their increasing complexity, industrial systems are, in general, specified in a natural language. In railway systems, 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 for railway system specifications. Its novelty resides in its restriction to a small set of concepts and its multiple representations (textual and graphical). The language offers means to understand what the system is supposed to do and to be as well as to support a dialog with experts so to be sure that they got everything correctly. The language is depicted on the railway automation solution Trainguard MT CBTC of Siemens.

• Record URL:
  • https://doi.org/10.1007/s13177-017-0146-2
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/13488503
• Supplemental Notes:
  • © Springer Science+Business Media, LLC 2017.
• Authors:
  • Issad, Melissa
  • 0000-0001-7886-5213
  • Kloul, Leïla
  • Rauzy, Antoine
  • Berkani, Karim
• Publication Date: 2018-9

Language

• English

Media Info

• Media Type: Web
• Features: References;
• Pagination: pp 163-172
• Serial:
  • International Journal of Intelligent Transportation Systems Research
  • Volume: 16
  • Issue Number: 3
  • Publisher: Springer Publishing
  • ISSN: 1348-8503
  • EISSN: 1868-8659
  • Serial URL: http://link.springer.com/journal/13177

Subject/Index Terms

• TRT Terms: Automatic train control; Computer models; Systems engineering
• Identifier Terms: ScOLa (Software); Siemens AG
• Subject Areas: Data and Information Technology; Operations and Traffic Management; Railroads;

Filing Info

• Accession Number: 01680652
• Record Type: Publication
• Files: TRIS
• Created Date: Sep 17 2018 5:19PM