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

DOI10.1007/S10626-019-00288-8MaRDI QIDQ2177772zbMATH OpenOpenAlexWikidataFDO

Authors 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

worst-case execution timereal-time systemssupervisory controlbest-case execution timeconditional preemption

Mathematics Subject Classification ID

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

Recommendations

• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
• MULTIPROCESSOR SCHEDULING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS FRAMEWORK

Cites work

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

Cited in

(6)

• Response time driven scheduling for programmable logic controllers with network-based I/O systems
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
• Flexible hard real-time scheduling for deliberative AI systems

Describes a project that uses

Uses Software

• Supremica
• libFAUDES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177772)