Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes

Abstract

National audienceThis 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 CA