Project information
- Acronym: SATLOC 2
- SATLOC+ (follow up of SATLOC) system safety demonstration on the basis of the formal functional mode
- Project director: Christian Chavanel
- Project manager: Sophie Sérodon
- Status: completed project
- Project code: 2017/RSF/543
Project description
Equipping regional lines with ERTMS at low cost is a big challenge for many European countries. The formalisation 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).