Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes

Résumé : Les systèmes embarqués requièrent des méthodes de conception sûres fondées sur des méthodes formelles, ainsi qu'une exécution sûre fondée sur des techniques de tolérance aux fautes. Nous proposons une méthode de conception sûre pour des systèmes à l'exécution sûre: elle utilise la synthèse de contrôleurs discrets (SCD) pour générer un système tolérant aux fautes, reconfigurable et correct. Les propriétés assurées concernent l'exécution consistante, l'assurance de la fonctionnalité (quelles que soient les fautes, sous une certaine hypothèse), et plusieurs optimisations, notamment sur le temps des exécutions passant par des points de reprise. Nous proposons un algorithme de SCD optimale sur des chemins bornés. Nous proposons des motifs de modèles pour des tâches, des processeurs à mémoire répartie et des motifs de fautes potentiels. Nous utilisons des modèles synchrones, l'outil de SCD symbolique Sigali et les Automates de Modes.
Type de document :
Communication dans un congrès
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86, 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00424279
Contributeur : Hervé Marchand <>
Soumis le : mercredi 14 octobre 2009 - 17:28:48
Dernière modification le : mercredi 11 avril 2018 - 01:51:52
Document(s) archivé(s) le : mercredi 16 juin 2010 - 00:46:15

Fichier

2007-MSR-TAF.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00424279, version 1

Citation

Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86, 2007. 〈inria-00424279〉

Partager

Métriques

Consultations de la notice

408

Téléchargements de fichiers

126