Advertisement

Discrete Event Dynamic Systems

, Volume 29, Issue 4, pp 501–520 | Cite as

SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time

  • Xi Wang
  • Zhiwu LiEmail author
  • Thomas Moor
Article
  • 83 Downloads
Part of the following topical collections:
  1. Smart Manufacturing -A New DES Frontier

Abstract

This study presents a novel discrete-event systems (DES) modeling framework to address real-time system (RTS) with sporadic, periodic, and non-repetitive real-time tasks. Our approach is organized in three steps. First, the effect of individual timing parameters of each task, such as job arrival and deadlines, are represented by modular DES. Second, we choose the required modules for the specific RTS at hand to compose an overall model. Third, we utilize supervisory control to find all schedules that are consistent with the timing requirements of all tasks. In contrast to fixed task priorities, we address general preemption relations represented by a preemption matrix and thereby implement priority-free conditionally-preemptive (PFCP) real-time scheduling. As a particular feature of the closed-loop configuration, the schedules obtained refer to the actual job execution time as opposed to upper and lower bounds. We illustrate our approach by a real-world example in the context of an automated manufacturing system.

Keywords

Real-time systems Supervisory control Conditional preemption Best-case execution time Worst-case execution time 

Notes

Acknowledgements

This work was supported in part by the Alexander von Humboldt Foundation, the National Natural Science Foundation of China under Grant No. 61703322, 61673309, and 61603285, and the Science and Technology Development Fund, MSAR, under Grant No. 122/2017/A3.

References

  1. Baruah S (2005) The limited-preemption uniprocessor scheduling of sporadic task systems. In: Proceedings of the 17th euromicro conference on real-time systems, pp 137–144Google Scholar
  2. Baruah S, Howell R, Rosier L (1990) Algorithms and complexity concerning the preemptive scheduling of periodic real-time tasks on one processor. Real-Time Syst 2:301–324CrossRefGoogle Scholar
  3. Brandin B, Wonham WM (1994) Supervisory control of timed discrete event systems. IEEE Trans Autom Cont 39(2):329–342MathSciNetCrossRefGoogle Scholar
  4. Buttazzo GC (2011) Hard real-time computing systems: predictable scheduling algorithms and applications, vol 24. Springer, BerlinCrossRefGoogle Scholar
  5. Chen PCY, Wonham WM (2002) Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Real-Time Syst 23:183–208CrossRefGoogle Scholar
  6. Davis RI (2014) A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems. ACM SIGBED Rev 11(1):8–19CrossRefGoogle Scholar
  7. Nassor E, Bres G (1991) Hard real-time sporadic task scheduling for fixed priority schedulers. In: Proceedings of the international workshop on responsive systems, pp 44–47Google Scholar
  8. Fei ZN, Reveliotis S, Miremadi S (2015) Åkesson K. A BDD-based approach for designing maximally permissive deadlock avoidance policies for complex resource allocation systems. IEEE Trans Autom Sci Eng 12(3):990–1006Google Scholar
  9. Gu C, Wang X, Li ZW (2019) Synthesis of supervisory control with partial observation on normal state-tree structures. IEEE Trans Autom Sci Eng 16(2):984–997CrossRefGoogle Scholar
  10. Gu C, Wang X, Li ZW, Wu NQ (2018) Supervisory control of state-tree structures with partial observation. Inform Sci Elsevier 465(8):523–544MathSciNetCrossRefGoogle Scholar
  11. Howell RR, Venkatrao MK (1995) On non-preemptive scheduling of recurring tasks using inserted idle time. Inform Comput J 117(1):50–62CrossRefGoogle Scholar
  12. Janarthanan V, Gohari P, Saffar A (2006) Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems. IEEE Trans Autom Cont 51(6):1053–1058CrossRefGoogle Scholar
  13. Leung JYT, Whitehead J. (1982) On the complexity of fixed-priority scheduling of periodic real-time tasks. Perform. Eval. (Netherlands) 2(4):237–250MathSciNetCrossRefGoogle Scholar
  14. Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J Assoc Comput Mach 20(1):46–61MathSciNetCrossRefGoogle Scholar
  15. Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. vol. 317, LNCIS. Springer-Verlag, BerlinzbMATHGoogle Scholar
  16. Ma C, Wonham WM (2006) Nonblocking supervisory control of state tree structures. IEEE Trans Autom Cont 51(5):782–793MathSciNetCrossRefGoogle Scholar
  17. Miao L (2018) On controlling prioritized discrete event systems with real-time constraints. Discrete Event Dyn Syst.  https://doi.org/10.1007/s10626-018-0269-x MathSciNetCrossRefGoogle Scholar
  18. Mohajerani S, Malik R, Fabian M (2014) A framework for compositional synthesis of modular nonblocking supervisors. IEEE Trans Autom Cont 59(1):150–162MathSciNetCrossRefGoogle Scholar
  19. Mok AK (1983) Fundamental design problems of distributed systems for the hard-real-time environment. Ph.D. Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, CambridgeGoogle Scholar
  20. Moor T, Schmidt K, Perk S (2008) libFAUDES—an open source C++ library for discrete event systems. In: Workshop on Discrete Event Syst. GöteborgGoogle Scholar
  21. Park SJ, Cho KH (2008) Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems. Inform Sci 178(17):3393–3401MathSciNetCrossRefGoogle Scholar
  22. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Contr Optim 25(1):206–230MathSciNetCrossRefGoogle Scholar
  23. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98CrossRefGoogle Scholar
  24. Sha L, Abdelzaher T, Årzén KE, Cervin A, Baker T, Burns A, Buttazzo G, Caccamo M, Lehoczky J, Mok AK (2004) Real time scheduling theory: a historical perspective. Real-Time Syst 28(2):101–155CrossRefGoogle Scholar
  25. Waez MTB, Wasowski A, Dingel J, Rudie K (2017) Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discrete Event Dyn Syst 27(2):407–441MathSciNetCrossRefGoogle Scholar
  26. Wang X, Khemaissia I, Khalgui M, Li ZW, Mosbahi O, Zhou MC (2015) Dynamic low-power reconfiguration of real-time systems with periodic and probabilistic tasks. IEEE Trans Autom Sci Eng 12(1):258–271CrossRefGoogle Scholar
  27. Wang X, Li ZW, Wonham WM (2016) Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control. IEEE Trans Ind Inform 12(1):101–111Google Scholar
  28. Wang X, Li ZW, Wonham WM (2017) Optimal priority-free conditionally-preemptive real-time scheduling of periodic tasks based on DES supervisory control. IEEE Trans Syst Man Cybern: Syst 47(7):1082–1098CrossRefGoogle Scholar
  29. Wang X, Li ZW, Wonham WM (2018) Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems. Automatica 89:392–397MathSciNetCrossRefGoogle Scholar
  30. Wang Y, Saksena M (1999) Scheduling fixed-priority tasks with preemption threshold. In: Proceedings of the real-time computing systems and applications, pp 328–335Google Scholar
  31. Wonham WM, Cai K (2018) Supervisory control of discrete-event systems. Monograph Series Communications and Control Engineering, Springer, 2018, in pressGoogle Scholar
  32. Wonham WM, Ramadge PJ (1988) Modular supervisory control of discrete event systems. Math Cont Signal Syst 1(1):13–30MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.School of Electro-Mechanical EngineeringXidian UniversityXi’anChina
  2. 2.Lehrstuhl für RegelungstechnikFriedrich-Alexander-Universität Erlangen-NürnbergErlangenGermany
  3. 3.Institute of Systems EngineeringMacau University of Science and TechnologyTaipaChina

Personalised recommendations