Axini Model Based Testen bij ProRail

Hoe Axini MBT een cruciale rol speelt in het waarborgen van de betrouwbaarheid en veiligheid van bedrijfskritische processen bij de invoering van ERTMS

Neem contact op Bekijk ons platform

ERTMS & PEIL Project

De grootste transitie in treinbeveiliging

Axini Model Based Testen (MBT) speelt een cruciale rol in het waarborgen van de betrouwbaarheid en veiligheid van bedrijfskritische processen bij ProRail. ProRail is bezig met een zeer omvangrijk programma voor het invoeren van de nieuwe Europese Treinbeveiliging (ERTMS). Het project PEIL is gericht op de aanpassing van de ICT-Logistieke systemen ten behoeve van ERTMS. Voor verschillende oplossingen bij ProRail wordt Axini MBT ingezet.

Overzicht van Producten

Axini Model Based Testen (MBT)

Een complete oplossing voor het valideren en testen van safety-critical systemen

Incrementele Specificatie Validatie

Axini MBT helpt bij het incrementeel 'hard' maken van specificaties door ze continu te valideren tijdens de ontwikkelfase. Dit zorgt ervoor dat fouten vroeg in het proces worden opgespoord en opgelost, nog voordat er een regel code is geschreven.

Automatische Testgeneratie

Het platform genereert automatisch testcases op basis van de modellen die de verwachte werking van het systeem beschrijven. Dit garandeert dat alle mogelijke scenario's worden getest, niet alleen de happy flow, maar ook bad weather en edge-cases die handmatig vaak over het hoofd worden gezien.

Regressietesten

Axini MBT maakt het mogelijk om uitgebreide regressietesten uit te voeren bij elke oplevering. Dit zorgt ervoor dat nieuwe wijzigingen geen onverwachte fouten introduceren in bestaande functionaliteit.

Continue Feedback voor Ontwikkelaars

Wanneer incrementen klaar zijn om getest te worden, staat er meteen een grondige MBT regressietest klaar. Dit zorgt ervoor dat ontwikkelaars direct feedback krijgen, waardoor ze snel kunnen inspelen op eventuele problemen.

Voordelen

Voordelen van Axini MBT bij ProRail

Vroege Foutdetectie

Door MBT vanaf het begin van het ontwikkelproces in te zetten, worden fouten vroegtijdig opgespoord en opgelost. Dit vermindert de kans op kostbare en tijdrovende correcties later in het project.

Verbeterde Specificatiekwaliteit

Door het continu valideren van specificaties wordt de kwaliteit van de specificaties aanzienlijk verbeterd. Dit leidt tot een betrouwbaarder en robuuster eindproduct.

Efficiëntie in het Testproces

Automatische testgeneratie en regressietesten versnellen het testproces aanzienlijk, waardoor ProRail sneller en efficiënter kan werken. Dit is essentieel voor een omvangrijk en langdurig project zoals ERTMS.

Continuïteit en Betrouwbaarheid

De continue feedbackloop zorgt ervoor dat ontwikkelaars voortdurend op de hoogte zijn van de status van hun werk. Dit verhoogt de betrouwbaarheid en continuïteit van het ontwikkelproces.

Kostenbesparing

Vroege foutdetectie en automatische testprocessen leiden tot aanzienlijke kostenbesparingen. Door fouten vroegtijdig op te sporen en minder tijd te besteden aan handmatig testen, worden zowel tijd als geld bespaard.

SIL1

Ondersteunend aan de Cenelec standaard

Het Axini platform is gevalideerd voor SIL1. Dit helpt in de safety case door safety reliability, compliance met standaarden, detectie van bugs en defects, traceability en accountability.

Betrouwbaarheid en veiligheid gegarandeerd

Met Axini Model Based Testen kan ProRail hun bedrijfskritische processen tijdens de invoering van ERTMS en andere projecten optimaliseren. Het platform zorgt voor vroege foutdetectie, verbeterde specificatiekwaliteit, efficiëntie in het testproces en continue feedback voor ontwikkelaars.

Hierdoor wordt de betrouwbaarheid en veiligheid van de nieuwe treinbeveiliging gegarandeerd.

Staat jouw organisatie ook voor een complexe transitie?

Ontdek hoe het Axini Modeling Platform kan helpen bij safety-critical projecten - neem contact met ons op.

Neem contact op Terug naar Vervoer & Infra