GENERATION OF EXECUTABLE RAILWAY CONTROL COMPONENTS FROM
Author: Anne E. Haxthausen and Jan Peleska
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.