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:35] – [Activités de recherche] 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 |