Name
Abstract | ||
|---|---|---|
Open soft real-time systems, such as mobile robots, experience unpredictable interactions with their environments and yet must respond both adaptively and with reasonable temporal predictability. New scheduling approaches are needed to address the demands of such systems, in which many of the assumptions made by traditional real-time scheduling theory do not hold. In previous work we established foundations for a scheduling policy design and verification approach for open soft real-time systems, that can use different decision models, e.g., a Markov Decision Process (MDP), to capture the nuances of their scheduling semantics.However, several important refinements to the preliminary techniques developed in that work are needed to make the approach applicable in practice. This paper makes three main contributions to the state of the art in scheduling open soft real-time systems: (1) it defines a novel representation of the scheduling state space that is both more compact and more expressive than the model defined in our previous work; (2) it exploits regular structure of that representation to allow efficient verification of properties involving both discrete and continuous system state variables under specific scheduling policies; and (3) it removes the unnecessary use of a time horizon in our previous approach, thus allowing the more precise specification and enforcement of a wider range of scheduling policies for open soft real-time systems. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/RTSS.2008.48 | RTSS |
Keywords | Field | DocType |
traditional real-time scheduling theory,scheduling state space,open soft real-time system,new scheduling approach,continuous system state variable,scheduling policy design,previous work,scheduling design,open soft real-time systems,previous approach,scheduling semantics,specific scheduling policy,state space,decision models,open systems,markov decision process,real time systems,discrete system,mathematical model,scheduling,convergence,mobile robot,kernel | Time horizon,Computer science,Scheduling (computing),Markov decision process,Real-time computing,Two-level scheduling,Nurse scheduling problem,Dynamic priority scheduling,Open system (systems theory),State space,Distributed computing | Conference |
ISSN | Citations | PageRank |
1052-8725 | 8 | 0.51 |
References | Authors | |
12 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Robert Glaubius | 1 | 32 | 4.00 |
| Terry Tidwell | 2 | 63 | 6.33 |
| William D. Smart | 3 | 98 | 11.57 |
| Christopher Gill | 4 | 1527 | 98.88 |