general.bib
@INPROCEEDINGS{ayav06,
AUTHOR = {T. Ayav and P. Fradet and A. Girault},
TITLE = {Implementing Fault-Tolerance in Real-Time Systems by
Automatic Program Transformations},
BOOKTITLE = {International Conference on Embedded Software,
EMSOFT'06},
KEY = {my-ft},
PAGES = {205--214},
YEAR = 2006,
EDITOR = {S.L. Min and W. Yi},
ADDRESS = {Seoul, South Korea},
MONTH = OCT,
PUBLISHER = {ACM, New-York},
NOTE = {Research report {INRIA} 5919},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft06/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft06/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes},
ANNOTE = {We present a formal approach to implement
fault-tolerance in real-time embedded systems. The
fault-intolerant initial system consists of a set of
independent periodic tasks scheduled onto a set of
fail-silent processors. We transform the tasks such
that, assuming the availability of an additional
spare processor, the system tolerates one failure at
a time (transient or permanent). Failure detection
is implemented using heartbeating, and failure
masking using checkpointing and roll-back. These
techniques are described and implemented by
automatic program transformations on the tasks'
source programs. The proposed formal approach to
fault-tolerance by program transformation highlights
the benefits of separation of concerns and allows us
to show whether the implementation satisfies
real-time constraints.}
}
@ARTICLE{ayav08,
AUTHOR = {T. Ayav and P. Fradet and A. Girault},
TITLE = {Implementing Fault-Tolerance by Automatic Program
Transformations},
JOURNAL = {ACM Trans.\ Embedd.\ Comput.\ Syst.},
YEAR = 2008,
KEY = {my-ft},
VOLUME = 7,
NUMBER = 4,
MONTH = JUL,
PUBLISHER = {ACM, New-York},
NOTE = {Research report {INRIA} 5919},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tecs08/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tecs08/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes},
ANNOTE = {Check HTM (Hardware Transaction Memory), a
transactional hardware support for memory, which
offers instructions to perform checkpointing and
rollback.}
}
@INPROCEEDINGS{benoit10,
AUTHOR = {A. Benoit and F. Dufoss{\'e} and A. Girault and
Y. Robert},
TITLE = {Reliability and Performance Optimization of
Pipelined Real-Time Systems},
KEY = {my-ft},
BOOKTITLE = {International Conference on Parallel Processing,
ICPP'10},
PAGES = {150--159},
YEAR = 2010,
ADDRESS = {San Diego (CA), USA},
MONTH = SEP,
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{benoit13,
AUTHOR = {A. Benoit and F. Dufoss{\'e} and A. Girault and
Y. Robert},
TITLE = {Reliability and Performance Optimization of
Pipelined Real-Time Systems},
KEY = {my-ft},
JOURNAL = {J.\ of Parallel and Distributed Computing},
YEAR = 2013,
VOLUME = 73,
PAGES = {851--865},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{burlyaev14,
AUTHOR = {D. Burlyaev and P. Fradet and A. Girault},
TITLE = {Verification-Guided Voter Minimization in
Triple-Modular Redundant Circuits},
KEY = {my-ft},
BOOKTITLE = {Design Automation and Test in Europe, DATE'14},
YEAR = 2014,
MONTH = MAR,
ADDRESS = {Dresden, Germany},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{girault09,
AUTHOR = {A. Girault and H. Kalla},
TITLE = {A Novel Bicriteria Scheduling Heuristics Providing
a Guaranteed Global System Failure Rate},
JOURNAL = {IEEE Trans.\ Dependable Secure Comput.},
YEAR = 2009,
KEY = {my-ft},
VOLUME = 6,
NUMBER = 4,
PAGES = {241--254},
MONTH = DEC,
ANNOTE = {Research report {INRIA} 6319},
OPTURL = {http://hal.inria.fr/inria-00177117},
URL = {http://www.computer.org/portal/web/csdl/doi/10.1109/TDSC.2008.50},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{girault09b,
AUTHOR = {A. Girault and E. Saule and D. Trystram},
TITLE = {Reliability Versus Performance for Critical Applications},
JOURNAL = {J.\ of Parallel and Distributed Computing},
YEAR = 2009,
KEY = {my-ft},
VOLUME = 69,
NUMBER = 3,
PAGES = {326--336},
MONTH = MAR,
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@TECHREPORT{tolere1-rr,
AUTHOR = {A. Girault and C. Lavarenne and M. Sighireanu and
Y. Sorel},
TITLE = {Fault-Tolerant Static Scheduling for Real-Time
Distributed Embedded Systems},
KEY = {my-ft},
INSTITUTION = {Inria},
YEAR = 2000,
TYPE = {{\Researchreport}},
NUMBER = 4006,
MONTH = SEP,
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Tolere00},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tolere00/sighireanu-report.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tolere00/sighireanu-report.ps}
}
@INPROCEEDINGS{tolere10-ftrtft,
AUTHOR = {C. Dima and A. Girault and Y. Sorel},
TITLE = {Static fault-tolerant scheduling with
``pseudo-topological'' orders},
KEY = {my-ft},
BOOKTITLE = {Joint Conference on Formal Modelling and Analysis of
Timed Systems and Formal Techniques in Real-Time and
Fault Tolerant System, FORMATS-FTRTFT'04},
YEAR = 2004,
VOLUME = 3253,
SERIES = {LNCS},
ADDRESS = {Grenoble, France},
MONTH = SEP,
PUBLISHER = {Springer-Verlag},
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Ftrtft04},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftrtft04/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftrtft04/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere11-dipes,
AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
TITLE = {Transient Processor/Bus Fault Tolerance for Embedded
Systems},
KEY = {my-ft},
BOOKTITLE = {IFIP Working Conference on Distributed and Parallel
Embedded Systems, DIPES'06},
YEAR = 2006,
PAGES = {135--144},
ADDRESS = {Braga, Portugal},
MONTH = OCT,
PUBLISHER = {Springer-Verlag},
URL = {http://www.springerlink.com/content/h0583020428727r5},
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Dipes06},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes06/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes06/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere2-euromicro,
AUTHOR = {C. Dima and A. Girault and C. Lavarenne and
Y. Sorel},
TITLE = {Off-Line Real-Time Fault-Tolerant Scheduling},
KEY = {my-ft},
BOOKTITLE = {9th Euromicro Workshop on Parallel and Distributed
Processing, PDP'01},
YEAR = 2001,
ADDRESS = {Mantova, Italy},
MONTH = FEB,
PAGES = {410--417},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/EuromicroPDP01-2},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/EuromicroPDP01-2/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/EuromicroPDP01-2/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere3-icdcs,
AUTHOR = {A. Girault and C. Lavarenne and M. Sighireanu and
Y. Sorel},
TITLE = {Fault-Tolerant Static Scheduling for Real-Time
Distributed Embedded Systems},
KEY = {my-ft},
BOOKTITLE = {21st International Conference on Distributed
Computing Systems, ICDCS'01},
YEAR = 2001,
PUBLISHER = {IEEE, Los Alamitos},
ADDRESS = {Phoenix (AZ), USA},
MONTH = APR,
PAGES = {695-698},
NOTE = {Extended abstract},
ANNOTE = {This is an extended abstract. The presented
heuristic is only intended for architecture with a
bus (that is, a single multi-point link).},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Icdcs01},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Icdcs01/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Icdcs01/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere4-ftpds,
AUTHOR = {A. Girault and C. Lavarenne and M. Sighireanu and
Y. Sorel},
TITLE = {Generation of Fault-Tolerant Static Scheduling for
Real-Time Distributed Embedded Systems with
Multi-Point Links},
KEY = {my-ft},
BOOKTITLE = {IEEE Workshop on Fault-Tolerant Parallel and
Distributed Systems, FTPDS'01},
YEAR = 2001,
PUBLISHER = {IEEE, Los Alamitos},
ADDRESS = {San Francisco (CA), USA},
MONTH = APR,
ANNOTE = {This is the full version of~\cite{tolere3-icdcs}.},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Ftpds01},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftpds01/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftpds01/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere5-dsn,
AUTHOR = {A. Girault and H. Kalla and M. Sighireanu and
Y. Sorel},
TITLE = {An Algorithm for Automatically Obtaining Distributed
and Fault-Tolerant Static Schedules},
KEY = {my-ft},
BOOKTITLE = {International Conference on Dependable Systems and
Networks, DSN'03},
YEAR = 2003,
ADDRESS = {San-Francisco (CA), USA},
MONTH = JUN,
PUBLISHER = {IEEE, Los Alamitos},
ANNOTE = {A different version of our scheduling algorithm
since it deals with architectures with
point-to-point communication links, plus it includes
extensive simulation results.},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Dsn03},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn03/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn03/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere6-msr,
AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
TITLE = {Une heuristique d'ordonnancement et de distribution
tolérante aux pannes pour systèmes temps-réel
embarqués},
KEY = {my-ft},
BOOKTITLE = {Mod\'{e}lisation des Syst\`{e}mes R\'{e}actifs,
MSR'03},
PAGES = {145--160},
YEAR = 2003,
ADDRESS = {Metz, France},
MONTH = OCT,
PUBLISHER = {Hermes},
ANNOTE = {French version of~\cite{tolere5-dsn}.},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Msr03},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr03/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr03/main.ps}
}
@ARTICLE{tolere7-ijpr,
AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
TITLE = {A Scheduling Heuristics for Distributed Real-Time
Embedded Systems Tolerant to Processor and
Communication Media Failures},
KEY = {my-ft},
JOURNAL = {Int.\ J.\ of Production Research},
YEAR = 2004,
VOLUME = 42,
NUMBER = 14,
PAGES = {2877--2898},
MONTH = JUL,
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Ijpr04},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ijpr04/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ijpr04/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere8-dsn,
AUTHOR = {I. Assayad and A. Girault and H. Kalla},
TITLE = {A Bi-Criteria Scheduling Heuristics for Distributed
Embedded Systems Under Reliability and Real-Time
Constraints},
KEY = {my-ft},
BOOKTITLE = {International Conference on Dependable Systems and
Networks, DSN'04},
YEAR = 2004,
PAGES = {347--356},
ADDRESS = {Firenze, Italy},
MONTH = JUN,
PUBLISHER = {IEEE, Los Alamitos},
URL = {http://pop-art.inrialpes.fr/~girault/Publications/Dsn04},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn04/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn04/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere9-dipes,
AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
TITLE = {An Active Replication Scheme that Tolerates Failures
in Distributed Embedded Real-Time Systems},
KEY = {my-ft},
BOOKTITLE = {IFIP Working Conference on Distributed and Parallel
Embedded Systems, DIPES'04},
YEAR = 2004,
ADDRESS = {Toulouse, France},
MONTH = AUG,
PUBLISHER = {Kluwer Academic Pub., Hingham, MA},
OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Dipes04},
PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes04/main.pdf},
PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes04/main.ps},
X-EDITORIAL-BOARD = {yes},
X-INTERNATIONAL-AUDIENCE = {yes}
}
This file has been generated by
bibtex2html 1.69