Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique.