Depuis sa création en 2001, Systerel a développé et capitalisé un savoir-faire dans le domaine du transport ferroviaire (trains, métros, tramways) couvrant aussi bien :
- Les équipements « Sol » de signalisation, d’enclenchements ou de contrôle-commande
- Les équipements « Bord » embarqués dans les motrices et remorques
- Les outils de « Mise au point, Test et Maintenance » utilisés en phases d’étude, d’intégration ou d’exploitation des systèmes
Nous intervenons essentiellement dans l’ingénierie des systèmes critiques (jusqu’à SIL4) sur des projets de type ERTMS, CBTC, enclenchements, contrôle de vitesse ou afficheurs embarqués …
Nous réalisons des solutions sur toutes les phases du système, des études amont au déploiement : phases de spécifications, développement, V&V et études de sûreté de fonctionnement.
Développement de logiciels de sécurité
Que ce soit en spécification, conception, développement ou intégration, Systerel est impliqué sur des projets tels que :
- L’implémentation complète SIL4 d’un enclenchement tramway sur automate programmable, couvrant tout le processus de la spécification logicielle jusqu’à l’approbation de l’autorité de certification
- Les développements fonctionnels et sécuritaires (Ada, B et preuve) jusqu’au niveau SIL4, les Tests Équipements sur cible et hôte, les simulateurs de tests, les Interfaces Fonctionnelles et d’autres composants qui s’interfacent avec les environnements applicatifs de CBTC
- Le développement d’un logiciel sol ZC de métro automatique CBTC au moyen de méthodes formelles – AREVA (SSIL4)
- Les logiciels et interfaces graphiques pour une gamme modulaire de produits DMI ERTMS
Préparation et validation des données de configuration
Les systèmes ferroviaires sont hautement configurables et leurs données sont partie prenante de leur sécurité.
Acteur impliqué dans le domaine ferroviaire, Systerel a développé une expertise essentielle autour des activités de préparation et de vérification des données de configuration des systèmes de signalisation, CBTC ou ERTMS.
Systerel propose aussi un outil dédié à la validation formelle des données de configuration : OVADO²®
Les dernières réalisations les plus notables de Systerel sont :
- la mise en place d’un process et de l’ensemble des outils nécessaires à la préparation de l’ensemble des données d’un CBTC
- la validation des données dans le cadre du déploiement du projet EOLE NExTEO E
- la validation formelle complète des données d’une ligne de métro parisienne
- le développement et le maintien en conditions opérationnelles d’une chaine complète de production de données de paramétrage pour un équipement à la voie
Outils
Le développement de systèmes critiques s’appuie souvent sur un outillage dédié. Les équipes Systerel ont su développer des outils métier performants.
Solution d’affichage des données d’une ligne ferroviaire
Systerel développe une solution d’affichage des données d’une ligne ferroviaire représentant sous forme cartographique ses voies, équipements, objets ponctuels, zones et leurs caractéristiques détaillées.
Systerel a décliné cette solution pour RATP, qui l’utilise notamment comme aide à la vérification des données de configuration de la Ligne 13 du métro parisien.
Atelier Métier de Signalisation
Systerel contribue, aux côtés du CEA List, au développement de l’Atelier Métier de Signalisation (AMS) de SNCF Réseau, dédié à la spécification et à la validation des postes d’aiguillage informatiques de nouvelle génération sur la base de méthodes formelles.
Le CEA List apporte ses compétences en modélisation et ingénierie des langages, tandis que Systerel met en œuvre son expertise en méthodes formelles et en signalisation ferroviaire.
Cet atelier permettra à SNCF Réseau d’optimiser les coûts et les délais de développement du fonctionnel des futurs postes d’aiguillage, tout en en assurant une maîtrise durable.
Étude et validation de systèmes ferroviaires
Quand un système est critique, il est nécessaire de mettre en place des activités de validation, vérification ou preuve qui participeront à l’élaboration du dossier de sécurité.
Certaines de ces activités s’appuient sur l’utilisation des méthodes formelles, telles que la preuve formelle de la spécification des enclenchements, exprimés sous forme d’automates d’un poste d’aiguillage informatisé ou la vérification de propriétés de sécurité avec Systerel Smart Solver.
Sûreté de fonctionnement
Études
Systerel réalise des études de sûreté de fonctionnement sur des produits ou systèmes liés à la signalisation : élaboration de plan de sûreté de fonctionnement, analyses de risque (APR, AMDEC, arbres de défaillances…), rédaction de dossier de sécurité conformément à la norme CENELEC EN 50128, création, gestion et suivi du registre des dangers, études basées sur le respect du principe GAME, analyses de fiabilité et de disponibilité…
Évaluation
Systerel intervient en second regard ou en accompagnement sur les dossiers de sécurité de ses clients.
- Accompagnement à la montée en compétences CENELEC EN 50128:2011 SIL2
- Évaluation de logiciels de sécurité SIL2
- Évaluation FDMS sur l’équipement ATS+, système de supervision pour zones denses, dans le cadre du projet EOLE (Est-Ouest Liaison Express), ainsi que sur le système Mistral NG
- Audit de l’activité de génération de données (DataPrep)
Principaux clients
ALSTOM – Compagnie des signaux – EQUANS – HITACHI Rail – RATP – SCLE – SICEF – SIEMENS – SNCF – THALES
Les rendez-vous du secteur ferroviaire
Systerel participe régulièrement aux grands événements du secteur ferroviaire, comme InnoTrans, SIFER, RSSRail …
Systerel y présente son savoir-faire dans le domaine ferroviaire et son offre de produits :
