A multi-mode real-time calculus

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2008, Pages 59-69

  Phan, Linh T X ^a   Chakraborty, Samarjit ^a   Thiagarajan, P S ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC TECHNIQUES; ARRIVAL PATTERNS; COMPOSITIONAL FEATURES; DATA STREAM; EVENT STREAMS; FINE GRAINED; MODEL STATE; MULTIMODE; REAL-TIME CALCULUS; SCHEDULING POLICIES; SINGLE MODE; STATE INFORMATION; STATE SPACE EXPLORATION; STATE-BASED MODELS; STATE-SPACE EXPLOSION; STREAMING DATA; SYSTEM PROPERTY; TIME INTERVAL; TIMED AUTOMATA;

ALGEBRA; SPACE RESEARCH; TRANSLATION (LANGUAGES); WIRELESS SENSOR NETWORKS;

REAL TIME SYSTEMS;

EID: 67249119087     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2008.47     Document Type: Conference Paper

References (18)

1. Y. Abdeddaïm, E. Asarin, and O. Maler. Scheduling with timed automata. Theoretical Computer Science, 354(2):272-300, 2006 (Pubitemid 43333211)
2. T. Austin, E. Larson, and D. Ernst. SimpleScalar: An infrastructure for computer system modeling. IEEE Computer, 35(2):59-67, 2002
3. G. C. Buttazzo, G. Lipari, and L. Abeni. Elastic task model for adaptive rate control. In RTSS, 1999
4. S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In DATE, 2003
5. S. Chakraborty, L. T. X. Phan, and P. S. Thiagarajan. Event count automata: A state-based model for stream processing systems. In RTSS, 2005
6. E. Fersman, P. Krcál, P. Pettersson, and W. Yi. Task automata: Schedulability, decidability and undecidability. Information and Computation, 205(8):1149-1172, 2007 (Pubitemid 46977156)
7. E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Schedulability analysis of fixed-priority systems using timed automata. Theoretical Computer Science, 354(2):301-317, 2006 (Pubitemid 43333212)
8. G. Fohler. Changing operational modes in the context of pre runtime scheduling. IEICE Transactions on Information and Systems, E76-D(11):1333-1340, 1993
9. T. A. Henzinger. The theory of hybrid automata. In LICS, 1996
10. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1, 2 and 3 of Monographs in Theoretical Computer Science. Springer-Verlag, 1997
11. L. T. X. Phan, S. Chakraborty, P. S. Thiagarajan, and L. Thiele. Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In RTSS, 2007
12. L.T.X. Phan, S. Chakraborty, and P.S. Thiagarajan. A multi-mode real-time calculus. Technical report, Department of Computer Science, National University of Singapore, October 2008. www.comp.nus.edu.sg/̃phanthix/papers/ multimodeRTC.pdf
13. J. Real and A. Crespo. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems, 26:161-197, 2004
14. L. Sha, R. Rajkumar, J. Lehoczsky, and K. Ramamritham. Mode change protocols for priority-driven preemptive scheduling. Real- Time Systems, 1(3):244-264, 1989
15. Y. Shin, D. Kim, and K. Choi. Schedulability-driven performance analysis of multiple mode embedded real-time systems. In Design Automation Conference (DAC), 2000
16. L. Thiele, S. Chakraborty, M. Gries, and S. Künzli. A framework for evaluating design tradeoffs in packet processing architectures. In 39th Design Automation Conference (DAC), 2002
17. E. Wandeler, A. Maxiaguine, and L. Thiele. Quantitative characterization of event streams in analysis of hard real-time applications. Real-Time Systems, 29(2-3):205-225, 2005 (Pubitemid 41201642)
18. E.Wandeler and L. Thiele. Workload correlations in multi-processor hard real-time systems. Journal of Computer and System Sciences (JCSS), 73(2):207-224, 2007 (Pubitemid 44821194)