Scheduling an aperiodic flow within a real-time system using Fairness properties
Abstract
We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task, either periodic or aperiodic, has a firm deadline. An aperiodic task is accepted within the system only if it can be completed before its deadline, without causing temporal failures for the periodic tasks or for the previously accepted aperiodic tasks. We propose an acceptance test, linear in the number of pending accepted aperiodic tasks. This protocol can be used provided the idle slots left by the periodic tasks are fairly distributed. We then propose a model-driven approach, based on Petri nets, to produce schedules with a fair distribution of the idle slots for systems of non independent periodic tasks.
Nous considérons des systèmes temps-réel composés de tâches périodiques et d’un flux
apériodique. Toutes les tâches, périodiques comme apériodiques, sont soumises à des échéances
strictes. Une tâche apériodique n’est acceptée que si elle ne remet pas en cause le respect des
échéances par les tâches périodiques et par les tâches apériodiques déjà acceptées. Nous proposons
un protocole d’acceptation des tâches apériodiques de complexité linéaire en le nombre de tâches
apériodiques acceptées présentes dans le système. Ce protocle est utilisable dès lors que les temps
creux sont répartis de manière équitable. Nous proposons donc une approche modèle, à base de
réseaux de Petri, pour produire des séquences où les temps creux sont équitablement répartis, pour
des systèmes de tâches interdépendantes.
Origin : Publisher files allowed on an open archive