SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time

DOI10.1007/s10626-019-00288-8zbMath1441.93183OpenAlexW2970702872WikidataQ127322358 ScholiaQ127322358MaRDI QIDQ2177772

Yanyan Li

Publication date: 6 May 2020

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-019-00288-8

zbMATH Keywords

supervisory controlreal-time systemsworst-case execution timebest-case execution timeconditional preemption

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)

Related Items (1)

State-based fault diagnosis of discrete-event systems with partially observable outputs

Uses Software

• libFAUDES
• Supremica

Cites Work

• Real time scheduling theory: A historical perspective
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Modular supervisory control of discrete-event systems
• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• On controlling prioritized discrete event systems with real-time constraints
• Supervisory control of discrete-event systems
• Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
• On non-preemptive scheduling of recurring tasks using inserted idle times
• Supervisory control of state-tree structures with partial observation
• Nonblocking supervisory control of state tree structures.
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Hard Real-Time Computing Systems
• Supervisory Control of a Class of Discrete Event Processes
• On the complexity of fixed-priority scheduling of periodic, real-time tasks
• Supervisory control of timed discrete-event systems
• Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
• Nonblocking Supervisory Control of State Tree Structures
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

This page was built for publication: SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time