Cas dapos;Assurance Dynamiques pour les Systèmes Autonomes Adaptatifs

Description de l'offre : Donner lapos;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 dapos;application critiques en termes de mission et de sécurité. Généralement, les assurances sont fournies sous la forme de cas dapos;assurance, qui sont des arguments vérifiables et raisonnés démontrant quapos;une revendication de haut niveau (concernant généralement la sécurité ou dapos;autres propriétés critiques) est satisfaite compte tenu dapos;un ensemble de preuves relatives au contexte, à la conception et à la mise en œuvre dapos;un système. Lapos;élaboration de cas dapos;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 napos;est pas viable pour les systèmes autonomes qui apprennent et sapos;adaptent en cours de fonctionnement. Cette thèse abordera les limites des approches dapos;assurance existantes en proposant une nouvelle catégorie de techniques dapos;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 dapos;autres termes, lapos;assurance de la sécurité sera fournie non seulement au cours du développement et du déploiement initiaux, mais aussi en cours dapos;exécution, sur la base de données opérationnelles.

Profil du candidat : Ingénieur ou Master 2 en informatique