Please use this identifier to cite or link to this item:
|Title:||Real-time supervisory control of a processor for non-preemptive execution of periodic tasks|
|Authors:||Chen, P.C.Y. |
Timed discrete-event systems
|Source:||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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 7, 2017
WEB OF SCIENCETM
checked on Nov 23, 2017
checked on Dec 18, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.