Schedulability analysis of fixed-priority systems using timed automata

Theoretical Computer Science

Volumn 354, Issue 2, 2006, Pages 301-317

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

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Modelling and verification; Real time systems; Schedulability analysis; Timed automata; Tool

Indexed keywords

AUTOMATA THEORY; DATA ACQUISITION; MATHEMATICAL MODELS; PROBLEM SOLVING; SCHEDULING;

CLASSIC SCHEDULING THEORY; FIXED-PRIORITY SYSTEMS; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 33644699319     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.11.019     Document Type: Conference Paper

References (26)

1. Y. Abdeddaïm, O. Maler, Job-shop scheduling using timed automata, in: Proc. CAV'01, Lecture Notes in Computer Science, Vol. 2102, Springer, Berlin, 2001, pp. 478-492.
2. Y. Abdeddaïm, and O. Maler Preemptive job-shop scheduling using stopwatch automata Proc. TACAS'02 2002 113 126
3. K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine A framework for scheduler synthesis Proc. IEEE RTSS'99 1999 IEEE Computer Society Press 154 163
4. K. Altisen, G. Gößler, J. Sifakis, A methodology for the construction of scheduled systems, in: Proc. FTRTFT'2000, Lecture Notes in Computer Science, Vol. 1926, Springer, Berlin, 2000, pp. 106-120.
5. K. Altisen, G. Gößler, and J. Sifakis Scheduler modeling based on the controller synthesis paradigm J. Real-Time Systems (special issue on control approaches to real-time computing) 23 2002 55 84
6. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine The algorithmic analysis of hybrid systems Theoret. Comput. Sci. 138 1 1995 3 34
7. R. Alur, and D.L. Dill A theory of timed automata Theoret. Comput. Sci. 126 2 1994 183 235
8. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, W. Yi, Times - a tool for modelling and implementation of embedded systems, in: Proc. Eighth Internat. Conf. on Tools and Algorithms for Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 2280, Springer, Berlin, 2002, pp. 460-464.
9. T. Amnell, E. Fersman, P. Pettersson, H. Sun, W. Yi, Code synthesis for timed automata, Nordic J. Comput. 2002, submitted.
10. G.C. Buttazzo Hard real-time computing systems. Predictable Scheduling Algorithms and Applications 1997 Kluwer Academic Publishers Dordrecht
11. F. Cassez, F. Laroussinie, Model-checking for hybrid systems by quotienting and constraints solving, in: Proc. 12th Internat. Conf. on Computer-Aided Verification, Standford, California, USA, 2000, Vol. 1855, Springer, Berlin, 2000, pp. 373-388.
12. J. Corbett Modeling and analysis of real-time ada tasking programs Proc. Real-Time Systems Symposium 1994 IEEE Computer Society Press 132 141
13. A. Fehnker Scheduling a steel plant with timed automata Proc. RTCSA'99 1999 IEEE Computer Society Press
14. E. Fersman, P. Pettersson, W. Yi, Timed automata with asynchronous processes: Schedulability and decidability, in: Proc. Eighth Internat. Conf. on Tools and Algorithms for Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 2280, Springer, Berlin, 2002, pp. 67-82.
15. E. Fersman, W. Yi, A generic approach to schedulability analysis of real time tasks, Nordic J. Comput. 2004, to appear.
16. T. Hune, K.G. Larsen, and P. Pettersson Guided synthesis of control programs using Uppaal Nordic J. Comput. 8 1 2001 43 64
17. M. Joseph, and P. Pandya Finding response times in a real-time system BSC Comput. J. 29 5 1986 390 395
18. P. Krčál, W. Yi, Decidable and undecidable problems in schedulability analysis using timed automata, in: K. Jensen, A. Podelski (Eds.), Proc. TACAS'04, Barcelona, Spain. Lecture Notes in Computer Science, Vol. 2988, Springer, Berlin, 2004, pp. 236-250.
19. C.M. Krishna, and K.G. Shin Real-time systems 1997 McGraw-Hill New York
20. K.G. Larsen, P. Pettersson, and W. Yi Uppaal in a Nutshell Internat. J. Software Tools for Tech. Transfer 1 1-2 1997 134 152
21. J.W.S. Liu Real-Time Systems 2000 Prentice-Hall Englewood Cliffs
22. Z. Liu, and M. Joseph Verification, refinement and scheduling of real-time programs Theoret. Comput. Sci. 253 1 2001 119 152
23. J. McManis, P. Varaiya, Suspension automata: a decidable class of hybrid automata, in: D.L. Dill (Ed.), Proc. Sixth Internat. Conf. on Computer-Aided Verification, Standford, California, USA, 1994, Vol. 818, Springer, Berlin, 1994, pp. 105-117.
24. J.C. Palencia, and M.G. Harbour Schedulability analysis for tasks with static and dynamic offsets Proc. RTSS'98 1998 IEEE Computer Society Press 26 38
25. O. Redell, and M. Törngren Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter Proc. IEEE Real Time Technology and Applications Symp. 2002
26. K. Tindell. Adding time-offsets to schedulability analysis, (1994).