March 30, 2021
Results published in March
1st release of formal methods prototype for quality improvement of the standardisation process Download here Description: This deliverable completes the description of the formal method demonstrator process to be adopted in the project, and applies the demonstrator process to an initial fragment of the selected signaling use-case - the communication interface between two RBCs supporting the handover of a train. Target audience: All rail stakeholders; Final users (travellers and freight transport users); Operators (rail operator…