Arrival curves for real-time calculus: The causality problem and its solutions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6015 LNCS, Issue , 2010, Pages 358-372

  Moy, Matthieu ^a   Altisen, Karine ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC TECHNIQUES; CANONICAL REPRESENTATIONS; EVENT STREAMS; FINITE PREFIX; MODEL SYSTEM; REAL-TIME CALCULUS; STATE-BASED MODELS; SYSTEM PROPERTY; TIME INTERVAL; UPPER AND LOWER BOUNDS;

ALGEBRA; ALGORITHMS; CALCULATIONS; COMPUTER SOFTWARE; HYDRAULICS; INTERACTIVE COMPUTER SYSTEMS; INTERFACE STATES;

REAL TIME SYSTEMS;

EID: 77951539787     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_31     Document Type: Conference Paper

References (16)

1. 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)
2. 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)
3. Altisen, K., Moy, M.: Connecting real-time calculus to the synchronous programming language lustre. Technical Report TR-2009-2014, Verimag Research Report (2009)
4. 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)
5. Mokrushin, L.: Compositional analysis of timed systems by abstraction. Power-Point Slides (2007)
6. 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)
7. Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46-61 (1973)
8. DARTS, IT Dept., U.U.: Cats tool (2007), http://www.timestool.com/cats
9. Liu, Y., Altisen, K., Moy, M.: Granularity-based interfacing between RTC and timed automata performance models. Technical Report TR-2009-2010, Verimag, Centre Équation, 38610 Gières (August 2009)
10. 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)
11. 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)
12. Raymond, P.: Lustre v4 Manual. Verimag (February 2000)
13. Le Boudec, J.Y., Thiran, P.: Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001)
14. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation 111, 394-406 (1992) (Pubitemid 23561993)
15. Moy, M., Altisen, K.: Arrival curves for real-time calculus: the causality problem and its solutions. Technical Report TR-2009-2015, Verimag Research Report (2009)
16. Bouillard, A., Thierry, É.: An algorithmic toolbox for network calculus. Discrete Event Dynamic Systems 18(1), 3-49 (2008)