Title :
The derivation of scheduling algorithms from a timing model
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
Abstract :
We first present a timing model for describing the temporal behaviour of a real-time application. Then, within this model, we specify formally the scheduling problem through a relation between so called temporal profiles. We show how this relation can be generically decomposed and implemented on different machine architectures
Keywords :
formal specification; parallel algorithms; real-time systems; scheduling; machine architectures; parallel algorithms; real-time application; scheduling algorithms; temporal behaviour; timing model; Petroleum; Resource management; Scheduling algorithm; Timing; Uninterruptible power systems;
Conference_Titel :
Real-Time Systems, 1994. Proceedings., Sixth Euromicro Workshop on
Conference_Location :
Vaesteraas
Print_ISBN :
0-8186-6340-5
DOI :
10.1109/EMWRTS.1994.336845
