Data consistency and temporal validity under the circular buffer communication paradigm - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Data consistency and temporal validity under the circular buffer communication paradigm

Résumé

Technologies within embedded real-time systems are continuously evolving making such systems intelligent. This evolution has increased the interest in the data utilization while real-time constraints are considered. In this paper, we consider real-time constraints for programs communicating using a circular buffer communication paradigm. We propose a first result optimizing the buffer size. Our second contribution consists in providing an analytical characterization of the temporal validity and reachability properties of the data propagating along a functional chain. Last but not least, we propose a scheduling policy ensuring the consistency and the temporal validity of the used data.
Fichier non déposé

Dates et versions

hal-02409672 , version 1 (16-12-2019)

Identifiants

Citer

Evariste Ntaryamira, Cristian Maxim, Liliana Cucu-Grosjean. Data consistency and temporal validity under the circular buffer communication paradigm. RACS '19 - Conference on Research in Adaptive and Convergent Systems, Sep 2019, Chongqing, China. pp.51-56, ⟨10.1145/3338840.3355682⟩. ⟨hal-02409672⟩
97 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More