Pessimism in the stochastic analysis of real-time systems: Concept and applications

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2004, Pages 197-207

  Díaz, José Luis ^a   López, José María ^a   García, Manuel ^a   Campos, Antonio Manuel ^a   Kim, Kanghee ^b   Lo Bello, Lucia ^c  

^a UNIVERSITY OF OVIEDO   (Spain)

^b Seoul National University   (South Korea)

^c UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CUMULATIVE DISTRIBUTION FUNCTION (CDF); DEAD-LINE MONOTONIC (DM); EARLIEST DEADLINE FIRST (EDF); REAL-TIME QUEUEING THEORY;

ALGORITHMS; COMPUTER SCIENCE; FUNCTIONS; PUBLIC POLICY; RANDOM PROCESSES; SCHEDULING;

REAL TIME SYSTEMS;

EID: 21644435863     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REAL.2004.41     Document Type: Conference Paper

References (20)

1. L. Abeni and G. Buttazzo. Stochastic Analysis of a Reservation Based System. In Proc. of the 9th Int. Workshop on Parallel and Distributed Real-Time Systems, Apr. 2001.
2. A. K. Atlas and A. Bestavros. Statistical Rate Monotonic Scheduling. In Proc. of the 19th IEEE Real-Time Systems Symposium, pages 123-132, Dec. 1998.
3. N. C. Audsley. 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. T. P. Baker. Stack-based scheduling of realtime processes. Real-Time Systems, 3(1), Mar. 1991.
5. G. Bernat, A. Colin, and S. Petters. WCET Analysis of Probabilistic Hard Real-Time Systems. In Proc. of the 23rd IEEE Real-Time Systems Symposium, Dec. 2002.
6. G. Buttazzo. Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications, chapter 7. Kluwer, Boston/Dordrecht/London, 1997.
7. J. L. Díaz, D. F. García, K. Kim, C.-G. Lee, L. Lo Bello, J. M. López, S. L. Min, and O. Mirabella. Stochastic Analysis of Periodic Real-Time Systems in a Real-Time System. In Proc. of the 23rd IEEE Real-Time Systems Symposium, pages 289-300, Austin, Texas, Dec. 2002.
8. J. L. Díaz and J. M. López. Safe extensions to the stochastic analysis of real-time systems. Technical report, Departamento de Informática, University of Oviedo, 2004. Also available at http://www.atc.uniovi. es/research/SESARTS04.pdf.
9. J. L. Díaz, J. M. López, and D. F. García. Probabilistic Analysis of the Response Time in a Real-Time System. In Proc. of the 1st CARTS Workshop on Advanced Real-Time Technologies, Aranjuez, Spain, Oct. 2002. Also available as Technical Report at http://www.ate.uniovi.es/ research/PART01.pdf.
10. M. K. Gardner. Probabilistic Analysis and Scheduling of Critical Soft Real-Time Systems. PhD thesis, University of Illinois, Urbana-Champaign, 1999.
11. M. K. Gardner and J. W. Liu. 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.
12. J. P. Lehoczky. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. In Proc. of the 11th IEEE Real-Time Systems Symposium, pages 201-209, Dec. 1990.
13. J. P. Lehoczky. Real-Time Queueing Theory. In Proc. of the 17th IEEE Real-Time Systems Symposium, pages 186-195, Dec. 1996.
14. J. P. Lehoczky. Real-Time Queueing Network Theory. In Proc. of the 18th IEEE Real-Time Systems Symposium, pages 58-67, Dec. 1997.
15. H. Levy. Stochastic dominance and expected utility: survey and analysis. Management Science, 38(4):555-593, 1992.
16. L. Liu and J. Layland. Scheduling Algorithms for Multi-programming in a Hard Real-Time Environment. Journal of ACM, 20(1):46-61, 1973.
17. S. Manolache, P. Eles, and Z. Peng. Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Times. In Proc. of the 13th Euromicro Conference on Real-Time Systems, pages 19-26, Jun. 2001.
18. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Comput., 39(9): 1175-1185, Sept. 1990.
19. T.-S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J.-S. Liu. Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times. In Proc. of the Real-Time Technology and Applications Symposium, pages 164-173, Chicago, Illinois, May 1995.
20. K. Tindell, A. Burns, and A. J. Wellings. An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real-Time Systems, 6:133-151, 1994.