Scheduler modeling based on the controller synthesis paradigm

DOI10.1023/A:1015346419267zbMATH Open1018.68006OpenAlexW1767198946MaRDI QIDQ698466FDOQ698466

Authors: 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

Recommendations

• Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
• Feedback control real-time scheduling: Framework, modeling, and algorithms
• Modeling, scheduling, and simulation of switched processing systems
• Model predictive control-based scheduler for repetitive discrete event systems with capacity constraints
• Scheduling of embedded controllers under timing contracts
• Scheduling: Control-based theory and polynomial-time algorithms

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)

Cited In (14)

• Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
• Schedulability of asynchronous real-time concurrent objects
• Compositional schedulability analysis of real-time actor-based systems
• Automating the addition of fault tolerance with discrete controller synthesis
• Schedulability analysis of fixed-priority systems using timed automata
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Predictable real-time software synthesis
• Formal verification of real-time systems with preemptive scheduling
• Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
• 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
• Automated competitive analysis of real-time scheduling with graph games
• Title not available (Why is that?)
• Resources in process algebra

Uses Software

• HyTech

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

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