Nieuws

Bughunter kan snel treinbeveiligingssysteem testen

Henk Klomp |
Arbeidsmarkt & Onderwijs, Elektrotechniek & Micro-elektronica, Vervoer & Logistiek

Informaticus Jens Calamé van het Amsterdamse Centrum Wiskunde & Informatica heeft een nieuw algoritme geschreven, dat automatisch bugs in software kan opsporen. Hiermee kan de software voor het nieuwe grensoverschrijdende Europese treinbeveiligingssysteem sneller getest worden.

In oktober start de EU een project, waarin het algoritme van Calamé wordt ingezet op het European Rail Traffic Management System. Dat systeem geeft signalen aan de machinist en grijpt automatisch in als de machinist seinen negeert. Invoering van dit systeem voor de hoge-snelheidslijn zuid, heeft geleid tot maanden vertraging van de ingebruikname van de nieuwe spoorlijn naar Parijs. Begin deze week begon de NS met proefritten op het hsl-traject Rotterdam-Schiphol. Wanneer tests tussen Rotterdam en Antwerpen gehouden worden, is nog onbekend.

‘Het grootste knelpunt bij de invoering van het nieuwe treinbeveiligingssysteem is de test van de software. Groepen experts van het spoor proberen risicoscenario’s uit en bekijken hoe het programma reageert. Onze bughunter kan zulke scenario’s automatisch doorlopen’, vertelt Calamé’s promotor Jaco van den Pol van de Universiteit Twente.

De informatici maakten een bestaande testgenerator, een algoritme dat testscenario’s genereert op basis van vooraf opgestelde systeemeisen, geschikt voor data-invoer. Normaliter werkt een testgenerator alleen voor simpele reactieve systemen zoals een lift, waarbij de invoer alleen een druk op de knop is. ERTMS werkt echter ook met data zoals de snelheid en lengte van de trein, die heel veel waarden kunnen hebben. Het is onmogelijk dan alle scenario’s uit te proberen, omdat er oneindig veel mogelijkheden zijn.

Calamé slaagt er met zijn algoritme in de testgenerator abstracte scenario’s te laten genereren, zoals ‘zet licht op rood, dan moet de trein stoppen’, waar de computer later data bij kan invoeren. Met een grafentheoretisch bewijs toonde hij aan dat zijn algoritme feilloos is. ‘Ons algoritme kan waarschijnlijk wel duizend keer zo snel scenario’s aflopen, als een team experts zou kunnen’, aldus Calamé.

De betrouwbaarheid van softwaretesten is afhankelijk van de hoeveelheid doorlopen scenario’s. Het nieuwe algoritme kan software testen, zonder in de programmacode van de software te hoeven duiken, de zogeheten black box testing. Ook kan geprogrammeerd worden op welke systeemeisen het algoritme de software moet testen. In Europa verschillen die per land.

Deel deze pagina
Abonnement

Wilt u lid worden, een los nummer aanvragen of een adreswijziging doorgeven? Neem dan contact op met MijnTijdschrift (088-2266622). 

Of bekijk ons aanbod van abonnementen.

Ontvang de nieuwsbrief

Meld je nu aan!

Naar boven