TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

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

Volumn 2791, Issue , 2004, Pages 60-72

  Amnell, Tobias ^a   Fersman, Elena ^a   Mokrushin, Leonid ^a   Pettersson, Paul ^a   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; PROGRAM COMPILERS; SCHEDULING; TIME SHARING SYSTEMS;

APPLICATION TASKS; ARRIVAL PATTERNS; CODE GENERATION; DESIGN MODELING; EXECUTABLE CODES; RESOURCE CONSTRAINT; SCHEDULABILITY ANALYSIS; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 34547226561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40903-8_6     Document Type: Article

References (11)

1. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times - a tool for modelling and implementation of embedded systems. In Proc. of TACAS'02, volume 2280 of LNCS, pages 460-464. Springer, 2002.
2. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, and Wang Yi. Code synthesis for timed automata. Nordic Journal of Computing, 9(4):269-300, 2002.
3. F. Balarin, L. Lavagno, P. Murthy, and A. Sangiovanni-vincentelli. Scheduling for embedded real-time systems. IEEE Design & Test of Computers, 15(1):71-82, 1998.
4. G. C. Buttazzo. Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kulwer Academic Publishers, 1997.
5. C. Ericsson, A. Wall, and W. Yi. Timed automata as task models for event-driven systems. In Proceedings of Nordic Workshop on Programming Theory, 1998.
6. E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Schedulability analysis using two clocks. In Proc. of TACAS'03, volume 2619 of LNCS, pages 224-239. Springer, 2003.
7. E. Fersman, P. Pettersson, and W. Yi. Timed automata with asynchronous processes: Schedulability and decidability. In Proc. of TACAS'02, volume 2280 of LNCS, pages 67-82. Springer, 2002.
8. Elena Fersman and Wang Yi. A generic approach to Schedulability analysis of real-time tasks. Submitted for publication., 2003.
9. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
10. R. Rajkumar, L. Sha, and J. P. Lehoczky. An experimental investigation of synchronisation protocols. In Proceedings 6th IEEE Workshop on Real-Time Operating Systems and Software, pages 11-17. IEEE Computer Society Press, 1998.
11. Wang Yi. A Calculus of Real Time Systems. PhD thesis, Department of Computer Science, Chalmers University of Technology, 1991.