RSSR 2017
« International Conference on Reliability, Safety and Security of Railway Systems: modelling, analysis, verification and certification.”

Systerel participera à la conférence RSSR à Pistoia (Italie) du 14 au 16 novembre prochains.

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 interviendra 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 est partenaire de cet événement qui réunira industriels, chercheurs et universitaires du secteur ferroviaire.

 

En savoir plus sur la conférence RSSR En savoir plus sur Systerel Smart Solver