Abstract FR:

L'ambition de ces travaux est de fournir une solution au manque d'adéquation entre les systèmes d'exploitation temps-réel et les capteurs biomédicaux. Pour cela, nous proposons un micro-noyau temps réel et tolérant aux fautes nommé DREAM. Ce noyau destiné à être logé dans la mémoire d'un processeur est conçu pour faciliter le développement des applications de télémédecine : ses tâches permettent de réaliser facilement des systèmes d'acquisition précis ; il possède des mécanismes de communication bien adaptés à la programmation parallèle ; enfin, il intègre une méthode de recouvrement de tâches appelée pseudo réplication passive. Pour simplifier la mise en oeuvre de ces mécanismes, nous proposons aussi une interface graphique qui permet de simuler le modèle de programmation parallèle appelé LINDA et de réaliser automatiquement une application tolérante aux fautes. Enfin, nous proposons le méta-langage KML qui nous a permis de valider DREAM avant de l'implémenter