Skip to Main content Skip to Navigation
Conference papers

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Emil Dumitrescu 1 Alain Girault 2 Hervé Marchand 3 Eric Rutten 4
1 AMPERE - 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 [2007-2015]
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 [2007-2015]
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
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download
https://hal.inria.fr/inria-00510019
Contributor : Hervé Marchand <>
Submitted on : Monday, September 6, 2010 - 2:10:20 PM
Last modification on : Thursday, July 9, 2020 - 9:44:33 AM
Document(s) archivé(s) le : Tuesday, December 7, 2010 - 2:26:13 AM

File

Vignette du document
2010-Wodes-Fault-tolerant.pdf
Publisher files allowed on an open archive

Identifiers

Collections

CNRS | INRIA | EC-LYON | AMPERE | UGA | UNIV-LYON1 | INSA-LYON | INSA-GROUPE | LIG | UDL | INRAE

Citation

Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩. ⟨inria-00510019⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

542

Files downloads

423

 

Contact                    Legal Notice                    Personal Data