UMR CNRS 7253

Outils du site


fr:recherche

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision
Révision précédente
fr:recherche [2020/05/29 10:35] – [Activités de recherche] blussierfr:recherche [2020/05/29 10:48] (Version actuelle) blussier
Ligne 8: Ligne 8:
  
  
-===== Tolérance aux fautes pour la perception multi-capteurs =====+===== 1. Tolérance aux fautes pour la perception multi-capteurs =====
  
  
Ligne 28: Ligne 28:
  
  
-==== Activités de recherche ====+===== Activités de recherche =====
  
  
Ligne 37: Ligne 37:
  
  
-===== Tolérance aux fautes pour les drônes aériens =====+===== 2. Tolérance aux fautes pour les drônes aériens =====
  
 Bien que des drônes aériens commencent à être employé dans certains contextes trés particuliers, trés peu de travaux sont effectués à notre connaissance sur leur tolérance aux fautes. De tels travaux sont cependant nécessaires pour permettre leur application dans des contextes critiques. Bien que des drônes aériens commencent à être employé dans certains contextes trés particuliers, trés peu de travaux sont effectués à notre connaissance sur leur tolérance aux fautes. De tels travaux sont cependant nécessaires pour permettre leur application dans des contextes critiques.
Ligne 45: Ligne 45:
 Les mécanismes de détection d'erreurs et de rétablissement de système doivent prendre en compte cette limitation pour pouvoir être appliqués sur de tels systèmes. Les mécanismes de détection d'erreurs et de rétablissement de système doivent prendre en compte cette limitation pour pouvoir être appliqués sur de tels systèmes.
  
-==== Activités de recherche ====+===== Activités de recherche ====
 + 
 +  * Thèses de Majd Saïed et de Hussein Hamadi 
 + 
 + 
 + 
 + 
 +===== 3. Tolérance aux fautes pour les mécanismes déclaratifs ===== 
 + 
 +Les mécanismes déclaratifs, notamment d'intelligence artificielle, sont nécessaires pour le développment des systèmes autonomes car ils permettent de traiter un grand nombre de problèmes grâce à leur robustesse. Ils se distinguent ainsi des mécanismes impératifs traditionnels qui demandent à décrire exhaustivement les comportements désirés du système. Cependant, pour être utilisés dans des applications critiques (voitures et véhicules autonomes, par exemple), les mécanismes déclaratifs ont besoin de donner une confiance justifiée dans leur comportement correct, ce qui est encore actuellement impossible. 
 + 
 +Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d'améliorer la confiance envers les mécanismes déclaratifs, notamment les réseaux de neurones. Ces méthodes sont principalement basées sur la diversification et la vérificaiton formelle. 
 + 
 +===== Activités de recherche ===== 
 + 
 +  * Travaux de thèse de Kaoutar Rhazali et de Augustin Viot 
 + 
 + 
 +===== 4. Tolérance aux fautes systèmique pour les systèmes autonomes ===== 
 + 
 +Les systèmes autonomes, de par leur complexité et la multitude de mécanismes impératifs et déclaratifs qui les composent, sont confrontés à des comportements émergents, c'est-à-dire des comportements qui n'étaient pas prévus par leurs concepteurs et qui apparaissent suite aux interactions entre différents sous-composants. Nous proposons une approche systémique basée sur un composant indépendant de sécurité afin de limiter les défaillances dues à ces comportements émergents ainsi qu'à d'éventuelles erreurs dans les décisions des mécanismes déclaratifs de systèmes autonomes complexes, voire de systèmes de systèmes. 
 + 
 +Le composant indépendant de sécurité, souvent nommé Safety-Bag, vérifie en cours d'opération du système que les commandes appliquées sont conformes à différentes propriétés de sécurité. Nos travaux proposent l'utilisation de méthodes complémentaires pour définir ces propriétés et valident leur efficacité sur la plateforme VILAD du laboratoire Heudiasyc. 
 + 
 +===== Activités de recherche ===== 
 + 
 +  * Travaux de thèse de Manel Brini
  
- * Thèses de Majd Saïed et de Hussein Hamadi 

Outils pour utilisateurs