04/15/2023 The breakthrough is happening 1

ReferenceEVCHow to mitigate ERTMS onboard baseline evolutions risks using ERTMSFormalSpecs?

04/15/2023 The breakthrough is happening 2

ERTMSFormalSpecs news

Background

http://www.railwaygazette.com/news/infrastructure/single-view/view/ertms-user-group-adopts-formal-specifications-tool.html

04/15/2023 The breakthrough is happening 3

ERTMSFormalSpecs news

https://www.youtube.com/watch?v=3Sz2c5t62oM

04/15/2023 The breakthrough is happening 4

ReferenceEVC Concept presentation

● Equip EM203 with – ReferenceEVC including ERTMSFormalSpecs– its own DMI– its own BTM (reusing BaliseLifeCheck)– its own radio channel

Reference EVC concept

NO VEHICLE CHANGENO HOMOLOGATION NEEDED

04/15/2023 The breakthrough is happening 5

ReferenceEVC Technical description

● Unique features in SIL0 EVC– Insert/remove CRs inside the train– Change Baseline

• Current : BL3• Future dev. according to market MR2, BL2

– Full recording and replay• 100% Whitebox

● Decisive advantage:– First functions can run in 2015

04/15/2023 The breakthrough is happening 6

ERTMSFormalSpecs in actionCR 1084

https://www.youtube.com/watch?v=aEjKFCWyerU

04/15/2023 The breakthrough is happening 7

Current model status

● Modelling and testing– ERTMSFormalSpecs today:

• 77% implemented 13% tested• Total # requirements in S026: 4139

100% implementedand tested

04/15/2023 The breakthrough is happening 8

ReferenceEVC SIL0 validation process

● First meeting with NOBO/ISA 29/5/2015● Quality process is supported by ERTMSFormalSpecs● Large effort but incremental● Open questions

– Scope of SIL0? • ERTMSFormalSpecs model? • ERTMSFormalSpecs toolchain?• ReferenceEVC system

– including subsystems EVC Kernel, BTM, DMI?

04/15/2023 The breakthrough is happening 9

ReferenceEVC RoadmapProofs of Concept

● Three Proofs of Concept– POC1: Reference EVC in EM203

• Start of mission in SR, transition to FS/L1

– POC2: Reference EVC in EM203• Start of mission in SR, transition to LS/L1• By translating all TBL1+ P44 in LS packets, according to INFRABEL LS programming

rules

– POC3: Reference EVC in EM203• Start of mission in SR, transition to FS/L2• Prerequisite: availability+ of test RBC, Keys, Track definition

04/15/2023 The breakthrough is happening 10

ReferenceEVC RoadmapFinal product

● Final product– Effort needed

• Implement robust ReferenceEVC runtime• Complete and test Subset-026 model• Get ISA/NOBO evaluation report

– Timing shall depend on committed users • co-development possible

– Interested parties as of today: • INFRABEL• Prorail/NS

04/15/2023 The breakthrough is happening 11

Thank you for your attention!

www.ertmssolutions.com