Analysis of scheduling behaviour using generic timed automata

Electronic Notes in Theoretical Computer Science

Volumn 42, Issue , 2001, Pages 143-157

  Gerdsmeier, Thorsten ^a   Cardell Oliver, Rachel ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA REDUCTION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROGRAM PROCESSORS; REAL TIME SYSTEMS; SCHEDULING;

EARLIEST-DEADLINE-FIRST (EDF) ALGORITHMS; IMMEDIATE CEILING PRIORITY PROTOCOL (ICPP); SCHEDULING ALGORITHMS; SCHEDULING BEHAVIOR;

AUTOMATA THEORY;

EID: 18644366742     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80883-1     Document Type: Conference Paper

References (12)

1. Alur R., Dill D.L. A theory of timed IO automata. Theoretical Computer Science. 126:1994;183-235
2. Braberman V.A., Felder M. Verification of real-time designs: Combining scheduling theory with automatic formal verification. Nierstrasz O., Lemoine M. Software Engineering-ESEC/FSE '99. Lecture Notes in Computer Science 1687:1999;494-510
3. Bradley S., Henderson W., Kendall D. Using timed automata for response time analysis of distributed real-time systems. Frigeri A.H., Halang W.A., Son S.H. 24th IFAC/IFIP Workshop on Real-Time Programming WRTP '99. 1999;143-148
4. Burns A., Dobbing B., Romanski G. The Ravenscar tasking profile for high integrity real-time programs. Reliable Software Technologies-Ada-Europe '98. Lecture Notes in Computer Science 1411:1998;263-275
5. Burns A., Wellings A. "Real-Time Systems and Programming Languages" 1997;Addison-Wesley
6. Corbett J.C. Timing analysis of Ada tasking programs. IEEE Transactions on Software Engineering. 22:1996;1-23
7. Ericsson C., A. Wall and W. Yi, Timed automata as task models for event-driven systems, in: Proceedings of RTSCA 99 (1999).
8. Gerdsmeier T. and R. Cardell-Oliver, Analysis of scheduling behaviour with timed automata - protected objects, Technical Report CSM-339, Department of Computer Science, University of Essex (October 2000).
9. Joseph M. "Real-time Systems Specification, Verification and Analysis," 1996;Prentice Hall
10. Larsen, K. G. and P. Pettersson, Uppaal2k, Newsletter 10, BRICS (1999).
11. Larsen K.G., Pettersson P., Yi W. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer. 1:1997;134-152
12. Liu C.L., Layland J. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM. 20:1973;46-61