Bouwman, Mark

Luttik, Bas

Rensink, Arend

Stoelinga, Mariëlle

van der Wal, Djurre

English

EULYNX is an EU-level collaboration between railway infrastructure managers to standardize signaling interfaces. The main goal of EULYNX is to provide, on an EU scale, a modular and flexible railroad architecture where components can easily be exchanged. This also opens the market for specialized manufacturers that do not supply the full range of control assets, but only single components. Related to EULYNX is FormaSig, an effort to establish the safety of the EULYNX standard with mathematical rigor. In particular, one of the main objectives of FormaSig is to translate the entire EULYNX standard from the semi-formal language SysML to the formal language mCRL2. The resulting mCRL2 models will subsequently be checked for important safety requirements and used for automated testing of actual EULYNX systems. This paper presents a first case study in this direction, focusing on the EULYNX Point interface, which we have converted to an mCRL2 model. We have also derived nine safety requirements, which have all been automatically compared with the mCRL2 model. Finally, we have used the mCRL2 model to test an industrial simulator of the EULYNX Point interface fully automatically.</p

University of Twente Research Information

What is the point:Formal analysis and test generation for a railway standard

https://ris.utwente.nl/ws/files/282689162/Bouwman2020what.pdf

What is the point:Formal analysis and test generation for a railway standard

Abstract

Similar works

Full text

Available Versions

University of Twente Research Information