UMR CNRS 7253

Site Tools


en:b_lussier

Seminar -- December 8th, 2009


Tolérance aux fautes logicielles pour la planification des systèmes autonomes

by Benjamin LUSSIER, Enseignat chercheur UTC

Abstract :

On appelle systèmes autonomes les systèmes capables de planifier et choisir quelles actions effectuer pour atteindre des objectifs de haut niveau d'abstraction. De tels systèmes suscitent ces dernières années un intérêt croissant dans les domaines de robots d'exploration spatiale et de robots de service (guide de musée, assistance aux personnes âgées…). Mais pour permettre leur utilisation dans des applications et milieux critiques, se pose le problème de leur sûreté de fonctionnement : peut-on avoir une confiance justifiée dans le comportement de systèmes conçus pour prendre des décisions en l'absence d'interventions humaines ? Cette présentation avance une première réponse à cette question en proposant des mécanismes de tolérance aux fautes logicielles pour les systèmes autonomes, en particulier pour les planificateurs qui choisissent et ordonnent les actions à effectuer par le système. Elle propose également un environnement d'évaluation pour la tolérance aux fautes et la robustesse adapté aux systèmes autonomes à travers l'injection de fautes et la simulation.

Slides



User Tools