Stochastic analysis of real-time systems under preemptive priority-driven scheduling

Real-Time Systems

Volumn 40, Issue 2, 2008, Pages 180-207

  López, José María ^a   Díaz, José Luis ^a   Entrialgo, Joaquín ^a   García, Daniel ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

Author keywords

Schedulability analysis; Stochastic analysis; Uniprocessor systems

Indexed keywords

CHLORINE COMPOUNDS; JITTER; KETONES; MODAL ANALYSIS; PROBABILITY DISTRIBUTIONS; RISK ASSESSMENT; SCHEDULING; SET THEORY; STOCHASTIC PROGRAMMING;

EXACT ANALYSIS; EXACT CALCULATIONS; FINITE-PRECISION ARITHMETICS; MATHEMATICAL FRAMEWORKS; MATHEMATICAL PROPERTIES; NON-PREEMPTIVE; PRACTICAL PROBLEMS; PREEMPTIVE PRIORITY; PROBABILITY FUNCTIONS; RESPONSE TIME; SCHEDULABILITY ANALYSIS; SHARED RESOURCES; STOCHASTIC ANALYSIS; TASK MODELING; UNIPROCESSOR SYSTEMS;

REAL TIME SYSTEMS;

EID: 51849155989     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-008-9053-6     Document Type: Article

References (20)

1. Abeni L, Buttazzo G (2001) Stochastic analysis of a reservation based system. In: Proc of the 9th int workshop on parallel and distributed real-time systems, Apr 2001
2. Atlas AK, Bestavros A (1998) Statistical rate monotonic scheduling. In: Proc of the 19th IEEE real-time systems symposium, pp 123-132, Dec 1998
3. Audsley NC (1991) Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report YCS 164, Dept Computer Science, University of York, Dec 1991
4. Baker TP (1991) Stack-based scheduling of realtime processes. Real-Time Syst 3(1)
5. Bernat G, Colin A, Petters S (2002) WCET analysis of probabilistic hard real-time systems. In: Proc of the 23rd IEEE real-time systems symposium, Dec 2002
6. Díaz JL, López JM (2007) Some notes on stochastic analysis using EDF scheduling. Technical report, Departamento de Informática, University of Oviedo. Also available at http://www.atc.uniovi.es/research/ SNSAUES07.pdf
7. Díaz JL, García DF, Kim K, Lee C-G, Lo Bello L, López JM, Min SL, Mirabella O (2002) Stochastic analysis of periodic real-time systems in a real-time system. In: Proc of the 23rd IEEE real-time systems symposium, pp 289-300, Austin, Texas, Dec 2002
8. Díaz JL, López JM, García M, Campos AM, Kim K, Lo Bello L (2004) Pessimism in the stochastic analysis of real-time systems: concept and applications. In: Proc of the 25rd IEEE real-time systems symposium, Lisboa, Portugal, Dec 2004
9. Gardner MK (1999) Probabilistic analysis and scheduling of critical soft real-time systems. PhD thesis, University of Illinois, Urbana-Champaign
10. Gardner MK, Liu JWS (1999) Analyzing stochastic fixed-priority real-time systems. In: Proc of the 5th international conference on tools and algorithms for the construction and analysis of systems, Mar 1999
11. Kim K, Díaz JL, Lo Bello L, López JM, Lee CG, Min SL (2005) An exact stochastic analysis of priority-driven periodic real-time systems and its approximations. IEEE Trans Comput 54(11)
12. Lehoczky JP (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proc of the 11th IEEE real-time systems symposium, pp 201-209, Dec 1990
13. Lehoczky JP (1996) Real-time queueing theory. In: Proc of the 17th IEEE real-time systems symposium, pp 186-195, Dec 1996
14. Lehoczky JP (1997) Real-time queueing network theory. In: Proc of the 18th IEEE real-time systems symposium, pp 58-67, Dec 1997
15. Levy H (1992) Stochastic dominance and expected utility: survey and analysis. Manag Sci 38(4):555-593. ISSN 0025-1909
16. Liu L, Layland J (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20(1):46-61
17. Manolache S, Eles P, Peng Z (2007) Real-time applications with stochastic task execution times analysis and optimisation. Springer, PO Box 17, 3300 AA Dordrecht, The Netherlands. ISBN 978-1-4020-5509-6 (e-book)
18. Sha L, Rajkumar R, Lehoczky JP (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175-1185
19. Tia T-S, Deng Z, Shankar M, Storch M, Sun J, Wu L-C, Liu JW-S (1995) Probabilistic performance guarantee for real-time tasks with varying computation times. In: Proc of the real-time technology and applications symposium, pp 164-173, Chicago, Illinois, May 1995
20. Tindell K, Burns A, Wellings AJ (1994) An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Syst 6:133-151