Abstract
Real-time scheduling strategies for safety-critical systems are primarily focused on ensuring correctness, both functional and temporal. In order to provide the desired predictability in such systems, it is often advisable that all timing requirements be guaranteed offline, before putting the system into operation. Formal approaches allow for all necessary and sufficiency conditions corresponding to a feasible schedule to be checked in a systematic manner. This enables formal approaches to act as effective mechanisms for providing timing guarantees required by safety-critical systems. In this work, we develop a scheduler synthesis framework for the optimal work-conserving scheduling of dynamically arriving, sporadic tasks using a formal approach known as “supervisory control of timed discrete-event systems” (SCTDES). The synthesis process starts with the construction of a resource-constraint-aware task execution model and a deadline-constraint-aware timing specification model, for each task in the given real-time system. The system model (i.e., composite task execution model) is then derived and transformed to guarantee work-conserving co-execution of tasks. Such a work-conserving approach enables the synthesis of schedules which avoid processor idling in the presence of ready-to-execute tasks. Next, we use the (transformed) system and specification models to obtain a supervisor which can be used to construct an optimal scheduler for the given real-time system. Finally, the applicability of the proposed scheme for real-world scenarios is shown by presenting a case study on an instrument control system (ICS).
Similar content being viewed by others
Notes
The states are numbered sequentially, starting from #1, for the purpose of illustration. However, the total number of states in the execution model \(T_i\) for a given sporadic task \(\tau _i\) will vary depending on its execution time.
References
Abdeddaïm, Y., Asarin, E., & Maler, O. (2006). Scheduling with timed automata. Theoretical Computer Science, 354(2), 272–300.
Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
Asarin, E., Maler, O., Pnueli, A., & Sifakis, J. (1998). Controller synthesis for timed automata. IFAC Proceedings Volumes, 31(18), 447–452.
Baruah, S., & Pruhs, K. (2010). Open problems in real-time scheduling. Journal of Scheduling, 13(6), 577–582.
Brandin, B. A., & Wonham, W. M. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 329–342.
Buttazzo, G. C. (2011). Hard real-time computing systems: predictable scheduling algorithms and applications (Vol. 24). New York: Springer.
Cassandras, C. G., & Lafortune, S. (2008). Introduction to discrete event systems. New York: Springer.
Chen, P. C., & Wonham, W. M. (2002). Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Real-Time Systems, 23(3), 183–208.
Devaraj, R., Sarkar, A., Biswas, S.(2017). Real-time scheduling of non-preemptive sporadic tasks on uniprocessor systems using supervisory control of timed DES. In: American Control Conference (ACC), pp. 3212–3217.
Devaraj, R., Sarkar, A., & Biswas, S. (2017). Fault-Tolerant Preemptive Aperiodic RT Scheduling by Supervisory Control of TDES on Multiprocessors. ACM Transactions on Embedded Computing Systems, 16(3), 87:1–87:25.
Devaraj, R., Sarkar, A., Biswas, S.(2018). Exact task completion time aware real-time scheduling based on supervisory control theory of timed des. In: 2018 European Control Conference (ECC), IEEE, pp. 1908–1913.
Devaraj, R., Sarkar, A., & Biswas, S. (2018). Supervisory control approach and its symbolic computation for power-aware rt scheduling. IEEE Transactions on Industrial Informatics, 15(2), 787–799.
Dubey, A. (2009). A discussion on supervisory control theory in real-time discrete event systems. ISIS, 9, 112.
Gouin, A., Libeaut, L., Ferrier, J.L. (1999). Supervisory control of timed automata. In: 1999 European Control Conference (ECC), IEEE ,pp. 543–550.
Janarthanan, V., Gohari, P., & Saffar, A. (2006). Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control, 51(6), 1053–1058.
Khoumsi, A., & Nourelfath, M. (2002). An efficient method for the supervisory control of dense real-time discrete event systems. In: Proceedings of 8th International Conference on Real-Time Computing Systems (RTCSA)
Krishna, C. (2014). Fault-tolerant scheduling in homogeneous real-time systems. ACM Computing Surveys (CSUR), 46(4), 48.
Kumar, R., Shayman, M.A. (1995). Supervisory control of real-time systems using prioritized synchronization. In: International Hybrid Systems Workshop, Springer, pp. 350–361.
Maler, O., Pnueli, A., Sifakis, J.(1995). On the synthesis of discrete controllers for timed systems. In: Annual Symposium on Theoretical Aspects of Computer Science. Springer, pp. 229–242.
Nair, P.P., Devaraj, R., Sarkar, A. (2018). Fest: Fault-tolerant energy-aware scheduling on two-core heterogeneous platform. In: 2018 8th International Symposium on Embedded Computing and System Design (ISED), IEEE , pp. 63–68.
Nair, P.P., Devaraj, R., Sarkar, A. (2018). Fest: Fault-tolerant energy-aware scheduling on two-core heterogeneous platform. In: 2018 8th International Symposium on Embedded Computing and System Design (ISED), IEEE , pp. 63–68.
Pandelis, D. G. (2013). A note on preemptive scheduling of multiclass jobs with geometric service times and hard deadlines. Journal of Scheduling, 16(4), 423–428.
Park, S. J., & Cho, K. H. (2008). Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems. Information Sciences, 178(17), 3393–3401.
Park, S. J., & Yang, J. M. (2009). Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints. Automatica, 45(11), 2597–2604.
Pathan, R. M. (2017). Real-time scheduling algorithm for safety-critical systems on faulty multicore environments. Real-Time Systems, 53(1), 45–81.
Srinivasan, P.K. (2008). Implementation and evaluation of proportional share scheduler on linux kernel 2.6. Ph.D. thesis, Ohio University.
Srinivasan, P.K. (2008). Implementation and evaluation of proportional share scheduler on linux kernel 2.6. Ph.D. thesis, Ohio University.
Stoica, I., Abdel-Wahab, H., Jeffay, K., Baruah, S.K., Gehrke, J.E., Plaxton, C.G. (1996). A proportional share resource allocation algorithm for real-time, time-shared systems. In: 17th IEEE Real-Time Systems Symposium, IEEE, pp. 288–299.
Tian, Z., Ng, C., & Cheng, T. E. (2006). An o(n 2) algorithm for scheduling equal-length preemptive jobs on a single machine to minimize total tardiness. Journal of Scheduling, 9(4), 343–364.
Tripakis, S., Altisen, K. (1999). On-the-fly controller synthesis for discrete and dense-time systems. In: International Symposium on Formal Methods, Springer, pp. 233–252.
TTCT Software: [online] http://www.control.utoronto.ca/DES
Wang, X., Li, Z., & Wonham, W. M. (2016). Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control. IEEE Transactions on Industrial Informatics, 12(1), 101–111.
Wang, X., Li, Z., & Wonham, W. M. (2017). Optimal priority-free conditionally-preemptive real-time scheduling of periodic tasks based on DES supervisory control. IEEE Transactions on Systems, Man, Cybernetics: Systems, 47(7), 1082–1098.
Wang, X., Li, Z., & Wonham, W. M. (2018). Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems. Automatica, 89, 392–397.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Devaraj, R., Sarkar, A. & Biswas, S. Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems. J Sched 24, 69–82 (2021). https://doi.org/10.1007/s10951-020-00669-0
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10951-020-00669-0