In EULYNX the European Infrastructure managers define an internationally standardised signalling system, focusing on common interfaces. EULYNX uses model-based system engineering (MBSE). Infrastructure managers define the appropriate use case descriptions. Modeling experts convert the Use Cases into various SysML model types. The videos explain the methods in which modelling and system engineering expertise is combined with signalling expertise. The analysis of the formal model can be derived from the SysML model. By using formal methods, Infrastructure managers can get the `mathematical confidence’ that the EULYNX standard is fit for purpose with national subsystems.

Subtitled versions are available HERE (click on the link).