Salons - Conférences
septembre 2016
Innotrans
Systerel a participé au salon InnoTrans à Berlin du 20 au 23 septembre.
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.
Success Stories
AVRIL 2015
Success story SNCF
Systerel a réalisé avec succès pour le compte de SNCF le développement d’un simulateur de postes d’enclenchements à relais de type transit souple.
SNCF a décidé de s’appuyer sur un partenaire ayant à la fois des compétences en modélisation et développement logiciel mais aussi une connaissance du métier ferroviaire et de la signalisation afin de réaliser la prestation de modélisation des schémas électriques et de leur environnement.
Sûreté de Fonctionnement
Décembre 2014
« De la normalisation sectorielle à la reconnaissance mutuelle ? »
L’Institut pour la Maîtrise des Risques organise le 4 décembre une journée sur le thème « De la normalisation sectorielle à la reconnaissance mutuelle ?». Systerel, en tant qu’expert dans le domaine de la sûreté de fonctionnement, interviendra au cours d’une présentation : « développement et configuration de logiciels paramétrables au regard des normes de différents domaines (aéronautique, ferroviaire, nucléaire, automobile) ».
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.