Skip to Main content Skip to Navigation
Conference papers

Data consistency and temporal validity under the circular buffer communication paradigm

Evariste Ntaryamira 1 Cristian Maxim 2 Liliana Cucu-Grosjean 1
1 KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
Inria de Paris
2 IRT SystemX - IRT SystemX
Abstract : 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.
Keywords : CCS CONCEPTS • Computer systems organization → Real-time system specification Embedded software Process control systems Real-time systems Data management Circular buffer inter-task communication model Data consistency and data temporal validity
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
https://hal.inria.fr/hal-02409672
Contributor : Cristian Maxim Connect in order to contact the contributor
Submitted on : Monday, December 16, 2019 - 10:14:20 AM
Last modification on : Friday, January 21, 2022 - 3:18:52 AM

Identifiers

Collections

IRT-SYSTEMX | INRIA

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data