Abstract
The Real-Time Calculus (RTC) [1] 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 wellknown limitation of RTC is that it cannot model systems with states and recent works [2,3,4,5] studied how to interface RTC curves with statebased 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 [6]: 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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: International Symposium on Circuits and Systems (ISCAS), Geneva, Switzerland, March 2000, vol. 4, pp. 101–104 (2000)
Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: A hybrid method for analyzing embedded real-time systems. In: 8th ACM & IEEE International conference on Embedded software (EMSOFT). ACM, New York (2009)
Altisen, K., Moy, M.: Connecting real-time calculus to the synchronous programming language lustre. Technical Report TR-2009-14, Verimag Research Report (2009)
Phan, L.T.X., Chakraborty, S., Thiagarajan, P.S., Thiele, L.: Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In: Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS), Washington, DC, USA, pp. 343–352. IEEE Computer Society, Los Alamitos (2007)
Mokrushin, L.: Compositional analysis of timed systems by abstraction. PowerPoint Slides (2007)
Raymond, P.: Compilation efficace d’un langage declaratif synchrone: Le generateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble - INPG, Section 13.7, “Causalité”, pp. 119–123 (November 1991)
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)
DARTS, IT Dept., U.U.: Cats tool (2007), http://www.timestool.com/cats
Liu, Y., Altisen, K., Moy, M.: Granularity-based interfacing between RTC and timed automata performance models. Technical Report TR-2009-10, Verimag, Centre Équation, 38610 Gières (August 2009)
Künzli, S., Poletti, F., Benini, L., Thiele, L.: Combining simulation and formal methods for system-level performance analysis. In: DATE 2006: Proceedings of the conference on Design, automation and test in Europe, 3001 Leuven, Belgium, Belgium, European Design and Automation Association, pp. 236–241 (2006)
Jeannet, B.: Dynamic partitioning in linear relation analysis. application to the verification of reactive systems. Formal Methods in System Design 23(1), 5–37 (2003)
Raymond, P.: Lustre v4 Manual. Verimag (February 2000)
Le Boudec, J.Y., Thiran, P.: Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001)
Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation 111, 394–406 (1992)
Moy, M., Altisen, K.: Arrival curves for real-time calculus: the causality problem and its solutions. Technical Report TR-2009-15, Verimag Research Report (2009)
Bouillard, A., Thierry, É.: An algorithmic toolbox for network calculus. Discrete Event Dynamic Systems 18(1), 3–49 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moy, M., Altisen, K. (2010). Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. In: Esparza, J., Majumdar, R. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2010. Lecture Notes in Computer Science, vol 6015. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12002-2_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-12002-2_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12001-5
Online ISBN: 978-3-642-12002-2
eBook Packages: Computer ScienceComputer Science (R0)