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édenteDernière révisionLes deux révisions suivantes | ||
fr:recherche [2011/01/19 12:30] – blussier | fr:recherche [2020/05/29 10:47] – [Tolérance aux fautes pour la perception multi-capteurs] 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 19: | Ligne 19: | ||
Une solution à ces problèmes de validation, est l’utilisation d’un moyen de sûreté de fonctionnement complémentaire à l’élimination des fautes : la tolérance aux fautes. Ainsi, plutôt que de garantir par des tests et une validation exhaustive que le système de perception ne comporte aucune faute, on implémente des mécanismes pour assurer que l’activation de fautes dans le système n’entrave pas sa sécurité. | Une solution à ces problèmes de validation, est l’utilisation d’un moyen de sûreté de fonctionnement complémentaire à l’élimination des fautes : la tolérance aux fautes. Ainsi, plutôt que de garantir par des tests et une validation exhaustive que le système de perception ne comporte aucune faute, on implémente des mécanismes pour assurer que l’activation de fautes dans le système n’entrave pas sa sécurité. | ||
- | ==== Activités ==== | ||
- | * 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 | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== 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 | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== 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 | ||
+ | |||
+ | |||
+ | ===== 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 | ||