Stochastic analysis of periodic real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2002, Pages 289-300

  Díaz, José Luis ^a   García, Daniel F ^a   Kim, Kanghee ^b   Lee, Chang Gun ^d   Lo Bello, Lucia ^c   López, José María ^a   Min, Sang Lyul ^b   Mirabella, Orazio ^c  

^a UNIVERSITY OF OVIEDO   (Spain)

^b Seoul National University   (South Korea)

^c UNIVERSITY OF CATANIA   (Italy)

^d Ohio State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; RESPONSE TIME (COMPUTER SYSTEMS); SYSTEMS ANALYSIS;

PERIODIC REAL TIME SYSTEMS; STOCHASTIC ANALYSIS;

REAL TIME SYSTEMS;

EID: 0036992122     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. L. Abeni and G. Buttazzo. Stochastic Analysis of a Reservation Based System. In Proc. of the 9th International 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. 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.
4. A. Burns. Preemptive Priority Based Scheduling: An Appropriate Engineering Approach. In S. H. Son, editor, Advances in Real-Time Systems. Prentice Hall, 1994.
5. 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.atc.uniovi.es/research/PART01.pdf.
6. M. K. Gardner. Probabilistic Analysis and Scheduling of Critical Soft Real-Time Systems. PhD thesis, University of Illinois, Urbana-Champaign, 1999.
7. 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.
8. K. Kim, L. L. Bello, C.-G. Lee, S. L. Min, and O. Mirabella. An Accurate Stochastic Analysis of General Priority-Driven Real-Time Systems. Technical report, School of Computer Science and Engineering, Seoul National University, 2002. Also available at http://archi.snu.ac.kr/khkim/sapds02.ps.
9. K. Kim, L. Lo Bello, S. L. Min, and O. Mirabella, 2002, On relaxing task isolation in overrun handling to provide probabilistic guarantees to soft real-time tasks with varying execution times, Proceedings - Euromicro Conference on Real-Time Systems, 193-202
10. L. Kleinrock. Queueing Systems. John Wiley & Sons, 1975.
11. 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.
12. J. P. Lehoczky. Real-Time Queueing Theory. In Proc. of the 17th IEEE Real-Time Systems Symposium, pages 186-195, Dec. 1996.
13. J. P. Lehoczky. Real-Time Queueing Network Theory. In Proc. of the 18th IEEE Real-Time Systems Symposium, pages 58-67, Dec. 1997.
14. J. P. Lehoczky, L. Sha, and Y. Ding. The Rate-Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. In Proc. of the 10th IEEE Real-Time Systems Symposium, Dec. 1989.
15. J. Leung and J. Whitehead. On the Complexity of Fixed Priority Scheduling of Periodic Real-Time Tasks. Performance Evaluation, 2(4):237-250, 1982.
16. L. Liu and J. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of ACM, 20(1):46-61, 1973.
17. A. K. Mok and D. Chen. A Multiframe Model for Real-Time Tasks. IEEE Transactions on Software Engineering, 23(10):635-645, Oct. 1997.
18. 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.
19. 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.