Pages that link to "Item:Q698466"
From MaRDI portal
The following pages link to Scheduler modeling based on the controller synthesis paradigm (Q698466):
Displaying 13 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems (Q942318) (← links)
- Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints (Q1049157) (← links)
- Automated competitive analysis of real-time scheduling with graph games (Q1698779) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Resources in process algebra (Q2373652) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks (Q5323277) (← links)
