Author :
Krishnan, Padmanabhan
Author_Institution :
Dept. of Comput. Sci., Aarhus Univ., Denmark
Abstract :
The behavior of a real-time system depends on the scheduler used. The order in which tasks are executed depends on its characteristics such as ready time, deadline etc. The authors describe a language in which the readiness and deadlines can be specified. A scheduling policy using the task characteristics can be defined. To study the effect of schedulers on a system a notation should allow for the specification of time, processes and scheduling. The authors show the applicability of the Action Notation for specifying real-time behavior
Keywords :
real-time systems; scheduling; specification languages; Action Notation; compilation; compilers; deadlines; readiness; real time action; real-time behavior; real-time system; schedulability checks; scheduler; scheduling policy; task characteristics; Clocks; Computer languages; Computer science; Processor scheduling; Program processors; Programming profession; Real time systems; Scheduling algorithm; Time factors; Timing;
Conference_Titel :
Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on
Conference_Location :
Paris-Orsay
Print_ISBN :
0-8186-2210-5
DOI :
10.1109/EMWRT.1991.144101
