Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links


Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, and Yves Sorel
IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems
San Francisco, USA, April 2001

Abstract

We describe a solution to automatically produce distributed and fault-tolerant code for real-time distributed embedded systems. The failures supported are processor failures, with fail-stop behavior. Our solution is grafted on the ``Algorithm Architecture Adequation'' method (AAA), used to obtain automatically distributed code. The heart of AAA is a scheduling heuristic that produces automatically a static distributed schedule of a given algorithm onto a given distributed architecture. We design a new heuristic in order to obtain a static, distributed and fault-tolerant schedule. The new heuristic schedules K supplementary replicas for each computation operation of the algorithm to be distributed and the corresponding communications, where K is the number of processor failures intended to be supported. In the same time, the heuristic statically computes the main replica after each failure, such that the execution time is minimized. The analysis of this heuristic shows that it gives better results for distributed architectures using multi-point, reliable links. This solution corresponds to a software implemented fault-tolerance, by mean of software redundancy of algorithm's operations and timing redundancy of communications.

BibTeX entry

@InProceedings{GLSS01b,
  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},
  booktitle = 	 {IEEE Workshop on Fault-Tolerant Parallel and Distributed
                  Systems},
  year =	 {2001},
  address =	 {San Francisco, USA},
  month =	 {April}
}

[PDF] [Postscript]


Send comments to Alain Girault at Alain.Girault@inrialpes.fr.