Salons - Conférences
Mai 2019
RSSR 2019
Systerel participera à la conférence internationale RSSR (Reliability, Safety and Security of Railway Systems) à Lille du 4 au 6 juin prochains.
Salons - Conférences
Octobre 2018
Maîtrise des risques et transformation numérique
Systerel interviendra au cours de la 21ème conférence Lambda Mu avec une présentation : « Vers une implémentation sûre et cyber-sécurisée du protocole OPC-UA » qui abordera la problématique safety/security dans le cadre de certifications.
Salons - Conférences
Février 2018
Journées cyber-sécurité ISA France
Systerel a participé au dernier séminaire ISA-France (International Society of Automation) les 30 et 31 janvier derniers à Grenoble.
L’intervention de Systerel a permis d’exposer la problématique safety/security dans le cadre de l’IIOT à travers la présentation de sa solution Safe & Secure OPC, implémentation libre et sécurisée du protocole OPC-UA.
Méthodes Formelles, Salons - Conférences
octobre 2017
RSSR (Reliability, Safety and Security of Railway Systems)
Systerel participera à la conférence RSSR à Pistoia (Italie) du 13 au 16 novembre prochains.
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.
Salons - Conférences
juin 2016
Conférence internationale RSSR
Systerel a participé à la conférence RSSR à la maison de la RATP du 28 au 30 juin.
La solution de vérification formelle Systerel Smart Solver a été présentée : description, apports et applications de cet outil éprouvé industriellement dans le cadre de vérification de sécurité de systèmes ferroviaires.