Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems. (March 2018)

• Record Type: Journal Article
• Authors: Wang, Xi; Li, Zhiwu; Wonham, W.M.
• Is Part Of: Automatica. Volume 89(2018)
• Page Start: 392
• Page End: 397
• Publication Date: 2018-03
• Subjects: Real-time system -- Scheduling -- Discrete-event system -- Supervisory control -- Multiple-period -- Conditional-preemption; Automatic control -- Periodicals; Automation -- Periodicals; 629.805
• DOI: 10.1016/j.automatica.2017.12.010
• Languages: English
• ISSNs: 0005-1098

Abstract

Abstract: For a real-time system (RTS) processing both sporadic and (multiple-period) periodic tasks, this study presents a novel modular modeling framework to describe the parameters of tasks, conforming to the pertinent concepts and techniques of discrete-event systems (DES). A task is represented by an automaton synchronized by the modular models corresponding to its parameters. As a consequence, a DES model depicting the RTS is synchronized by the DES representing these tasks. Based on supervisory control theory, priority-free conditionally-preemptive (PFCP) real-time scheduling is solved by finding all the safe execution sequences. Finally, the PFCP scheduling is illustrated by real-world examples.