Samenvatting

Dit verslag bevat een omschrijving van de ontwikkeling van een applicatie die visuele weergave geeft van een
simulatie van het ERTMS HL3 systeem met de mCRL2 taal en toolkit.

De ontwikkeling van deze applicatie wordt uitgevoerd als afstudeeropdracht en is in opdracht van ProRail B.V. De
opdracht is uitgevoerd binnen de afdeling Asset Management.

De Technische Universiteit Eindhoven heeft in opdracht van ProRail een simulator ontwikkeld van het European Rail
Traffic Management System (ERTMS) Hybrid Level 3 (HL3) treinbeveiligingssysteem. Dit beveiligingssysteem moet de
huidige systemen langs het spoor vervangen om te zorgen voor meer capaciteit op het spoor. De simulatie heeft
geen grafische weergave en is lastig te begrijpen.

Om de simulator beter te kunnen begrijpen en de werking van het ERTMS HL3 te kunnen inzien wil ProRail een
applicatie ontwikkelen die een visuele weergave geeft van de simulator. Deze visualisatie moet de verschillende
onderdelen uit het HL3 systeem en de toestanden daarvan weergeven. Zo kan een gebruiker makkelijk inzien wat de
status van het systeem is.

De ontwikkeling van de applicatie is volgens de Waterfall methode in vijf fases uitgevoerd.
Fase 0: In deze fase is het probleemdomein geanalyseerd en zijn de eisen van de stakeholders opgesteld.
Fase 1: Aan de hand van de opgestelde eisen zijn enkele concepten van de grafische interface van de applicatie en
een ontwerp de interne opbouw van de software uitgewerkt. De software is ontworpen volgens het Domain Driven
Design principe.
Fase 2: In deze fase is de software gerealiseerd met behulp van de ontwerpen uit de vorige fase. De applicatie is
ontwikkeld met de C++ programmeertaal en SDL2 library.
Fase 3: Tijdens deze fase is de ontwikkelde software getest. Er is getest of de software correct functioneert en of de
software de simulator correct visualiseert. Er is een testapplicatie ontwikkeld waarmee de functionaliteit van de
visualisatie applicatie automatisch getest wordt.
Fase 4: In de laatste fase is de applicatie aan de stakeholders overgedragen door hen bekend te laten worden met de
software, een handleiding voor het gebruik van de software te schrijven en ten slotte de applicatie met bijbehorende
broncode en benodigde onderdelen over te dragen.

Het resultaat van deze werkzaamheden is een applicatie welke ProRail kan gebruiken om een visuele representatie
van de simulator te krijgen. Ook kan ProRail de applicatie gebruiken om de simulator te beïnvloeden. Hiermee
kunnen zij het gedrag van het ERTMS HL3 systeem gemakkelijk analyseren.

Verder beschrijft dit verslag een evaluatie van het opgeleverde product en de uitvoering van het project.