ICST 2022 paper geaccepteerd!

Over het modelleren en testen van EULYNX trein interlocking.

maandag 28 februari 2022

Interlocking is een belangrijk onderdeel in de treinbeveiliging (Treinbeveiliging). Het voorkomt conflicterende bewegingen op een rijweg. Het EULYNX project (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-based 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 conferentie. ICST is de IEEE Internationale Conferentie over Software Testing, Verification and Validation (ICST 2022). 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 (ICST) where I research the applicability of Model-Based Testing (MBT) 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).