Reference / Literaturverweis [KeStZh05]

Kemnade, A., Stahlbock, A., Zhou, D. and others:
TRACS Abschlussbericht. Train Control Systems.
Technical Report. University of Bremen, Germany (Sep. 2005).

Supervised by / Betreut von: Bredereke, J., Hannemann, U.

Abstract / Zusammenfassung

Dieser Bericht dokumentiert das studentische Projekt TRACS (TRAin-Control-System) der Universität Bremen - Arbeitsgruppe Betriebssysteme und verteilte Systeme (AGBS). TRACS war von Oktober 2003 bis September 2005 ein Hauptstudiumsprojekt im Studiengang Informatik an der Universität Bremen. Ziel des Projekts TRACS war die Entwicklung eines wiederverwendbaren, automatisierten und damit Kosten sparenden Bahnsteuerungssystems sowie eines Verifikationsprozesses, mit dem das System auf seine Sicherheit und Korrektheit überprüft werden kann. Das Steuerungssystem besteht dabei aus einem generischen Steuerinterpreter sowie den auf das jeweils zu steuernde Gleisnetz abgestimmten Hardwaretreibern und Projektierungsdaten, welche aus einer domänenspezifischen Beschreibung des Gleisnetzes generiert werden. Der Verifikationsprozess benutzt Methoden des Model-Checkings sowie ausführliche Soft- und Hardware-Tests um sowohl die Sicherheit der Ausgangsdaten als auch die Korrektheit des finalen Steuerungssystems zu gewährleisten. Ein Hauptziel des Projekts war dabei, das System soweit wie möglich automatisiert und wiederverwendbar zu gestalten im Vergleich zu heutigen Systemen, die weitgehend manuell entwickelt und geprüft werden.

Full Text / Volltext

PDF (4 MB)

Project Web Site / Projektwebseite

TRACS