Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems

Abstract : Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses optimal discrete controller synthesis (DCS) to generate a correct reconfiguring fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some failure hypothesis), and several optimizations, particularly on the execution time when going through checkpoints. We propose an algorithm for optimal DCS on bounded paths. We propose model patterns for a set of periodic tasks with checkpoints, a set of distributed, heterogeneous and fail-silent processors, and an environment model that expresses the potential fault patterns. We use synchronous models, the Sigali symbolic DCS tool and Mode Automata.
Type de document :
Rapport
[Research Report] RR-6137, INRIA. 2007, pp.35
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00134550
Contributeur : Rapport de Recherche Inria <>
Soumis le : mardi 6 mars 2007 - 14:32:08
Dernière modification le : vendredi 13 janvier 2017 - 14:16:35
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:01:34

Fichiers

RR-6137.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00134550, version 2

Collections

Citation

Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. [Research Report] RR-6137, INRIA. 2007, pp.35. 〈inria-00134550v2〉

Partager

Métriques

Consultations de
la notice

284

Téléchargements du document

155