HAL - INRIA :: [inria-00510019, version 1] Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

inria-00510019, version 1

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Emil Dumitrescu^a^, 1, Alain Girault ()^b^, 2, Hervé Marchand ()^b^, 3, Éric Rutten ()^b^, 4

Workshop on Discrete Event Systems, WODES'10 (2010) 366-373

Résumé : 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

a – Institut National des Sciences Appliquées de Lyon
b – INRIA
1 : Ampère
CNRS : UMR5005 – Université Claude Bernard - Lyon I – Institut National des Sciences Appliquées de Lyon – Ecole Centrale de Lyon
2 : POP ART (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217
3 : VERTECS (INRIA)
INRIA
4 : SARDES (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217

inria-00510019, version 1
http://hal.inria.fr/inria-00510019
oai:hal.inria.fr:inria-00510019
Contributeur : Hervé Marchand <>
Soumis le : Lundi 6 Septembre 2010, 14:10:20
Dernière modification le : Lundi 27 Septembre 2010, 16:29:48

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="inria-00510019"><analytic>
<author><persName><forename>Emil</forename><surname>Dumitrescu</surname></persName>
<affiliation>
<orgName type="team">Ampère</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5005</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Lyon</orgName>
<orgName type="institution">Ecole Centrale de Lyon</orgName>
</affiliation>
</author>
<author><persName><forename>Alain</forename><surname>Girault</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">POP ART</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National Polytechnique de Grenoble (INPG)</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<author><persName><forename>Hervé</forename><surname>Marchand</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA</orgName>
<orgName type="team">VERTECS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Éric</forename><surname>Rutten</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">SARDES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National Polytechnique de Grenoble (INPG)</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<title type="main" level="a">Multicriteria optimal reconfiguration of fault-tolerant real-time tasks</title></analytic><monogr><meeting>Workshop on Discrete Event Systems, WODES'10</meeting><imprint><publisher>IFAC</publisher><pubPlace><settlement>Berlin</settlement><country>Allemagne</country></pubPlace><biblScope type="publicationDate">2010-08-00</biblScope><biblScope type="pp">366-373</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00510019</idno><idno type="HALFile">http://hal.inria.fr/inria-00510019/PDF/2010-Wodes-Fault-tolerant.pdf</idno></biblStruct>
</listBibl>
</listBibl>