Abstract 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.
Modeling the CBTC Railway System of Siemens with ScOLa
International Journal of Intelligent Transportation Systems Research ; 16 , 3 ; 163-172
2017-07-27
10 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
CBTC RADIOCOMMUNICATION INFRASTRUCTURE FOR A RAILWAY SIGNALING SYSTEM OF THE CBTC TYPE
Europäisches Patentamt | 2022
CBTC RADIOCOMMUNICATION INFRASTRUCTURE FOR A RAILWAY SIGNALING SYSTEM OF THE CBTC TYPE
Europäisches Patentamt | 2017
|CBTC CBTC signal system and handover method in the system
Europäisches Patentamt | 2016
Radiocommunication infrastructure for a railway signalling system of the CBTC type
Europäisches Patentamt | 2018
|