Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Emil Dumitrescu 1 Alain Girault 2 Hervé Marchand 3 Éric Rutten 4
1 Ampère
2 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
4 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We propose a technique for discrete controller synthesis, with optimal synthesis on bounded paths, in order to model, design, and optimize fault-tolerant distributed systems, taking into account several criteria (e.g., the execution costs of the tasks and their quality of service). Different combinations are explored for multi-criteria optimization
Type de document :
Communication dans un congrès
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00510019
Contributeur : Hervé Marchand <>
Soumis le : lundi 6 septembre 2010 - 14:10:20
Dernière modification le : jeudi 8 novembre 2018 - 14:40:02
Document(s) archivé(s) le : mardi 7 décembre 2010 - 02:26:13

Fichier

2010-Wodes-Fault-tolerant.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00510019, version 1

Collections

INRIA | EC-LYON | LIG | AMPERE | UGA | LIG_SRCPR | UNIV-LYON1 | INSA-LYON

Citation

Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010. 〈inria-00510019〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

467

Téléchargements de fichiers

200

Contact


archive-ouverte@inria.fr