Scheduling an aperiodic flow within a real-time system using Fairness properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Year : 2014

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.
Fichier principal
Vignette du fichier
Vol.18.pp.93-116.pdf (851.25 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

Cite

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⟩
65 View
847 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More