Systerel will be present at the international RSSR (Reliability, Safety and Security of Railway Systems) conference in Lille (France) 4-6 June 2019.
This conference addresses the safety issues of railway systems and more particularly the techniques and tools for modelling, analysis, verification and validation.
Solutions based on Model-Checking techniques, such as Systerel Smart Solver (S3), provide an effective way to demonstrate the safety of critical systems.
Systerel co-authored with Alstom an article on the use of the S3 solution for the formal safety verification of an interlocking. This article, “Interlocking Formal Verification at Alstom Signalling”, will be presented in the “formal verification” section on Thursday, June 6.
Systerel is once again a partner in this event that will bring together industrialists, researchers and academics from the rail sector.
Learn more about RSSR