Validation temporelle d'applications temps réel distribuées à contraintes strictes

Ce papier décrit une technique de validation temporelle d'applications temps réel distribuées à contraintes strictes, par le biais de langages rationnels. Dans cette étude, nous tenons compte des impératifs matériels qu'impose la machine cible. En effet, certaines caractéristiques temporelles des tâches sont dépendantes du materiel, ce qui influe sur le langage modèle. Nous faisons l'hypothèse qu'il n'y a pas de migration des tâches sur les différents sites du système et nous n'étudions pas le problème du placement. Nous appliquons enfin cette méthode à un protocole temps réel : CAN. This paper deals with temporal validation of distributed hard real time systems. We consider here the target machine physical properties. Indeed, several temporal characteristics of some tasks depend on hardware properties, and then influence the model. We suppose that there is no task migration, and we did not study the tasks allocation problem. We valid this method to the protocol CAN.