RÉSUMÉ.
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&
egrave;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.
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.
MOTS-CLÉS :
Systèmes temps-réel, ordonnancement multiprocesseur, flux apériodique,
réseaux de Petri.
KEYWORDS:
Real-time systems, multiprocessor scheduling, aperiodic flow, Petri nets.
|