ERTMSFormalSpecs covers 100% of Specifications

We are delighted to announce that we have modelled 100% of Subset-026, 027 and 034 (Baseline 3 MR1) onboard requirements using ERTMSFormalSpecs. Ours is the only tool we know of that proposes to the community a complete formal representation of these specifications which is understandable by signaling experts can be animated in what-if scenarios. We…

SOCOFER and ERTMS Solutions bring more added value to railways maintenance

SOCOFER and ERTMS Solutions are joining their competences to bring more added value to railways maintenance. From now on, all future railway maintenance vehicles of SOCOFER will be ready to embed ERTMS Solutions’ LifeCheck preventive maintenance set of tools (BaliseLifeCheck and TrackCircuitLifeCheck). SOCOFER will be able to provide its clients with fully equipped vehicles that…

SYSTRA Scott Lister partners up with ERTMS Solutions

ERTMS Solutions is a world leader in railways testing, maintenance, and systems integration product tools, especially known in the ERTMS world. SYSTRA Scott Lister is globally recognized for their strength in the field of ERTMS/ETCS. This partnership reinforces these capabilities for the use of state of the art desktop simulators environment. François Pignard, Rail Systems…

Goal Systems launches #GoalAgileIntegrations with ERTMS Solutions and ODASE Ontologies

Goal Systems is a world leader providing software for the optimization of transport operations. Their products enable optimum generation of schedules and timetables, better planning of rolling stock and drivers, a more efficient allocation of all kind of staff categories as well as dispatching  and control of resources, to achieve excellent results in all transport operations. ERTMS Solutions is…

Thales Transportation Systems GmbH uses ERTMSFormalSpecs in the framework of its Braking Curves Comparison project

The project began in summer of 2015, when the ERTMSFormal­Specs team met with the Braking Curves team of the Thales EVC development project. Thales had begun testing their braking curve calculations, but were not fully satisfied with the methods they were using. They had designed unit tests to pinpoint testing of specific functions. This is…

BaliseLifeCheck successfully passed RINA tests

RINA Railways Certification Laboratory performed tests for a validation with respect to UNISIG/ERA SUBSET 026, SUBSET 036 and SUBSET 085. Our Balise Life Check has successfully passed the tests, and marked the first important step in its validation process.sts. Figure 1. List of tests performed on the Balise Life Check System at RINA Certification Laboratory…

Oc’via Maintenance chose the BaliseLifeCheck to maintain Eurobalises and KVB balises on CNM project

In the framework of the CNM project in South of France (Contournement Nîmes-Montpellier), Oc’via Maintenance chose the BaliseLifeCheck to maintain Eurobalises and KVB balises that equip this 80kms’ new line. Oc’Via is a project company created by industrial stakeholders to answer the call for tender launched by SNCF Network. Oc’Via is in charge of the…

RINA performs independant assessment of BaliseLifeCheck

In the framework of The BaliseLifeCheck’s project on SNCF ETG measurement train, we’ve been asked by our client to test and validate our product. Our BLC is performing laboratory and measurements according to ERA/UNISIG subset 085 v3.0.0, which are a set of specifications for testing balises and BTM according to ERTMS/ETCS baseline 3. This test and validation…