Tolérance aux pannes adaptable pour les systèmes à composants

de Phuong-Quynh DUONG
sous la direction de Christine Collet et E. Pérez Cortés

Résumé

Cette thèse présente une approche de développement systématique capable de fournir l'adaptation de la tolérance aux fautes, sous forme d'un canevas (framework en anglais) nommé ALENCA et d'un formalisme guidant son adaptation à une application cible. Le niveau de tolérance aux fautes souhaité pour un système est spécifié en utilisant le formalisme proposé. Ce formalisme permet de déduire les mécanismes de tolérance aux fautes adéquats et l'architecture correspondante pour assurer le niveau demandé. ALENCA propose donc des éléments de base des mécanismes de tolérance aux fautes qui peuvent être sélectionnés et intégrés automatiquement dans un système cible afin de garantir le niveau de tolérance souhaité. Les interfaces de ces éléments ainsi que leurs interactions sont présentées. Afin d'évaluer l'applicabilité de l'approche, nous avons mené une expérimentation avec un gestionnaire de données à composants en fournissant deux niveaux de tolérance aux fautesdifférents.