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

R�sum�

Nous d�crivons une solution pour produire automatiquement du code r�parti et tol�rant aux pannes pour des syst�mes temps-r�el embarqu�s. Les pannes tol�r�es sont les pannes des processeurs, du type silence sur d�faillance. Notre solution se greffe sur la m�thode � Ad�quation Algorithme Architecture � (AAA), qui permet de produire automatiquement du code r�parti. Le coeur d'AAA est une heuristique d'ordonnancement qui produit automatiquement un ordonnancement statique r�parti d'un algorithme donn� sur une architecture r�partie donn�e. Nous proposons une nouvelle heuristique dans le but d'obtenir un ordonnancement statique, r�parti, et qui soit en plus tol�rant aux pannes. Cette nouvelle heuristique ordonnance K r�plicas suppl�mentaires de chaque op�ration de calcul de l'algorithme � r�partir et des communications correspondantes, o� K est le nombre de pannes de processeurs que l'ont d�sire tol�rer. En m�me temps, l'heuristique calcule statiquement quelle doit �tre la nouvelle r�plica principale suite � une panne, de telle sorte que le temps d'ex�cution global soit minimis�. L'analyse de cette heuristique montre qu'elle fournit de meilleurs r�sultats dans le cas d'architectures r�parties utilisant un lien de communication multi-point et fiable. Enfin notre solution correspond � de la tol�rance logicielle aux pannes, obtenue au moyen de la redondance logicielle des op�rations de l'algorithme et de la redondance temporelle des communications.

Entr�e BibTeX

@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}
}