Causality closure for a new class of curves in real-time calculus

Karine Altisen 1 Matthieu Moy 2
1 SYNCHRONE
VERIMAG - IMAG - VERIMAG
Abstract : Real-Time Calculus (RTC) is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by arrival curves which express upper and lower bounds on the number of events that may arrive over any specified time interval. System properties may then be computed using algebraic techniques in a compositional way. The property of causality on arrival curves essentially characterizes the absence of deadlock in the corresponding generator. A mathematical operation called causality closure transforms arbitrary curves into causal ones. In this paper, we extend the existing theory on causality to the class Upac of infinite curves represented by a finite set of points plus piecewise affine functions, where existing algorithms did not apply. We show how to apply the causality closure on this class of curves, prove that this causal representative is still in the class and give algorithms to compute it. This provides the tightest pair of curves among the curves which accept the same sets of streams.
Type de document :
Communication dans un congrès
Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. ACM, pp.3--10, 2011, 〈10.1145/2071589.2071590〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00648628
Contributeur : Matthieu Moy <>
Soumis le : mardi 6 décembre 2011 - 13:49:18
Dernière modification le : mercredi 29 novembre 2017 - 15:20:28
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 14:26:23

Fichier

wctt2011-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

IMAG | UGA

Citation

Karine Altisen, Matthieu Moy. Causality closure for a new class of curves in real-time calculus. Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. ACM, pp.3--10, 2011, 〈10.1145/2071589.2071590〉. 〈hal-00648628〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

62