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édenteProchaine révisionLes deux révisions suivantes | ||
fr:recherche [2011/03/16 09:56] – blussier | fr:recherche [2020/05/29 10:46] – [Tolérance aux fautes systèmique pour les systèmes autonomes] blussier | ||
---|---|---|---|
Ligne 18: | Ligne 18: | ||
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é. | ||
+ | |||
Ligne 29: | Ligne 30: | ||
==== Activités de recherche ==== | ==== Activités de recherche ==== | ||
- | En préparation : | + | |
- | * Stage de master | + | * Thèses |
- | * Sujet de thèse {{fr: | + | |
Ligne 47: | Ligne 47: | ||
==== Activités de recherche ==== | ==== Activités de recherche ==== | ||
- | En préparation | + | * 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 |