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.