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
fr:recherche [2020/05/29 10:47] – [Tolérance aux fautes pour la perception multi-capteurs] blussierfr:recherche [2020/05/29 10:48] (Version actuelle) blussier
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   * Thèses de Majd Saïed et de Hussein Hamadi
Ligne 52: Ligne 52:
  
  
-===== Tolérance aux fautes pour les mécanismes déclaratifs =====+===== 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 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.
Ligne 58: Ligne 58:
 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. 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 ====+===== Activités de recherche =====
  
   * Travaux de thèse de Kaoutar Rhazali et de Augustin Viot   * Travaux de thèse de Kaoutar Rhazali et de Augustin Viot
  
  
-===== Tolérance aux fautes systèmique pour les systèmes autonomes =====+===== 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. 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.
Ligne 69: Ligne 69:
 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. 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 ====+===== Activités de recherche =====
  
   * Travaux de thèse de Manel Brini   * Travaux de thèse de Manel Brini
  

Outils pour utilisateurs