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

CEA; Saclay; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Un institut de recherche en technologie recherche un(e) étudiant(e) pour une thèse sur les systèmes autonomes à Saclay. Cette thèse se concentre sur des techniques innovantes pour garantir la sécurité des systèmes autonomes tout au long de leur cycle de vie. Un Master 2 en informatique est requis. Les candidats peuvent contacter M. Chokri MRAIDHA pour plus de détails.

Qualifications

• Formation recommandée en informatique.
• Capacité à comprendre et analyser les systèmes autonomes.
• Aptitude à travailler sur des techniques d'assurance de la sécurité.

Responsabilités

• Développer une nouvelle catégorie de techniques d'assurance.
• Évaluer et faire évoluer le raisonnement de sécurité en continu.

Connaissances

Ingénierie logicielle

Analyse des systèmes

Formation

Master 2 en informatique

Description du poste

Description du sujet de thèse

Sujet de thèse: Cas d'Assurance Dynamiques pour les Systèmes Autonomes Adaptatifs.

Domaine

Défis technologiques

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 <[e-mail]>
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
0169084889

Tuteur / Responsable de thèse

MRAIDHA Chokri <[e-mail]>
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
0169084889

En savoir plus

www.list.cea.fr