“Sureté des STRC” et “Méthodes formelles”
Objectif
- Le groupe de travail « Sûreté des STRC* » avait pour objectif de concevoir, développer et promouvoir une approche d’ingénierie système ouverte, modulaire et incrémentale pour la conception des systèmes fortement distribués à haut niveau de sûreté de fonctionnement.
Liste des membres (en 2015)
- Grands Groupes : SAFRAN, SNCF, THALES
- ETI/PME : ANSYS Esterel, CSSI, CLEARSY, GTD
- Académiques : CEA LIST, ENSTA Bretagne, ENSAM PARISTECH, ENSTA PARISTECH, ESEO, INRIA (Paris, Sophia-Antipolis & Rennes).
Le GT méthodes formelles visait à développer et faire connaître ces méthodes qui ont un potentiel énorme pour faire progresser la productivité ET la qualité intrinsèque des développements de logiciels embarqués et de leurs outils de développement et de vérification. La première édition du Forum Méthodes Formelles (FMF) a eu lieu à Toulouse fin 2012 à l’initiative du DAS SE2L du pôle Aerospace Valley et du thème IFSE du RTRA AESE . De nouveaux partenaires ont rejoint l’organisation du forum depuis : pôle Minalogic en 2013, labex Digicosme en 2014, pôle Systematic en 2015. FMF est devenu un groupe de travail d’ Embedded France en 2015.
Liste des membres
CEA, C&S – Systerel – Atos – INRIA – Aerospace Valley – Adacore – IRIT – LRI-Université Paris-Sud – Minalogic – LSV/CNRS – Airbus – LAAS/CNRS – ONERA
Lors du Workshop Inter-GT du 1er octobre 2019, les groupes « Méthodes formelles » et « Sûreté des Systèmes temps réel et communicants » ont décidé de fusionner leurs activités… pour donner naissance à un nouveau groupe de travail
«ISEC, Ingénierie des Systèmes Embarqués Critiques sûrs». Ce groupe a pour but de capitaliser autour de l’Ingénierie Système par composition formelle intégrant la prise en compte de leur sûreté. La sûreté est prise dans son acceptation anglo-saxonne ”Dependability”; Elle englobe « Sûreté de Fonctionnement (SdF) et Cyber Sécurité (CS) ». Ce groupe s’intéresse à la Formalisation de la Sûreté des systèmes (FS), avec raffinement par machines à états, algèbre évolutive et “Machine Learning (ML)”. L’objectif poursuivi est de Vérifier Formellement (VF) le maximum de propriétés, sur cas d’étude (CE), afin de permettre le déploiement d’architectures sûres pour ces systèmes.
Cette fusion a été annoncée à l’occasion des Assises de l’Embarqué consacrées à la convergence Sûreté/sécurité – 19 novembre 2019 – Bercy
Le nouveau GT ISEC est désormais piloté par l’ENSTA.
