Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on des Supervisory Control

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 47, Issue 7, 2017, Pages 1082-1098

  Wang, Xi ^a   Li, Zhiwu ^a,b   Wonham, Walter Murray ^c  

^a XIDIAN UNIVERSITY   (China)

^b MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

Conditional preemption; discrete event system (DES); limited preemption; real time system (RTS); scheduling; supervisory control

Indexed keywords

DISCRETE EVENT SIMULATION; REAL TIME SYSTEMS; SCHEDULING; SPECIFICATIONS; SUPERVISORY PERSONNEL;

CONDITIONAL-PREEMPTION; LIMITED PREEMPTION; REAL - TIME SCHEDULING; REAL TIME EXECUTION; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY; SYNCHRONOUS PRODUCTS; WORST CASE RESPONSE TIME;

DISCRETE TIME CONTROL SYSTEMS;

EID: 85021666681     PISSN: 21682216     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2016.2531681     Document Type: Article

References (36)

1. L. Sha et al., "Real time scheduling theory: A historical perspective," Real Time Syst., vol. 28, nos. 2-3, pp. 101-155, 2004.
2. R. I. Davis, "A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems," ACM SIGBED Rev., vol. 11, no. 1, pp. 8-19, 2014.
3. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," J. ACM, vol. 20, no. 1, pp. 46-61, Jan. 1973.
4. M. S. Fineberg and O. Serlin, "Multiprogramming for hybrid computation," in Proc. AFIPS Fall Joint Comput. Conf., Anaheim, CA, USA, 1967, pp. 1-13.
5. J. Y.-T. Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic, real-time tasks," Perform. Eval., vol. 2, no. 4, pp. 237-250, 1982.
6. A. K. Mok, "Fundamental design problems of distributed systems for the hard-real-time environment," Ph.D. dissertation, Dept. Elect. Eng. Comput. Sci., Massachusetts Inst. Technol., Cambridge, MA, USA, 1983.
7. M. L. Dertouzos, "Control robotics: The procedural control of physical processes," in Proc. IFIP Cong., Stockholm, Sweden, pp. 807-813, 1974.
8. S. K. Baruah, R. R. Howell, and L. E. Rosier, "Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor," Real Time Syst., vol. 2, no. 4, pp. 301-324, 1990.
9. R. R. Howell and M. K. Venkatrao, "On non-preemptive scheduling of recurring tasks using inserted idle times," Inf. Comput., vol. 117, no. 1, pp. 50-62, 1995.
10. J. J. Li, L. C. Shu, J.-J. Chen, and G. H. Li, "Energy-efficient scheduling in nonpreemptive systems with real-time constraints," IEEE Trans. Syst., Man, Cybern., Syst., vol. 43, no. 2, pp. 332-344, Mar. 2013.
11. Y. N. Xia, M. C. Zhou, X. Luo, S. C. Pang, and Q. S. Zhu, "A stochastic approach to analysis of energy-aware DVS-enabled cloud datacenters," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 1, pp. 73-83, Jan. 2015.
12. D. Li, M. Li, X. Meng, and Y. Tian, "A hyperheuristic approach for intercell scheduling with single processing machines and batch processing machines," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 2, pp. 315-325, Feb. 2015.
13. P. C. Y. Chen and W. M. Wonham, "Real-time supervisory control of a processor for non-preemptive execution of periodic tasks," Real Time Syst., vol. 23, no. 3, pp. 183-208, 2002.
14. W. M. Wonham, "Supervisory control of discrete-event systems," Dept. Elect. Comput. Eng., Univ. Toronto, Toronto, ON, Canada, Tech. Rep. ECE 1636F/1637S 2014-15, 2015. [Online]. Available: http://www.control.utoronto.ca/DES.
15. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
16. A. Dhananjayan and K. T. Seow, "A metric temporal logic specification interface for real-time discrete-event control," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 9, pp. 1204-1215, Sep. 2014.
17. X. Wang, Z. W. Li, and W. M. Wonham, "Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control," IEEE Trans. Ind. Inform., vol. 12, no. 1, pp. 101-111, Feb. 2016.
18. J. Ye, Z. W. Li, and A. Giua, "Decentralized supervision of Petri nets with a coordinator," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 6, pp. 955-966, Jun. 2015.
19. D. You, S. G. Wang, and M. C. Zhou, "Synthesis of monitor-based liveness-enforcing supervisors for S3PR with §-resources," IEEE Trans. Syst., Man, Cybern., Syst., vol. 45, no. 6, pp. 967-975, Jun. 2015.
20. G. C. Buttazzo, M. Bertogna, and G. Yao, "Limited preemptive scheduling for real-time systems. A survey," IEEE Trans. Ind. Inform., vol. 9, no. 1, pp. 3-15, Feb. 2013.
21. Y. Wang and M. Saksena, "Scheduling fixed-priority tasks with preemption threshold," in Proc. Real Time Comput. Syst. Appl., Hong Kong, 1999, pp. 328-335.
22. X. Wang et al., "Dynamic low-power reconfiguration of real-time systems with periodic and probabilistic tasks," IEEE Trans. Autom. Sci. Eng., vol. 12, no. 1, pp. 258-271, Jan. 2015.
23. S. Baruah, "The limited-preemption uniprocessor scheduling of sporadic task systems," in Proc. 17th Euromicro Conf. Real Time Syst., 2005, pp. 137-144.
24. J. Y. T. Leung and M. L. Merrill, "A note on preemptive scheduling of periodic real-time tasks," Inf. Process. Lett., vol. 11, no. 3, pp. 115-118, 1980.
25. F. Singhoff, J. Legrand, L. Nana, and L. Marcé, "Cheddar: A flexible real time scheduling framework," in Proc. Int. ACM SIGAda Conf., Atlanta, GA, USA, 2004, pp. 1-8.
26. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
27. L. Carnevali, L. Ridi, and E. Vicario, "Putting preemptive time Petri nets to work in a V-model SW life cycle," IEEE Trans. Softw. Eng., vol. 37, no. 6, pp. 826-844, Nov. 2011.
28. I. Bicchierai, G. Bucci, L. Carnevali, and E. Vicario, "Combining UML-MARTE and preemptive time Petri nets: An industrial case study," IEEE Trans. Ind. Informat., vol. 9, no. 4, pp. 1806-1818, Nov. 2013.
29. L. Carnevali, A. Pinzuti, and E. Vicario, "Compositional verification for hierarchical scheduling of real-time systems," IEEE Trans. Softw. Eng., vol. 39, no. 5, pp. 638-657, May 2013.
30. N. Q. Wu and M. C. Zhou, "Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 2, pp. 446-454, Apr. 2012.
31. Y. Qiao, N. Q. Wu, and M. C. Zhou, "Real-time scheduling of single-arm cluster tools subject to residency time constraints and bounded activity time variation," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 3, pp. 564-577, Jul. 2012.
32. J. F. Zhang et al., "Reconfigurable coordination of distributed discrete event control systems," IEEE Trans. Control Syst. Technol., vol. 23, no. 1, pp. 323-330, Jan. 2015.
33. Y. F. Chen, Z. W. Li, M. Uzam, and K. Barkaoui, "New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 10, pp. 1384-1400, Oct. 2014.
34. N. Q. Wu, M. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Feb. 2008.
35. Z. Y. Ma, Z. W. Li, and A. Giua, "Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints," IEEE Trans. Autom. Control, vol. 60, no. 7, pp. 1774-1785, Jul. 2015.
36. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Short-term scheduling of crudeoil operations: Enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach," IEEE Robot. Autom. Mag., vol. 22, no. 2, pp. 64-76, Jun. 2015.