In de vervoer en infra sector zijn veiligheid en betrouwbaarheid van cruciaal belang. Systemen zoals spoorwegsignaleringssystemen en verkeersbeheersystemen moeten voldoen aan strikte veiligheidsnormen, zoals Cenelec en vergelijkbare veiligheidsnormen (EN 50126/50128/50129 en IEC 62279). Deze normen schrijven regels en voorschriften voor die gevolgd moeten worden om veilige en betrouwbare systemen te bouwen. Een van de vereisten is dat de ontwikkeltools gevalideerd moeten zijn voor gebruik.
Axini model-gebaseerd testen (MBT) biedt een innovatieve oplossing die naadloos aansluit bij deze strenge eisen. Axini MBT maakt gebruik van geavanceerde modelleringstechnieken om testgevallen automatisch te genereren en uit te voeren, wat zorgt voor een grondige en betrouwbare evaluatie van complexe systemen. Dit is van onschatbare waarde in een sector waar fouten niet alleen kostbaar, maar ook gevaarlijk kunnen zijn.
Integratie met Cenelec-veiligheidsnormen
Axini MBT helpt bedrijven in de vervoer en infra sector om te voldoen aan de Cenelec-veiligheidsnormen door ervoor te zorgen dat de ontwikkelde software gevalideerd is voor gebruik. Dit biedt de zekerheid dat de systemen die worden ontwikkeld en getest, voldoen aan de hoogste veiligheids- en betrouwbaarheidseisen. De geautomatiseerde testmogelijkheden van Axini MBT maken het mogelijk om uitgebreide en nauwkeurige tests uit te voeren, wat bijdraagt aan de naleving van deze strenge normen.
Compatibiliteit met het Scaled Agile Framework (SAFe)
Een van de unieke voordelen van Axini MBT is de compatibiliteit met het Scaled Agile Framework (SAFe). SAFe stelt teams in staat om aan het einde van elk increment, bij voorkeur aan het einde van elke sprint, een productierijp systeem op te leveren. Dit betekent dat de applicatie en zijn omgeving aan het einde van elk increment geïntegreerd en getest worden in een werkende opstelling. Hoewel SAFe en Cenelec van nature niet goed bij elkaar passen, omdat veiligheidskritische projecten vaak een meer watervalachtige benadering volgen, biedt Axini MBT een brug tussen deze twee werelden. Er is ook een speciaal op de ontwikkeling van safety critial systemen gerichte Agile aanpak, genaamd SafeScrum. Axini heeft hier ervaring mee en de aanpak past bijzonder goed bij deze aanpak.
Door gebruik te maken van Axini MBT kunnen teams in de vervoer en infra sector zowel agile werken als voldoen aan strikte veiligheidsnormen. Dit leidt tot een efficiënter ontwikkelproces, hogere productkwaliteit en een snellere time-to-market, terwijl de veiligheid en betrouwbaarheid van de systemen gewaarborgd blijven.
Conclusie
Axini MBT biedt een robuuste en innovatieve oplossing voor de vervoer en infra sector, waar veiligheid en betrouwbaarheid essentieel zijn. Door naadloos te integreren met zowel de Cenelec-veiligheidsnormen als het Scaled Agile Framework (SAFe), stelt Axini MBT bedrijven in staat om met vertrouwen te innoveren en te groeien, terwijl ze voldoen aan de hoogste veiligheidsstandaarden.
Klanten
Wij helpen onder andere de volgende klanten in de vervoer en infra sector.
ProRail
Axini helpt ProRail al ruim 15 jaar om de kwaliteit en robuustheid van de vele systemen in het spoordomein te waarborgen.
Partners
Wij werken samen met onder andere de volgende partners in de vervoer en infra sector.
InTraffic
Onze samenwerking met InTraffic maakt het mogelijk om al tijdens het ontwikkelprocess fouten te voorkomen.
Resources
Meer weten? Kijk ook eens naar de bronnen hieronder.
Machiel keynote speaker bij MDENet event in Londen
Een presentatie over de inzet van het Axini platform bij ProRail.
Axini Modeling Platform en ERTMS
Om meer inzicht te geven in het Axini Modeling Platform en onze aanpak, delen we graag de presentatie die we hebben gegeven op de Software Centric Systems Conference.
ICST 2022 paper over MBT van EULYNX interlocking geaccepteerd
Onderzoek van ProRail, de Universiteit van Amsterdam en Axini is geaccepteerd voor de 2022 IEEE International Conference on Software Testing, Verification and Validation. Het onderwerp van het onderzoek is het toepassen van model-gebaseerd testing voor EULYNX SysML modellen.
Model-based testing in safety-critical Scaled Agile
Lees het artikel van Bits&Chips over model-gebaseerd testen bij ProRail.
Model-gebaseerd testen van safety critical software
InTraffic en Axini laten bij ProRail zien dat safety critical software en Agile samengaan met SafeScrum en Axini no-code test-automation (een vorm van model-based-testing).
Axini no-code test automation garandeert de hoogste kwaliteit.
ProRail gebruikt het Axini platform en aanpak om zijn bedrijfskritische systemen sneller en met de hoogst mogelijke kwaliteit op te leveren. Een grote verzekeraar heeft zijn time-to-market gehalveerd met de no-code test-automation oplossing van Axini.