Brief paper: Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints

Authors:
Seong-Jin Park;Jung-Min Yang
Affiliations:
Department of Electrical and Computer Engineering, Ajou University, Suwon, 443-749, Korea;Department of Electrical Engineering, Catholic University of Daegu, Kyongsan Kyongbuk, 712-702, Korea
Venue:
Automatica (Journal of IFAC)
Year:
2009

Citing 12
Cited 0

Schedulability analysis of periodic and aperiodic tasks with resource constraints

Journal of Systems Architecture: the EUROMICRO Journal - Special issue on real-time systems
Scheduler Modeling Based on the Controller Synthesis Paradigm

Real-Time Systems
Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms*

Real-Time Systems
Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks

Real-Time Systems
Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Resource Sharing in EDF-Scheduled Systems: A Closer Look

RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
The Design of an EDF-Scheduled Resource-Sharing Open Environment

RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Brief paper: Supervisory control of modular systems with global specification languages

Automatica (Journal of IFAC)
Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems

Information Sciences: an International Journal
Schedulability Analysis of Periodic and Sporadic Tasks Using a Timed Discrete Event Model with Memorable Events

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Multiprocessor scheduling in supervisory control of discrete-event systems framework

Control and Intelligent Systems

Quantified Score

Hi-index	22.14

Visualization

Abstract

In the framework of supervisory control of timed discrete event systems, this paper addresses the design problem of a real-time scheduler that meets stringent time constraints of periodic tasks and sporadic tasks which exclusively access shared resources. For this purpose, we present the timed discrete event models of execution of periodic tasks and sporadic tasks and resource access for shared resources. Based on these models, we present the notion of deadlock-free and schedulable languages that contain only deadline-meeting sequences which do not reach deadlock states. In addition, we present the method of systematically computing the largest deadlock-free and schedulable language, and it is also shown that schedulability analysis can be done using this language. We further show that the real-time scheduler achieving the largest deadlock-free and schedulable language is optimal in the sense that there are no other schedulers to achieve schedulable cases more than those achieved by the optimal scheduler.