Skip to main content
Log in

Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks

  • Published:
Real-Time Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Frederickson, G. N. 1983. Scheduling unit-time tasks with integer release times and deadlines. Information Processing Letters 6(4): 171-173.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1020207328508

Navigation