%O Report 
%F Dumitrescu07a
%A Dumitrescu, E.
%A Girault, A.
%A Marchand, H.
%A Rutten, E.
%T Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
%N 6137
%I INRIA
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/RR-6137.pdf
%8 March
%D 2007