| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Data consistency and temporal validity under the circular buffer communication paradigm
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.
Cited literature [13 references]
https://hal.inria.fr/hal-02409672
Contributor : Cristian Maxim <>
Submitted on : Monday, December 16, 2019 - 10:14:20 AM
Last modification on : Sunday, December 22, 2019 - 1:14:13 AM
Contributor : Cristian Maxim <>
Submitted on : Monday, December 16, 2019 - 10:14:20 AM
Last modification on : Sunday, December 22, 2019 - 1:14:13 AM
Links full text
