A Domain-Specific Language for Railway Interlocking Systems

Linh Hong Vu, Anne Elisabeth Haxthausen, Jan Peleska

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings of the 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT 2014
EditorsEckehard Schnieder, Geza Tarnai
PublisherTechnische Universität Braunschweig
Publication date2014
Pages200-209
ISBN (Print)978-3-9816886-6-5
Publication statusPublished - 2014
Event10th Symposium on Formal Methods for Automation and Safety i Railway and Automotive Systems, FORMS/FORMAT 2014 - Braunschweig, Germany
Duration: 10 Sept 20142 Oct 2014
Conference number: 10
http://www.forms-format.de/index.html

Conference

Conference10th Symposium on Formal Methods for Automation and Safety i Railway and Automotive Systems, FORMS/FORMAT 2014
Number10
Country/TerritoryGermany
CityBraunschweig
Period10/09/201402/10/2014
Internet address

Keywords

  • domain-specific languages
  • interlocking tables
  • validation and verification
  • railway signalling systems
  • formal methods

Fingerprint

Dive into the research topics of 'A Domain-Specific Language for Railway Interlocking Systems'. Together they form a unique fingerprint.

Cite this