Salons - Conférences
JUIN 2018
OPC Day Europe 2018
OPC Day Europe le 21 juin à Munich, Systerel y sera ! Cet événement qui réunit les experts OPC-UA est l’occasion d’échanger sur les dernières évolutions du standard OPC-UA.
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.
Salons - Conférences
Mars 2016
TechnoDay 2016
Delta Technologies Sud-Ouest, filiale du Groupe Systerel, participe au TechnoDay Aerospace Valley le 31 mars prochain à Pau. Delta Technologies Sud-Ouest a été retenue pour exposer son produit innovant « CLEMATIS » : Cabin Interface Management (CIM), un système de pilotage des périphériques cabine d’avions d’affaires développé pour la société SELA.
Méthodes Formelles, Salons - Conférences
Octobre 2014
ADVANCE Industry Days
Le projet ADVANCE a pour objectif de développer un cadre outillé et unifié pour la validation de systèmes cyber-physiques en s’appuyant sur la vérification formelle automatique et la co-simulation.
Les résultats du projet ont été présentés aux industriels participants à l’université de Southampton le 24 septembre et seront également présentés à Düsseldorf le 23 octobre prochain.
Salons - Conférences, Sûreté de Fonctionnement
Octobre 2014
Congrès Lambda Mu
Systerel participera au 19ème congrès Lambda Mu organisé par l’Institut pour la Maîtrise des Risques (IMdR) du 21 au 23 octobre à Dijon.
Systerel présentera, au cours de la conférence « Méthodes Formelles – applications au ferroviaire », son retour d’expérience sur la validation de données critiques de configuration avec l’outil OVADO2® pour la ligne 13 du métro parisien.