Résultats nouveaux

Génie système prouvable et méthode TRDF
Maintien de la cohérence dans un système distribué temps réel en l'absence de défaillance des processeurs
Conditions de faisabilité temps réel pour un système de tâches distribuées ayant une structure de graphe
Diffusion fiable uniforme temps réel dans un groupe
Analyse des conditions de faisabilité nécessaires et suffisantes de EDF pour un problème d'ordonnancement centralisé de tâches non concrètes périodiques
Contrôle d'admission par expression paramétrique des pires temps de réponse de jeux de tâches non concrètes périodiques ordonnancés par EDF
Défaillances temporelles en modèle de calcul synchrone
Programmation logique avec contraintes pour la résolution de problèmes de calculs critiques temps réel
Analyse de parcours déterministes d'une suite quelconque d'arbres m-aires équilibrés
Modélisation du protocole CSMA-DCR pour le problème HRTDM par la méthode des automates temporisés.