Abstract: La plupart des applications temps-réel à sûreté critique intègrent des mécanismes pour la tolérance aux fautes. Ces mécanismes s'appuient souvent sur des solutions spécifiques à une application (\emph{e.g.} sémantique des données manipulées), et dépendent de fonctionnalités du support d'exécution (\emph{e.g.} algorithmes d'ordonnancement, protocoles réseau) ou de l'utilisation de matériel spécialisé (\emph{e.g.} mémoire stable, bus répliqué). Afin de dégager le concepteur d'une application de la réalisation des mécanismes de tolérance aux fautes, de diminuer les coûts de développement et d'évolution des applications, et les coûts de leurs plates-formes d'exécution, nous décrivons un environnement d'exécution flexible intégrant des mécanismes de tolérance aux fautes pour l'exécution d'applications distribuées temps-réel dur, \emph{i.e.} des applications avec des contraintes temporelles strictes. Notre approche est basée sur la définition d'un modèle de tâche générique, utilisé à la fois pour construire les tâches applicatives et les tâches nécessaires à l'environnement d'exécution distribué. Ce modèle permet de répliquer automatiquement les tâches applicatives avant exécution pour tolérer les fautes. Un support d'exécution minimal et prévisible complète notre approche. Il permet de simplifier la prise en compte des coûts de fonctionnement de l'environnement d'exécution distribué pour vérifier le respect des échéances des applications.

full paper (gziped postscript, 83 K).