Please use this identifier to cite or link to this item:
https://doi.org/10.1023/A:1020207328508
Title: | Real-time supervisory control of a processor for non-preemptive execution of periodic tasks | Authors: | Chen, P.C.Y. Wonham, W.M. |
Keywords: | Automata Formal languages Non-preemptive scheduling Supervisory control Timed discrete-event systems |
Issue Date: | Nov-2002 | Citation: | Chen, P.C.Y., Wonham, W.M. (2002-11). Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Real-Time Systems 23 (3) : 183-208. ScholarBank@NUS Repository. https://doi.org/10.1023/A:1020207328508 | 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" sequence 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. | Source Title: | Real-Time Systems | URI: | http://scholarbank.nus.edu.sg/handle/10635/67796 | ISSN: | 09226443 | DOI: | 10.1023/A:1020207328508 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.