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

Authors:
Seong-Jin Park;Kwang-Hyun Cho
Affiliations:
Department of Electrical and Computer Engineering, Ajou University, Suwon 443-749, Republic of Korea;Department of Bio and Brain Engineering and KI for the BioCentury, Korea Advanced Institute of Science and Technology (KAIST), 335 Gwahangno, Yuseong-gu, Daejeon 305-701, Republic of Korea
Venue:
Information Sciences: an International Journal
Year:
2008

Citing 10
Cited 7

Utilizing slack time for aperiodic and sporadic requests scheduling in real-time systems

Utilizing slack time for aperiodic and sporadic requests scheduling in real-time systems
Scheduler Modeling Based on the Controller Synthesis Paradigm

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

Real-Time Systems
A Utilization Bound for Aperiodic Tasks and Priority Driven Scheduling

IEEE Transactions on Computers
Supervisory Control of Software Systems

IEEE Transactions on Computers
Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A polynomial dynamic system approach to software design for attractivity requirement

Information Sciences: an International Journal
Decision making in fuzzy discrete event systems

Information Sciences: an International Journal
Brief paper: Supervisory control of modular systems with global specification languages

Automatica (Journal of IFAC)
Multiprocessor scheduling in supervisory control of discrete-event systems framework

Control and Intelligent Systems

Some scheduling problems with general position-dependent and time-dependent learning effects

Information Sciences: an International Journal
Single-machine scheduling with sum-of-logarithm-processing-times-based learning considerations

Information Sciences: an International Journal
Some single-machine and m-machine flowshop scheduling problems with learning considerations

Information Sciences: an International Journal
Brief paper: Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints

Automatica (Journal of IFAC)
Scheduling problems with general effects of deterioration and learning

Information Sciences: an International Journal
Notes on "some single-machine scheduling problems with general position-dependent and time-dependent learning effects"

Information Sciences: an International Journal
A new algorithm for testing diagnosability of fuzzy discrete event systems

Information Sciences: an International Journal

Quantified Score

Hi-index	0.07

Visualization

Abstract

This paper presents a preemptive scheduling scheme for real-time systems with sporadic tasks based on the supervisory control theory of discrete event systems. In particular, we present a systematic method of computing a schedulable language that includes all achievable sequences that meet the given deadlines of accepted sporadic tasks. A supervisor that achieves the schedulable language corresponds to a scheduler that can secure the deadlines of all accepted tasks. We further show that the schedulable language includes the decisions on whether a scheduler accepts or rejects a newly arrived sporadic task.