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

SCOPUSTM   
Citations

20
checked on Dec 7, 2017

WEB OF SCIENCETM
Citations

19
checked on Nov 23, 2017

Page view(s)

29
checked on Dec 18, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.