Your monthly update on innovation and deployment for Europe’s railway system of the future.At its 18th meeting, the...
Innovation Pillar, System Pillar and Deployment Group – October News
read more
D30.1 – Automatic transformation, means of verification and validation (V&V), and traceability between models using different modelling approaches
Output type:
This deliverable will develop a methodology and a corresponding toolchain that achieve the formalisation of SysML models and their contribution to the authorisation process. A proposed procedure for the traceability of a baseline and refined EULYNX specification model will be demonstrated in the form of a prototype. The connection of the MBSE approaches used in the ERJU System Pillar will be defined and described as a unified workflow.