A Domain-Specific Language for Railway Interlocking Systems
Linh Hong Vu, Anne E. Haxthausen, Jan Peleška · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2014
This paper presents a domain-specific language (DSL) for describing route-based interlocking systems which are compatible with European Train Control System ETCS Level 2. The abstract syntax and static semantics of the language are formally defined using the RAISE Specification Language (RSL). Furthermore, the paper describes an interlocking table generator (ITG) that generates automatically a well-formed interlocking table from a well-formed railway network layout. Experiments with the DSL and ITG using the RAISE tools and the C++ implementation show that the use of the DSL and ITG can increase the productivity and significantly reduce errors in the specifications of railway interlocking systems.