maandag 28 februari 2022
Interlocking is een belangrijk onderdeel in de treinbeveiliging. Het voorkomt conflicterende bewegingen op een rijweg. Het EULYNX project is een Europees initiatief van 13 infrastructuur managers, waaronder ProRail, om de onderdelen van de treinbeveiliging te standaardiseren. Samen met ProRail, de Universiteit van Amsterdam en de Universiteit Twente heeft Axini onderzoek gedaan naar het toepassen van de Axini model-gebaseerde werkwijze en platform voor EULYNX object controllers. Het onderzoek was dermate succesvol dat Tobias Bachmann en Djurre van der Wal een artikel hebben ingestuurd naar de ICST 2022, de IEEE Internationale Conferentie over Software Testing, Verification and Validation. We zijn blij te mogen vermelden dat dit paper is geaccepteerd!
Tobias Bachmann: "I am honored to contribute my paper to the 15th IEEE International Conference on Software Testing, Verification and Validation where I research the applicability of model based testing for EULYNX SysML models by translating them into symbolic transition systems.
Together with Axini and their powerful MBT toolset, I have shown a promising way towards higher quality specifications, more efficient conformance testing of system implementations, and ultimately to an increase in safety."
De basis voor dit onderzoek is het afstudeerwerk van Tobias Bachmann: Translating SysML models into Symbolic Transition Systems for Model-Based Testing.