An efficient FIFO buffer management to ensure task level and effect-chain level data properties - IRT SystemX Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

An efficient FIFO buffer management to ensure task level and effect-chain level data properties

Résumé

Real-time embedded systems (automotive, avionics,drones autopilots, etc.) are composed of numerous functional components that are continuously interacting via a variety of communication models where they intensively share data. For the overall functional correctness these systems must verify not only real-time scheduling requirements but they also must guarantee that the data being used are qualitatively correct. The quality of the data reflects the preservation of data related properties: temporal properties (i.e freshness, end-to-end latency, etc.) and integrity related properties (i.e data consistency). The proposed protocols to ensure such properties highly depend on the considered communication model (shared registers or large buffers) and the data access policy (directly or via local copies). In order to overcome this limitation, we provide in this paper, the means for managing the FIFO buffers to guarantee these data properties in a way that communication dependencies do not impact the tasks system scheduling order. We do so while considering the communication model presented in [14]. We provide methods computing a sufficient size for the considered buffers. Last but not least, an algorithm implementing the "last reader tags mechanism" together with the data temporal matching is provided and explained.
Fichier principal
Vignette du fichier
ICESS_2020_draft.pdf (271.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03097920 , version 1 (05-01-2021)

Identifiants

Citer

Evariste Ntaryamira, Cristian Maxim, Therence Niyonsaba, Liliana Cucu-Grosjean. An efficient FIFO buffer management to ensure task level and effect-chain level data properties. ICESS 2020 - IEEE International Conference on Embedded Software and Systems, Dec 2020, Shanghai / Virtual, China. ⟨10.1109/ICESS49830.2020.9301518⟩. ⟨hal-03097920⟩
129 Consultations
283 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More