Abstract
In this article, a method for scheduling a processor for non-preemptive execution of periodic tasks is presented. This method is based on the formal framework of supervisory control of timed discrete-event systems. It is shown that, with this method, the problem of determining schedulability and the problem of finding a scheduling algorithm are dual since a solution to the former necessarily implies a solution to the latter and vice versa. Furthermore, the solution to the latter thus obtained is complete in the sense that it contains all “safe” sequences of task execution with the guarantee that no deadline is missed. Examples are described to illustrate this method. Implication of the results and computational complexity associated with this method are discussed.
Similar content being viewed by others
References
Audsley, N. C., Burns, A., Davis, R. I., Tindell, K. W., and Wellings, A. J. 1995. Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems 8(2/3): 173-198.
Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., Wang, Y., and Weise, C. 1998. New Generation of UPPAAL. In Proceedings of International Workshop on Software Tools for Technology Transfer. Aalborg, Denmark, July 12–13.
Brandin, B. A., and Wonham, W. M. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2): 329-342.
Burns, A. 1991. Scheduling hard real-time systems: A review. Software Engineering Journal 116-128.
Chen, P. C. Y., and Wonham, W. M. 1998. A discrete-event control approach to real-time scheduling. In Proceedings of the Fifth International Conference on Control, Automation, Robotics, and Vision. Singapore, December 8–11, 1674-1678.
Chen, P. C. Y., and Wonham, W. M. 1999. Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Proceedings of the 14th World Congress of the International Federation of Automatic Control, Beijing, J-3C-01-03: 13-18.
Chen, P. C. Y., and Wonham, W. M. 2000. Stable supervisory control of flexible manufacturing systems with fixed supply and demand rates. International Journal of Production Research 39(2): 347-368.
Frederickson, G. N. 1983. Scheduling unit-time tasks with integer release times and deadlines. Information Processing Letters 6(4): 171-173.
Garey, M. R., Johnson, D. S., Simons, B. B., and Tarjan, R. E. 1981. Scheduling unit-time tasks with arbitrary release times and deadlines. SIAM Journal of Computing 10(2): 256-259.
Jeffay, K., Stanat, D. F., and Martel, C. U. 1991. On non-preemptive scheduling of periodic and sporadic tasks. In Proceedings of the 1991 IEEE Real-Time Systems Symposium. San Antonio, Texas, December, 129-139.
Lawler, E. L., and Martel, C. U. 1981. Scheduling periodically occurring tasks on multiple processors. Information Processing Letters 12(1): 9-12.
Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1): 46-61.
Mok, A. K. L. 1983. Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment. Ph.D. Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, MIT/LCS/TR-297.
Mok, A. K., Tsou, D., and de Rooij, R. C. M. 1996. The MSP.RTL real-time scheduler synthesis tool. In Proceedings of the 17th IEEE Real-Time Systems Symposium. Washington DC, 118-128.
Ramadge, P. J. G., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of the IEEE 77(1): 81-98.
Stankovic, J. A., and Ramamritham, K. 1988. Tutorial: Hard Real-Time Systems. IEEE Press.
Wonham, W. M., and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization 25(3): 637-659.
Wonham, W. M., and Ramadge, P. J. 1988. Modular supervisory control of discrete event systems. Mathematics of Control, Signal and Systems 1(1): 13-30.
Wonham, W. M. 1999. Notes on Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto. (http://www.control.utoronto.ca/people/profs/wonham/wonham.html.)
Würtz, J. 1996. Oz Scheduler: A workbench for scheduling problems. In Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence, November 16–19.
Yuan, X., Saksena, M. C., and Agrawala, A. K. 1994. A decomposition approach to non-preemptive real-time scheduling. Real-Time Systems 6(1): 7-35.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chen, P.C.Y., Wonham, W.M. Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks. Real-Time Systems 23, 183–208 (2002). https://doi.org/10.1023/A:1020207328508
Issue Date:
DOI: https://doi.org/10.1023/A:1020207328508