Dumitrescu07a

E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. Research Report INRIA, No 6137, March 2007.

Download [help]

Download paper: Adobe portable document (pdf)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses optimal discrete controller synthesis (DCS) to generate a correct reconfiguring fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some failure hypothesis), and several optimizations, particularly on the execution time when going through checkpoints. We propose an algorithm for optimal DCS on bounded paths. We propose model patterns for a set of periodic tasks with checkpoints, a set of distributed, heterogeneous and fail-silent processors, and an environment model that expresses the potential fault patterns. We use synchronous models, the Sigali symbolic DCS tool and Mode Automata

Contact

Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@TechReport{Dumitrescu07a,
   Author = {Dumitrescu, E. and Girault, A. and Marchand, H. and Rutten, E.},
   Title = {Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems},
   Number = {6137},
   Institution = {INRIA},
   Month = {March},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)