InTraffic en Axini laten bij ProRail zien dat safety critical software en Agile samengaan met SafeScrum en Axini model-based testing. Safety critical software is over het algemeen gereguleerd. Voorbeelden zijn de IEC 61508 safety standaard en de specifieke spoorwegen standaarden CENELEC 50128 en IEC 62279. Deze eisen en regels hebben als doelstelling om de kans op fouten te verkleinen. De standaarden werken de zogenaamde waterval/sequentiele methode van software ontwikkelen in de hand. De gedachte hierachter is dat de waterval methode first-time-right stimuleert en daarmee tot een hogere initiele kwaliteit komt. Nadeel van waterval is dat het doorvoeren van wijzigingen en het oplossen van fouten veel tijd en inspanning kost. Safety-critical software heeft vaak een lang doorlooptijd en hoge kosten. Een modernere wijze van software ontwikkeling is om iteratief te ontwikkelen, bijvoorbeeld Agile/Scrum/SAFe ed. Deze aanpak maakt het makkelijk om aanpassingen te doen tijdens het software ontwikkelen. Iteratief software ontwikkelen geeft juist grip op doorlooptijd en kosten. Is het mogelijk safety-critical en iteratieve software ontwikkeling te combineren?
SafeScrum is een methode die Agile software development principes toepast op safety standaarden zoals IEC 61508. De aanpak is ontwikkeld door SINTEF ('de Noorse TNO') en de NTNU (Norwegian University of Science and Technology). Deze aanpak past erg goed bij de model-gebaseerde testaanpak van Axini (no-code test-automation). Aan het einde van elke sprint zijn de opgeleverde requirements getest.