Scheduler Modeling Based on the Controller Synthesis Paradigm
Citations
3,695 citations
Cites methods from "Scheduler Modeling Based on the Con..."
...This model can then be composed with models of the remaining tasks and a scheduler, regarded as a supervisor, can be synthesized by resorting to control and/or game theoretic techniques for timed automata [3], [12]....
[...]
525 citations
Cites background from "Scheduler Modeling Based on the Con..."
...The definition of atomic timed components for discrete time is inspired from [2]....
[...]
...An atomic timed component C represents a transition system [2] in the following manner....
[...]
524 citations
314 citations
246 citations
References
7,096 citations
7,067 citations
"Scheduler Modeling Based on the Con..." refers background in this paper
...A scheduler follows an edf policy on the resource r if it is granted to the waiting process that is closest to its relative deadline (Liu and Layland, 1973 )....
[...]
...The algorithm of preemptive rate-monotonic scheduling (rms, Liu and Layland, 1973) assigns to each strictly periodic process a ®xed priority such that processes with shorter period have higher priority, i.e., if T i > T j , P j has priority over P i ....
[...]
2,443 citations
"Scheduler Modeling Based on the Con..." refers background or methods in this paper
...The priority rule de®ned by the c CPU ij gives priority to the process with lower index, unless it blocks on r. Notice c CPU 23 : P 3 has priority over P 2 in particular if P 3 is using r, and P 1 is waiting for r, so as to prevent priority inversion (Sha et al., 1990)....
[...]
...For example, the priority ceiling protocol (Sha et al., 1990) schedules the process with the highest current priority among the processes that are waiting for the processor, whereas a process P i is eligible for the allocation of a free resource if the current priority of P i is higher than the…...
[...]
...According to the priority ceiling protocol (Sha et al., 1990), we consider a system composed of processes sharing a processor CPU, and a set of non preemptable resources R n ....
[...]
2,091 citations
"Scheduler Modeling Based on the Con..." refers background in this paper
...Timed systems are automata extended with time variables as timed or hybrid automata (Alur et al., 1995; Alur and Dill, 1994) where time variables are real-valued....
[...]
1,092 citations
"Scheduler Modeling Based on the Con..." refers methods in this paper
...This step requires in general, the application of synthesis or veri®cation techniques that can be carried out by existing timing analysis tools such as KRONOS (Daws et al., 1996), UPPAAL (Jensen et al., 2000), HYTECH (Henzinger et al., 1997)....
[...]