Scheduler modeling based on the controller synthesis paradigm

Real-Time Systems

Volumn 23, Issue 1-2, 2002, Pages 55-84

  Altisen, K ^a   Gossler G ^a   Sifakis, J ^a  

^a VERIMAG   (France)

Author keywords

Composability; Controller synthesis; Dynamic priorities; Modeling real time systems; Scheduler design

Indexed keywords

CONSTRAINT THEORY; CONTROL SYSTEM SYNTHESIS; MATHEMATICAL MODELS; RESOURCE ALLOCATION; SCHEDULING;

COMPOSABILITY; SCHEDULABILITY ANALYSIS; SCHEDULER DESIGN;

REAL TIME SYSTEMS;

EID: 0036642305     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1015346419267     Document Type: Article

References (31)

1. A framework for scheduler synthesis
2. A methodology for the construction of scheduled systems
3. The algorithmic analysis of hybrid systems
4. A theory of timed automata
5. Syntax and defining equations for an interrupt mechanism in process algebra
6. A process algebraic approach to the schedulability analysis of real-time systems
7. Specification and analysis of real-time systems with Paragon
8. Towards validated real-time software
9. On the construction of live timed systems
10. An algebraic framework for urgency
11. Modeling and checking read-time system designs
12. Priorities for modeling and verifying distributed systems
13. The tool Kronos
14. Modeling and verifying active structural control systems
15. Timed automata as task models for event-driven systems
16. Prometheus-a compositional modeling tool for real-time systems
17. HyTech: A model checker for hybrid systems
18. Embedded control systems development with Giotto
19. Scaling up Uppaal: Automatic verification of real-time systems using compositionality and abstraction
20. An efficient space generation for the analysis of real-time systems
21. Symbolic schedulability analysis of real-time systems
22. Decentralized supervisory control of discrete-event systems
23. Scheduling algorithms for multiprogramming in a hard-real-time environment
24. On the synthesis of discrete controllers for timed systems
25. Fundamental design problems for the hard real-time environments
26. Computing optimal operation schemes for chemical plants in multi-batch mode
27. On the supremal controllable sublanguage of a given language
28. Priority inheritance protocols: An approach to real-time synchronization
29. Fixed-priority sensitivity analysis for linear compute time models