Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
fr:recherche [2011/01/19 12:30] – blussier | fr: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 20: | Ligne 20: | ||
- | ==== Activités en cours ==== | ||
- | * Stage de master proposé | ||
- | * Demande de financement pour une bourse ministérielle pour la rentrée 2011-2012 | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== Activités de recherche ===== | ||
+ | |||
+ | |||
+ | * Thèses de Kaci Bader et de Hussein Hamadi | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== 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, | ||
+ | |||
+ | De fait, la redondance nécessaire pour tolérer des fautes physiques et logicielles imposent une multiplication de matériel ou d' | ||
+ | |||
+ | Les mécanismes de détection d' | ||
+ | |||
+ | ===== 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, | ||
+ | |||
+ | Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d' | ||
+ | |||
+ | ===== 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' | ||
+ | |||
+ | Le composant indépendant de sécurité, souvent nommé Safety-Bag, vérifie en cours d' | ||
+ | |||
+ | ===== Activités de recherche ===== | ||
+ | |||
+ | * Travaux de thèse de Manel Brini | ||