Know-how
Interlocking visual edition, animation and simulation
- Creation of track plans for interlocking (tracks, points, routes, signals…)
- Animation of wayside equipment though an interactive view
- Simulate the interlocking using test sequences
- Export configuration data
Interlocking solution conception
- Development and implementation of generic signaling principles
- Development and implementation of specific applications
- Testing the implementation of the hardware
Proving safety properties of interlocking
- Generating HLL from various codes implementation
- Modelling of the railway safety properties
- Analyze the interlocking model to support the validation
EN 50128 qualification
- Development and evaluation of critical solution and software
- Safety cases
- Development process up to SIL 4 according to EN 50128
Related projects
AMS (Atelier Métier Signalisation)
In partnership with SNCF Réseau and CEA List, Systerel contributes to the development of the AMS (Atelier Métier de Signalisation, i.e. Interlocking Domain IDE), an open-source platform dedicate to the modelling, configuring and formally proving interlocking.
- Modelling of SNCF signaling principle
- Configuration of interlocking instance
- Simulation of interlocking instance
- Formal proof of interlocking instance and counter-examples animation
Tram Interlocking on PLC
Systerel provides a complete software implementation of a tramway application for PLC target. Using SIL4 compatible COTS PLC, we cover all the process from software specification to certification authority approval.
- Development process optimization though the use of digital twins
- Software implementation with IEC 61131-3 languages
- Automatic tests generation
- Physical and simulated hybrid test bench
- Utilization of formal method to validate the implementation
And more…
This list of projects is not exhaustive, contact us to discuss all our projects!