Scheduler modeling based on the controller synthesis paradigm

DOI10.1023/A:1015346419267zbMath1018.68006OpenAlexW1767198946MaRDI QIDQ698466

Karine Altisen, Gregor Gössler, Joseph Sifakis

Publication date: 18 September 2002

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015346419267

zbMATH Keywords

controller synthesiscomposabilitydynamic prioritiesmodeling real-time systemsscheduler design

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (13)

Schedulability analysis of fixed-priority systems using timed automata ⋮ Resources in process algebra ⋮ Formal verification of real-time systems with preemptive scheduling ⋮ Predictable real-time software synthesis ⋮ Schedulability of asynchronous real-time concurrent objects ⋮ Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks ⋮ Automated competitive analysis of real-time scheduling with graph games ⋮ Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling ⋮ Investigating the usability of real-time scheduling theory with the Cheddar project ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints

Uses Software

• HyTech

This page was built for publication: Scheduler modeling based on the controller synthesis paradigm