HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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
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
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
https://hal.inria.fr/inria-00510019
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Monday, September 6, 2010 - 2:10:20 PM
Last modification on : Friday, February 4, 2022 - 3:23:28 AM
Long-term archiving on: : 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 | UNIV-LYON1 | INSA-LYON | INSA-GROUPE | LIG | UDL | INRAE | UGA | LIG_SIDCH | INRIA2

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 Datacite

Share

Metrics

Record views

228

Files downloads

169

 

Contact                    Legal Notice                    Personal Data