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 video explains the methods in which modelling and system engineering expertise is combined with signalling expertise. Furthermore the video shows that the analysis of the formal model can be derived from the SysML model. By using formal methods, inframanagers can get the `mathematical confidence’ that the EULYNX standard is fit for purpose with national subsystems. Here under the subtitled version:

The following video describes the why of using formal methods. In EULYNX European Infrastructure Managers define an internationally standardised signalling system, focusing on common interfaces. EULYNX uses model-based system engineering (MBSE). The video explains the methods in which modelling and system engineering expertise is combined with signalling expertise. By using formal methods inframanagers can get the `mathematical confidence’ that the EULYNX standard is fit for use.