@MASTERSTHESIS\{IMM2005-03647,
    author       = "M. S. Madsen and M. M. B{\ae}k",
    title        = "Modelling a Distributed Railway Control System (Not yet published 5)",
    year         = "2005",
    school       = "Informatics and Mathematical Modelling,Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Period: 03.01.2005 - 01.08.2005",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3647-full.html",
    abstract     = "The task of railway control systems is to ensure safety for trains (passengers) moving on shared railway tracks. Traditionally control systems were based on signals along the tracks. A new trend is to use onboard computers instead of signals. This leads to distributed control systems having several control entities which can communicate with each other and the onboard computers. These control entities control access to different parts of the railway track and ensure that trains have exclusive access to these parts. This prevents trains from colliding.

The goal. of this project is to develop a simulator for such a control system. The simulator should be stepwise developed using the {RAISE} formal method.

Supervisor: Anne Haxthausen"
}