Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions

Abstract : The Real-Time Calculus (RTC) is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of curves, called arrival curves, that 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. A well-known limitation of RTC is that it cannot model systems with states and recent works studied how to interface RTC curves with state-based models. Doing so, while trying, for example to generate a stream of events that satisfies some given pair of curves, we faced a causality problem: it can be the case that, once having generated a finite prefix of an event stream, the generator deadlocks, since no extension of the prefix can satisfy the curves anymore. When trying to express the property of the curves with state-based models, one may face the same problem. This paper formally defines the problem on arrival curves, and gives algebraic ways to characterize causal pairs of curves, i.e. curves for which the problem cannot occur. Then, we provide algorithms to compute a causal pair of curves equivalent to a given curve, in several models. These algorithms provide a canonical representation for a pair of curves, which is the best pair of curves among the curves equivalent to the ones they take as input.
Type de document :
Communication dans un congrès
Javier Esparza and Rupak Majumdar. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. Springer, pp.358, 2010, LNCS
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00442257
Contributeur : Matthieu Moy <>
Soumis le : vendredi 18 décembre 2009 - 18:11:54
Dernière modification le : mercredi 29 novembre 2017 - 15:21:14
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 11:15:25

Fichier

conf-paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00442257, version 1

Collections

Citation

Matthieu Moy, Karine Altisen. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Javier Esparza and Rupak Majumdar. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. Springer, pp.358, 2010, LNCS. 〈hal-00442257〉

Partager

Métriques

Consultations de la notice

371

Téléchargements de fichiers

78