Proceedings of ISP RAS

Non-conflict scheduling criterion for strict periodic tasks

Zelenova S.A. (ISP RAS, Moscow, Russia)
Zelenov S.V. (ISP RAS, Moscow, Russia; HSE, Moscow, Russia)


In the paper, we address mission critical systems, such as automobile, avionic, mobile robotic, telecommunication, etc. Such systems must meet hard real-time constraints in order to avoid catastrophic consequences. To meet the real-time constraints, strict periodicity is used (i.e. for any periodic task, time between release points is constant). Sensors, actuators and feedback control functions are typical examples of strict periodic tasks.
We study a monoprocessor preemptive scheduling problem for arbitrary number of strict periodic tasks. In this context, we focus on the following problem: how to find non-conflict set of task release points (i.e. sequences of instance release points for different tasks must not intersect).
First, as a preliminaries, we introduce some fundamental definitions and prove several elementary schedulability conditions.
Next, we investigate the correlation between the scheduling problem and a graph coloring problem for graphs of some special kinds. The graphs under consideration are built on the basis of the tasks' period values. We introduce a notion of divisibility graph for tasks' periods, and study compatibility of graphs' coloring with respect to the schedulability problem.
At last, we prove a theorem that provides necessary and sufficient graph coloring conditions for schedulability of given strict periodic tasks. This theorem allows either to find non-conflict set of task release points directly, or to determine quickly that scheduling is impossible.


real-time system; strict periodic task; scheduling; graph coloring; system of linear congruences


Proceedings of the Institute for System Programming, vol. 29, issue 6, 2017, pp. 183-202.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(6)-10

Full text of the paper in pdf (in Russian) Back to the contents of the volume