desc

Das Masterprojekt TEAMOD (Test and Model Checking) beschäftigt sich damit das autonome Zugsteuerungssystem aus dem Bachelorprojekt zu erweitern und zu testen. Neben dem Einführen von Passagierzügen und einer verlässlichen Deadlockerkennung u. -auflösung, wurde auch ein Safety Monitor entwickelt. Dieser Safety Monitor kann getrennt vom Zugsystem ausgeführt werden und prüft während des Zugbetriebs auf Sicherheitsverletzungen.

Die entwickelte Software wurde durch modellbasiertes Testen (MBT), welches eine höhere Teststärke als gewöhnliches Unit Testing bietet, auf Korrektheit überprüft. Hierfür wurden formale Modelle unseres Systems entworfen und mithilfe von verschiedenen Tools (fdr4, nuXmv, fsm-generator) starke Tests abgeleitet.

Projektbetreuung: Prof. Dr. Jan Peleska und Dr. Wen-Ling Huang