SATLOC+ (follow up of SATLOC) system safety demonstration on the basis of the formal functional mode

Start: 2017-01-1

End: 2018-12-31

Project code: 2017/RSF/543

Project director: Christian CHAVANEL

Project manager: Sophie SERODON

Equipping regional lines with ERTMS at low cost is a big challenge for many European countries. The formalization of the ETCS Functional Specification (SRS, Subset026, etc.) using semantically and syntactically strong language facilitates immediate verification. Delivery of an ETCS System Demonstrator for ETCS reference OBU on common PC Hardware to demonstrate and prove the CR´s introduced by the rail sector to the ERA.

How to equip a line with an ETCS3 satellite-based solution for an investment reduction of one half of the normal investment cost and a reduction of more than one half of the maintenance cost (possible to be made in-house)

Share this
Thursday 30 August 2018

Projects

Project
TER4RAIL
Transversal exploratory research activities for (...)
2020-10-14 10:23:27
Project
SIA
System for vehicle infrastructure Interaction (...)
2020-10-13 20:27:58
Project
Composite brake block behaviour under winter conditions
2020-10-13 20:29:17
Project
Long term development of railway stations
2020-10-13 20:29:17
Project
Station Managers Global Group
2020-10-13 20:29:17
Project
WG Pallets
2020-10-13 20:29:17