Scheduling an aperiodic flow within a real-time system using Fairness properties - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Année : 2014

Scheduling an aperiodic flow within a real-time system using Fairness properties

Résumé

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 fluxapériodique. Toutes les tâches, périodiques comme apériodiques, sont soumises à des échéancesstrictes. 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 proposonsun protocole d’acceptation des tâches apériodiques de complexité linéaire en le nombre de tâchesapériodiques acceptées présentes dans le système. Ce protocle est utilisable dès lors que les tempscreux sont répartis de manière équitable. Nous proposons donc une approche modèle, à base deréseaux de Petri, pour produire des séquences où les temps creux sont équitablement répartis, pourdes systèmes de tâches interdépendantes.
Fichier principal
Vignette du fichier
Vol.18.pp.93-116.pdf (851.25 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01300085 , version 1 (08-04-2016)

Identifiants

Citer

Annie Choquet-Geniet, Sadouanouan Malo. Scheduling an aperiodic flow within a real-time system using Fairness properties. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2014, Volume 18, 2014, pp.93-116. ⟨10.46298/arima.1980⟩. ⟨hal-01300085⟩

Collections

UNIV-POITIERS LIAS
67 Consultations
1010 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More