X2Rail-5-909156 Proposed extension of specification approach to meet needs of RCA

Summary

Output of Task 103 this deliverable will describe proposed extensions of the semiformal EULYNX MBSE approach to specify different types of behaviour to meet the needs of RCA to be used as input for the current EULYNXRCA modelling standard and other tasks of this WP

More information & hyperlinks

Web resources:

https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5e8713090&appId=PPGMS

Associated projects

X2Rail-5 - Completion of activities for Adaptable Communication, Moving Block, Fail safe Train Localisation (including satellite), Zero on site Testing, Formal Methods and Cyber Security

Organisations

Not specified