In EULYNX (eulynx.eu) 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.
A subtitled version of the youTube is available HERE (click on the link). This page also contains an explanation on why formal methods are used.