Real-time action

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.<>