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

This paper presents a general discrete-event system (DES)-based hard periodic real-time task model. Based on supervisory control theory (SCT), an optimal priority-free real-time scheduling technique is proposed to process all the tasks running in uniprocessor or multiprocessor real-time systems (RTS...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on systems, man, and cybernetics. Systems Vol. 47; no. 7; pp. 1082 - 1098
Main Authors: Xi Wang, Zhiwu Li, Wonham, Walter Murray
Format: Journal Article
Language:English
Published: New York IEEE 01.07.2017
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Conditional-preemption
Control systems
Control theory
discrete-event system (DES)
Generators
Heuristic algorithms
Languages
limited preemption
Microprocessors
Multiprocessing
Preempting
Preemption
Priorities
Priority scheduling
Processor scheduling
Production scheduling
Real time
real-time system (RTS)
Real-time systems
Response time
Schedules
Scheduling
Specifications
Supervisory control
Task scheduling
ISSN:2168-2216, 2168-2232
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents a general discrete-event system (DES)-based hard periodic real-time task model. Based on supervisory control theory (SCT), an optimal priority-free real-time scheduling technique is proposed to process all the tasks running in uniprocessor or multiprocessor real-time systems (RTS). The preemption relation in this paper generalizes priority-based preemption. First, regular languages are utilized to describe the processor behavior related to each task's execution. Thereafter, the languages are represented by DES generators. Finally, the global processor behavior is generated as the synchronous product of these DES generators. By discarding the priorities, a novel preemption policy, namely conditional-preemption, is developed. Two sets of conditional-preemption specifications are developed, on the processor level and task level, respectively. Moreover, in order to control the system to be nonblocking and also limit the worst-case response time of the tasks, two corresponding sets of specifications are presented. After generating the global specification as the synchronous product, by implementing SCT the calculated supervisor can provide all the safe real-time execution sequences. The supervisor calculation can be sped up by a three-step algorithm. Finally, the real-time scheduling is implemented for real-world examples.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2168-2216
2168-2232
DOI:10.1109/TSMC.2016.2531681