In this new article, we explore the possibilities offered by the OVADO²® formal validation tool.
For the first time, Systerel used OVADO²® to formally generate configuration data for railway equipment derived from system configuration data.
Since September 2022, the first four automated shuttles on line 4, the second-busiest metro line in Paris, have started to circulate.
In order to modernise this line, RATP chose the Train Operation Automation System (SAET), already installed on lines 1 and 14.
We look forward to seeing you in Lille, France, from 28 to 30 March for the 13th edition of SIFER. Our teams will be present alongside our partner ARCYS, on stand #2-330.
This year, we will present the KICS 2 project, selected as a laureate of the France 2030 plan. The aim of this project is to develop a range of equipment that reconciles cybersecurity update constraints with maintaining the safety of critical systems.
Once again, Systerel’s teams will be present at the Embedded World trade fair from 14 to 16 March.
Embedded World is THE annual event for embedded systems specialists. Join us on the OPC Foundation booth: hall 4, booth 151.