Cadre MBSE Augmenté par l'Intelligence Artificielle

CEA; Saclay; Sur place; EUR 80 000 - 100 000; Plein temps

Résumé du poste

Un institut de recherche avancée recrute un candidat pour une thèse sur l'automatisation des analyses de compromis entre Sureté et Sécurité des systèmes critiques. Le poste est basé à Saclay et exige une formation en informatique ou mathématiques. Le candidat devra utiliser l'IA dans le cadre d'une modélisation MBSE améliorée. La disponibilité du poste est fixée au 01 octobre 2025.

Qualifications

• Formation recommandée en Informatique ou Mathématiques.

Responsabilités

• Automatiser l'évaluation des compromis Sureté-Sécurité.
• Utiliser l'IA pour améliorer la qualité des analyses.

Connaissances

Informatique

Mathématiques

Formation

Master en Informatique ou Mathématiques

Description du poste

Description du sujet de thèse

Les systèmes critiques doivent respecter simultanément des exigences de Sureté de fonctionnement (prévenir les défaillances involontaires pouvant entraîner des dommages) et de Sécurité (protéger contre les attaques malveillantes). Traditionnellement, ces deux domaines sont traités séparément, alors qu'ils sont interdépendants : une attaque (Sécurité) peut déclencher une défaillance (Sureté), et une faille fonctionnelle peut être exploitée comme vecteur d'attaque. Les approches MBSE permettent une modélisation rigoureuse du système, mais elles ne capturent pas toujours les liens explicites entre la Sureté et la Sécurité ; les analyses de risques sont manuelles, longues et sujettes à erreurs. La complexité des systèmes modernes rend nécessaire l'automatisation de l'évaluation des compromis Sureté-Sécurité. La modélisation MBSE conjointe sureté/sécurité a été largement abordée dans plusieurs travaux de recherche tels que [3], [4] et [5]. Le verrou scientifique de cette thèse consiste à utiliser l'IA pour automatiser et améliorer la qualité des analyses. Quel type d'IA devrons-nous utiliser pour chaque étape d'analyse ? Comment détecter les conflits entre les exigences de sécurité et de sureté ? Quels sont les critères pour évaluer l'apport de l'IA dans l'analyse conjointe sureté/sécurité...

Domaine

Défis technologiques

Sujets de thèse

Cadre MBSE augmenté par l'Intelligence Artificielle pour l'analyse conjointe de la sureté et de la sécurité des systèmes critiques

Contrat

Thèse

Université / école doctorale

Mathématiques - Informatique - Télécommunications de Toulouse (MITT), Toulouse III

Localisation du sujet de thèse

Saclay

Critères candidat

Formation recommandée : Informatique, Mathématiques

Disponibilité du poste

01/10/2025

Personne à contacter par le candidat

SMAOUI-CHARFI Asma
[e-mail]
CEA
DRT/DILS//LSEA
CEA Saclay Nano-INNOV - Institut CARNOT CEA LIST, DILS/LSEA
Point Courrier n° 174 - F-91191 Gif sur Yvette Cedex

Tuteur / Responsable de thèse

HAMID Brahim
[e-mail]
CNRS
IRIT, Institut de Recherche en Informatique de Toulouse
118 Route de Narbonne,
31062 Toulouse Cedex 9,
France
[phone]

En savoir plus

https://list.cea.fr/fr/