RSSR 2017
« International Conference on Reliability, Safety and Security of Railway Systems: modelling, analysis, verification and certification.”
Systerel a participé à la conférence RSSR à Pistoia (Italie) du 14 au 16 novembre.
Cette conférence aborde 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 est intervenue ainsi en amont de la conférence à travers un tutoriel sur les activités liées à la construction, l’utilisation et la certification d’une solution de vérification formelle de la sécurité d’un système d’enclenchement ferroviaire.
Systerel était partenaire de cet événement qui a réuni industriels, chercheurs et universitaires du secteur ferroviaire.
En savoir plus sur la conférence RSSR En savoir plus sur Systerel Smart Solver