Valider la sûreté d’un système avant l’implémentation finale : c’est tout l’enjeu du Model Checking.
Cette méthode de vérification s’appuie sur un modèle formel pour analyser chaque évolution d’un système et ainsi de s’assurer qu’il respecte bien un ensemble de propriétés critiques.
Rejoignez-nous le 25 juin au Campus Cyber pour une journée dédiée à l’OPC UA, à l’Open Source et à la cybersécurité !
Au programme : des témoignages et des cas d’usages réels présentés par des utilisateurs finaux, des intégrateurs et des partenaires.
Cybersécurité et sûreté de fonctionnement : deux exigences souvent perçues comme opposées. Pourtant, dans les systèmes critiques, elles doivent coexister.
À Cyber On Board 2025, Vincent Lacroix et Thomas Lacrouts, experts Systerel, partageront stratégies concrètes, outils clés et retours d’expérience pour relever ce défi.
Systerel participe au programme PAIISDAIX, un projet innovant porté par Alstom, Centrale Méditerranée et Systerel, pour développer une nouvelle gamme de produits ferroviaires cybersécurisés dédiés aux trains autonomes.
Il y a quelques mois, les lignes 1 et 2 du métro de Riyad ont été inaugurées, un projet ambitieux qui transforme la mobilité de la ville !
Systerel est fière d’y avoir contribué, en accompagnant Siemens Mobility dans le développement des systèmes de signalisation et de contrôle-commande.