Tolérance aux fautes dans les systèmes autonomes

Fault tolerance in autonomous systems

• Auteur / Autrice : Benjamin Lussier
• Direction : David Powell
• Type : Thèse de doctorat
• Discipline(s) : Systèmes informatiques
• Date : Soutenance en 2007
• Etablissement(s) : Toulouse, INPT

Mots clés

Mots clés contrôlés

Robotique

Planification

Tolérance aux fautes (ingénierie)

Fiabilité

Mots clés libres

Injection de fautes

Systèmes autonomes

Résumé

Les systèmes autonomes suscitent aujourd'hui un intérêt croissant, que ce soit dans le domaines des robots d'exploration spatiale ou dans des domaines plus proches de l'homme, tels que les robots de service. Mais 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 sans intervention humaine ? L'objectif de cette thèse est de proposer des concepts architecturaux capables d'améliorer la sûreté de fonctionnement des systèmes autonomes, en particulier par la conception et le développement de mécanismes de tolérance aux fautes adaptés à la fonction de planification centrale à l'autonomie des systèmes complexes. Une évaluation des performances et de l'efficacité des mécanismes proposés est réalisée en utilisant la technique d'injection de fautes par mutation.

Autonomous systems generate today a rising interest, whether in fields such as space exploration or applications nearer to man such as medical assistants, tour guides or autonomous vehicles. However, such critical applications raise the question of their dependability : can we justifiably trust systems designed to take decisions without human intervention ? The objective of this thesis is to propose architectural concepts able to improve dependabiblity in autonomous systems. In particular, it presents the design and implementation of fault tolerance mechanisms adapted to planning, an essential functionality in autonomous systems. An evaluation of the performance and the efficacy of the proposed mechanisms is realized by fault injection through source code mutation.