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.
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.
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.
Cette semaine, notre directeur technique est intervenu auprès des élèves ingénieurs de Polytech Marseille. Les élèves ont ainsi pu en savoir davantage sur l’application des méthodes formelles dans le cadre de développements logiciels sous contrainte de cybersécurité. Une belle opportunité pour ces futurs ingénieurs d’échanger avec nous et de découvrir la richesse de nos métiers !
Systerel publie une nouvelle version du document de spécification du langage HLL (HLL LFD) et le soumet à la prochaine revue du HLL Forum de manière à converger sur la nouvelle définition du langage en collaboration avec les autres acteurs de la communauté.
L’institut CEA List et Systerel franchissent un jalon majeur dans la numérisation des systèmes ferroviaires, en livrant à SNCF Réseau une nouvelle version du module de modélisation fonctionnelle des postes d’aiguillage de nouvelle génération. Les deux partenaires accompagnent ainsi la montée en complexité de ces systèmes grâce au déploiement d’un environnement de modélisation et de validation performant.
Systerel participera à la conférence RSSR à Pistoia (Italie) du 13 au 16 novembre prochains.
Systerel interviendra ainsi en amont de la conférence à travers un tutoriel sur les activités liées à la construction, l’utilisation et la certification d’une solution de vérification formelle de la sécurité d’un système d’enclenchement ferroviaire.
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.