Cas d'Assurance Dynamiques pour les Systèmes Autonomes Adaptatifs

Description du sujet de thèse

Domaine

Défis technologiques

Sujets de thèse

Cas d'Assurance Dynamiques pour les Systèmes Autonomes Adaptatifs

Contrat

Thèse

Description de l'offre

Donner l'assurance que les systèmes autonomes fonctionneront de manière sûre et sécurisée est une condition préalable à leur déploiement dans des domaines d'application critiques en termes de mission et de sécurité. Généralement, les assurances sont fournies sous la forme de cas d'assurance, qui sont des arguments vérifiables et raisonnés démontrant qu'une revendication de haut niveau (concernant généralement la sécurité ou d'autres propriétés critiques) est satisfaite compte tenu d'un ensemble de preuves relatives au contexte, à la conception et à la mise en œuvre d'un système. L'élaboration de cas d'assurance est traditionnellement une activité analytique, réalisée hors ligne avant le déploiement du système, et sa validité repose sur des hypothèses/prédictions concernant le comportement du système (y compris ses interactions avec son environnement). Cependant, il a été avancé que cette approche n'est pas viable pour les systèmes autonomes qui apprennent et s'adaptent en cours de fonctionnement. Cette thèse abordera les limites des approches d'assurance existantes en proposant une nouvelle catégorie de techniques d'assurance de la sécurité fondées sur la sécurité qui évaluent et font évoluer en permanence le raisonnement de sécurité, en même temps que le système, afin de fournir une assurance de la sécurité tout au long de son cycle de vie. En d'autres termes, l'assurance de la sécurité sera fournie non seulement au cours du développement et du déploiement initiaux, mais aussi en cours d'exécution, sur la base de données opérationnelles.

Université / école doctorale

Sciences et Technologies de l'Information et de la Communication (STIC)
Paris-Saclay

Localisation du sujet de thèse

Site

Saclay

Critères candidat

Formation recommandée

Ingénieur ou Master 2 en informatique

Demandeur

Disponibilité du poste

01/10/2023

Personne à contacter par le candidat

MRAIDHA Chokri
Email: chokri.mraidha@cea.fr
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
Tel: 0169084889

Tuteur / Responsable de thèse

MRAIDHA Chokri
Email: chokri.mraidha@cea.fr
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
Tel: 0169084889

En savoir plus

www.list.cea.fr