ISEC. Ingénierie des systèmes embarqués critiques sûrs

Objectif

• 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. 

  Plan de travail du GT et livrables

  Le GT en s’appuyant sur les travaux autour des méthodes d’Ingénierie Système et de l’expertise de ses membres, a pour objectif de définir un cadre méthodologique facilitant la conception par composition formelle. Chaque porteur industriel est bienvenu pour proposer un cas d’étude pertinent permettant de valider et de mesurer la pertinence de l’approche ainsi que des nouveaux besoins pouvant apparaître.

  L’objectif du groupe est de reprendre suite à la période chahutée liée à la crise sanitaire les points d’avancement réguliers, à savoir : SdF (3) ; CS (3) ; « FS & VF » (2) ; CE (2). La périodicité des points par thématiques suivra le calendrier scolaire. 

  Interaction avec les autres GTs

  Les GT « ISEC », GT « IA embarqué », GT « NSL » et GT « Edge Computing » aborde un ensemble de sujets connexes, les GT « IA embarquée » et « Edge Computing » fournissant des briques, le GT « NSL » fournissant les normes et le GT « ISEC » fournissant l’approche Ingénierie Système permettant l’intégration de ces briques dans un système cohérent et respectant les normes GT « NSL ». L’objectif du GT est de généraliser des réunions thématiques communes ce qui avait été réalisés avec le GT « IA embarquée 

   

  Pour plus d’information veuillez contacter michel.nakhle546@gmail.com ou bruno.monsuez@ensta-paristech.fr  

  Contexte

  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.

  Actualités

  Naissance du groupe à l’occasion des Assises de l’Embarqué consacrées à la convergence Safety/ Cyber-Sécurité – 19 novembre 2019,

  En 2020/21 : Travaux portés par le GT sur la prise en compte de manière conjointe de la Safety et des aspects Cybersécurité. Génération de moniteurs par approche formelle.

  Publications

  Article “Applying SafeComp, a Formal Integrated System Modeling Framework, to the design of a Steam Generator Controller”, ICRS2019, Rome, Italy, November 20-22 ® ”. Auteurs : Bruno MONSUEZ et Michel NAKHLE

  Liste des membres

  (en cours de constitution)