This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
January 1994 (vol. 20 no. 1)
pp. 13-28

This paper presents a timing analysis for a quite general hard real-time periodic task set on a uniprocessor using fixed-priority methods. Periodic tasks are composed of serially executed subtasks, where each subtask is characterized by an execution time, a fixed priority and a deadline. A method for determining the schedulability of each task and subtask is presented along with its theoretical underpinnings. This method can be used to analyze the schedulability of any task set on a uniprocessor whose priority structure can be modeled as serially executed subtasks, which can lead to a very complex priority structure. Important examples include task sets that involve interrupts, certain synchronization protocols, certain precedence constraints, nonpreemptible sections, and some message-passing systems. The method is illustrated by a robotics example.

[1] N. C. Audsley, A. Burns, M. F. Richardson, K. Tindell, and A. Wellings, "Applying new scheduling theory to static priority pre-emptive scheduling," Report RTRG/92/120, Department of Computer Science, University of York, Feb. 1992.
[2] M. W. Borger, M. H. Klein, and R. A. Veltre, "Real-time software engineering in Ada: observations and guidelines,"Software Eng. Inst. Tech Rev., pp. 34-70 (1988).
[3] A. Burns, "Scheduling Hard Real-Time Systems: A Review,"Software Eng. J., Vol. 6, No. 3, May 1991, pp. 116-128.
[4] J. B. Goodenough and L. Sha, "The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks," inProc. 2nd ACM Int. Workshop Real-Time Ada Issues, 1988.
[5] M. Gonzalez Härbour, M. H. Klein, J. P. Lehoczley, "Fixed priority scheduling of periodic tasks with varying execution priority,"Proc. IEEE Real. Time Syst. Symp., Los Alamitos, CA: IEEE Press, 1991, pp. 116-128.
[6] M. Joseph and P. Pandya, "Finding response times in a real-time system,"BCS Comput. J., vol. 29, no. 5, pp. 390-395, Oct. 1986.
[7] D. I. Katcher, H. Arakawa, and J. K. Strosnider, "Engineering and analysis of fixed priority schedulers,"IEEE Trans. Software Eng., vol. 19, pp. 920-934, Sept. 1993.
[8] M. Klein et al.,A Practitioner's Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers, Boston, July, 1993.
[9] J. P. Lehoczky, L. Sha, and Y. Ding, "The rate monotonic scheduling algorithm--Exact characterization and average case behavior," inProc. IEEE Real-Time Syst. Symp., 1989.
[10] J.P. Lehoczky, "Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines,"Proc. 11th Real-Time Systems Symp., IEEE CS Press, Los Alamitos, Calif., Order No. 2112, 1990, pp. 201-212.
[11] J. P. Lehoczky, L. Sha, J. K. Strosnider, and H. Tokuda, "Fixed priority scheduling for hard real-time systems," inFoundations of Real-Time Computing: Scheduling and Resource Management, A. van Tilborg and G. M. Koob, Eds. New York: Kluwer, 1991, pp. 1-30.
[12] J. Leung and J. Whitehead, "On complexity of fixed-priority scheduling of periodic real-time tasks,"Performance Evaluation, vol. 2, pp. 237-250 (1982).
[13] C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard real-time environment,"J. ACM, vol. 20, no. 1, pp. 46-61, Jan. 1973.
[14] R. Rajkumar, L. Sha, and J.P. Lehoczky, "Real-Time Synchronization Protocols for Multiprocessors,"Proc. IEEE Real-Time Systems Symp., 1988, pp. 259-269.
[15] R. Rajkumar, "Real-Time Synchronization Protocols for Shared-Memory Multiprocessors,"Proc. Int'l Conf. Distributed Computing Systems, IEEE CS Press, May 1990, pp. 116-123.
[16] L. Sha, R. Rajkumar, J. Lehoczky, and K. Ramamritham, "Mode change protocols for priority-driven preemptive scheduling,"J. Real-Time Syst., vol. 1, pp. 243-264 (1989).
[17] L. Sha and J. B. Goodenough, "Real-time scheduling theory and Ada,"IEEE Comput., vol. 23, pp. 53-62 (Apr. 1990).
[18] L. Sha, R. Rajkumar, and J. P. Lehoczky, "Real-time scheduling support in futurebus+,"IEEE Real-Time Syst. Symp., 1990, pp. 331-340.
[19] L. Sha, R. Rajkumar, and J. P. Lehoczky, "Priority inheritance protocols: An approach to real-time synchronization,"IEEE Trans. Comput., vol. 39, pp. 1175-1185 (Sept. 1990).
[20] L. Sha, M. H. Klein, and J. B. Goodenough, "Rate monotonic analysis for real-time systems," inFoundations of Real-Time Computing: Scheduling and Resource Management, A. van Tilborg and G. M. Koob, Eds., New York: Kluwer, 1991, pp. 129-155.
[21] B. Sprunt, L. Sha, and J. P. Lehoczky, "Aperiodic task scheduling for hard real-time systems,"J. Real-Time Syst., vol. 1, pp. 27-60 (1989).
[22] K. W. Tindell, A. Burns, and A. J. Wellings, "Mode changes in priority pre-emptively scheduled systems,"Proc. IEEE Real-Time Syst. Symp., Los Alamitos, CA: IEEE Press, 1992, pp. 100-109.

Index Terms:
real-time systems; interrupts; message passing; robots; scheduling; timing analysis; fixed-priority scheduling; hard real-time systems; periodic task set; uniprocessor; fixed-priority methods; periodic tasks; serially executed subtasks; execution time; schedulability; complex priority structure; interrupts; synchronization protocols; precedence constraints; nonpreemptible sections; message-passing systems; robotics
Citation:
M.G. Harbour, M.H. Klein, J.P. Lehoczky, "Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems," IEEE Transactions on Software Engineering, vol. 20, no. 1, pp. 13-28, Jan. 1994, doi:10.1109/32.263752
Usage of this product signifies your acceptance of the Terms of Use.