Systerel est fière d’accompagner Siemens Mobility dans le développement des systèmes de signalisation et de contrôle-commande des trains du métro de Riyad.
Nos équipes ont réalisé les activités de validation système pour garantir la bonne satisfaction des exigences.
Nous sommes ravis de partager la vidéo de l’intervention de l’un de nos experts, lors de l’édition 2024 de la conférence Horizon Maths.
Laurent Voisin a présenté une session sur l’utilisation des méthodes formelles en pratique, pour améliorer la maîtrise des risques dans les systèmes critiques et les logiciels.
Pour la 5ème fois, Systerel participera au salon international InnoTrans du 24 au 27 septembre 2024 à Berlin.
Ce rendez-vous incontournable sera l’occasion de vous présenter nos dernières solutions innovantes.
Ce n’est pas tous les jours qu’on a la chance de participer à une Coupe du Monde !
C’est pourtant le cas de Julien Vanderstraeten, responsable du site toulousain de Systerel et membre de l’équipe de France « Hommes +40 ans » de Touch Rugby.
Systerel est fière d’avoir accompagné la RATP dans le renouvellement du SAET de la ligne 14.
Pour cette étape majeure, Systerel a réalisé la validation second regard de l’ensemble des données sécuritaires.
Nos experts participeront à la 10ᵉ Conférence Internationale ABZ, qui se tiendra à Bergame du 25 au 28 juin 2024.
Elle vise à favoriser les échanges au sein de la communauté scientifique autour des différentes méthodes formelles.