Systerel participera à la conférence internationale RSSR (Reliability, Safety and Security of Railway Systems) à Lille du 4 au 6 juin prochains.
Cette conférence adresse les problématiques de sécurité des systèmes ferroviaires et plus particulièrement les techniques et outils de modélisation, analyse, vérification et validation.
Les solutions basées sur les techniques de Model-Checking, à l’instar de Systerel Smart Solver (S3), permettent de démontrer efficacement la sécurité des systèmes critiques.
Systerel a co-écrit avec Alstom un article sur l’utilisation de la solution S3 pour la vérification formelle de la sécurité d’un système d’enclenchement ferroviaire. Cet article, « Interlocking Formal Verification at Alstom Signalling », sera présenté dans la section « vérification formelle » lors de la journée du jeudi 6 juin.
Systerel est une fois encore partenaire de cet événement qui réunira industriels, chercheurs et universitaires du secteur ferroviaire.
En savoir plus sur RSSR