Praktikumsarbeit im Bereich "Deadlock-Erkennung in Eisenbahnfahrplänen" durchgeführt
In Eisenbahnnetzen mit sehr komplexer und hoch ausgelasteter Infrastruktur besteht die latente Gefahr des Auftretens von Blockadesituationen (sog. Deadlocks).
Diese können entstehen, wenn mehrere Züge ihre geplante Fahrt nicht fortsetzen können, weil sie jeweils auf die Weiterfahrt eines der anderen Züge warten. Die folgende Abbildung veranschaulicht diese Situation.
In den Monaten Juli bis September 2009 hat die systransis AG ein Industriepraktikum betreut, dass sich mit dieser Thematik beschäftigte. Unser Praktikant, Herr A. Amirtham, bearbeitete dieses Thema im Rahmen des Pflichtpraktikums seine Studiums im Fachbereich Informatik an der ETH Zürich.
Die Aufgabe bestand darin, einen Algorithmus zu entwickeln, der das frühzeitige Erkennen von Blockadesituationen im Eisenbahnverkehr anhand von gegebenen Fahrplänen ermöglicht. Um Aussagen über die Korrektheit dieses Algorithmus zu erhalten, wurde dieser anschliessend mit Hilfe der formalen Methode Event-B validiert.
Mit den Ergebnissen dieser Praktikumsarbeit wurden wichtige Grundlagen für eine mögliche Realisierung einer praktikablen Software-Lösung zur frühzeitigen Vorhersage von Blockadesituationen im Rahmen von Eisenbahnsteuerungssystemen geschaffen.
