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
Prochaine révisionLes deux révisions suivantes
fr:recherche [2020/05/29 10:35] – [Activités de recherche] blussierfr:recherche [2020/05/29 10:47] – [Activités de recherche] blussier
Ligne 28: Ligne 28:
  
  
-==== Activités de recherche ====+===== Activités de recherche =====
  
  
Ligne 47: Ligne 47:
 ==== 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 
 + 
 + 
 + 
 + 
 +===== 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 
 + 
 + 
 +===== 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 

Outils pour utilisateurs