Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT 2014 |
Editors | Eckehard Schnieder, Geza Tarnai |
Publisher | Technische Universität Braunschweig |
Publication date | 2014 |
Pages | 200-209 |
ISBN (Print) | 978-3-9816886-6-5 |
Publication status | Published - 2014 |
Event | 10th Symposium on Formal Methods for Automation and Safety i Railway and Automotive Systems, FORMS/FORMAT 2014 - Braunschweig, Germany Duration: 10 Sept 2014 → 2 Oct 2014 Conference number: 10 http://www.forms-format.de/index.html |
Conference
Conference | 10th Symposium on Formal Methods for Automation and Safety i Railway and Automotive Systems, FORMS/FORMAT 2014 |
---|---|
Number | 10 |
Country/Territory | Germany |
City | Braunschweig |
Period | 10/09/2014 → 02/10/2014 |
Internet address |
Keywords
- domain-specific languages
- interlocking tables
- validation and verification
- railway signalling systems
- formal methods