GENERATION OF EXECUTABLE RAILWAY CONTROL COMPONENTS FROM DOMAIN-SPECIFIC DESCRIPTIONS

Author: Anne E. Haxthausen and Jan Peleska

Abstract:
In this paper we present a domain-specific description language for railway and tramway control systems and explain how one can generate an executable control system from descriptions written in that language. The control systems are route based interlocking systems and a domain-specific description consists of a description of the network topology, the interlocking tables and the hardware devices. The main idea for generating such systems is to have a generic framework of state transition systems and a compiler that can transform a domain-specific description into configuration data for the generic framework. The resulting state transition system instance provides the semantics of the domain-specific description and is made executable by an interpreter.

postscript file (141KB)