Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems

Information Sciences

Volumn 178, Issue 17, 2008, Pages 3393-3401

  Park, Seong Jin ^a   Cho, Kwang Hyun ^b  

^a Ajou University   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Automata; Discrete event systems; Real time scheduling; Sporadic tasks; Supervisory control

Indexed keywords

CONTROL SYSTEMS; CONTROL THEORY; LINGUISTICS; REAL TIME SYSTEMS; SCADA SYSTEMS; SCHEDULING; SCHEDULING ALGORITHMS;

DISCRETE EVENT SYSTEMS (DESS); ELSEVIER (CO); PRE-EMPTIVE SCHEDULING; REAL-TIME SYSTEMS; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY (SCT); SYSTEMATIC METHODS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 46049091746     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2008.04.008     Document Type: Article

References (16)

1. Abdelzaher T.F., Sharma V., and Lu C. A utilization bound for aperiodic tasks and priority driven scheduling. IEEE Trans. Comput. 53 3 (2004) 334-350
2. Altisen K., Goessler G., and Sifakis J. Scheduler modeling based on the controller synthesis paradigm. J. Real-Time Syst. 23 (2002) 55-84
3. S.K. Baruah, A.K. Mok, L.E. Rosier, Preemptively scheduling hard-real-time sporadic tasks in one processor, in: Proceedings of the Real-Time Systems Symposium, 1990, pp. 182-190.
4. Brandin B.A., and Wonham W.M. Supervisory control of timed discrete event systems. IEEE Trans. Automat. Control 39 2 (1994) 329-342
5. G.C. Buttazzo, J.A. Stankovic, RED: robust earliest deadline scheduling, in: Proceedings of International Workshop on Responsive Computing Systems, 1993, pp. 100-111.
6. Chen P.C.Y., and Wonham W.M. Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. J. Real-Time Syst. 23 (2002) 183-208
7. Janarthanan V., Gohari P., and Saffar A. Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems. IEEE Trans. Automat. Control 51 6 (2006) 1053-1058
8. Janarthanan V., and Gohari P. Multiprocessor scheduling in supervisory control of discrete-event systems framework. Control Intell. Syst. 35 4 (2007)
9. Lin F., Ying H., MacArthur R.D., Cohn J.A., Barth-Jones D., and Crane L.R. Decision making in fuzzy discrete event systems. Inform. Sci. 177 (2007) 3749-3763
10. Liu J.W.S. Real-Time Systems (2000), Prentice-Hall, Upper Saddle River, New Jersey
11. Onogi K., and Ushio T. Scheduling of periodic tasks on a dynamically reconfigurable device using timed discrete event systems. IEICE Trans. Fundam. E89-A 11 (2006) 3227-3234
12. Phoha V.V., Nadgar A.U., Ray A., and Phoha S. Supervisory control of software systems. IEEE Trans. Comput. 53 9 (2004) 1187-1199
13. T.S. Tia, Utilizing slack time for aperiodic and sporadic requrest scheduling in real-time systems, Ph.D. Thesis, Technical Report No. UIUCDCS-R-95-1906, Department of Computer Science, University of Illinois at Urbana-Champaign, April 1995.
14. Wang X.-Y., Zhang W., Li Y.-C., and Cai K.-Y. A polynomial dynamic system approach to software design for attractivity requirement. Inform. Sci. 177 (2007) 2712-2725
15. W.M. Wonham, Supervisory control of discrete-event systems, Univ. of Toronto, Toronto, Canada, 2004.
16. Komenda J., van Schuppen J.H., Gaudin B., and Marchand H. Supervisory control of modular systems with global specification languages. Automatica 44 4 (2008) 1127-1134