research-article

Data consistency and temporal validity under the circular buffer communication paradigm

Authors:

Evariste Ntaryamira,

Cristian Maxim,

Liliana Cucu-GrosjeanAuthors Info & Claims

RACS '19: Proceedings of the Conference on Research in Adaptive and Convergent Systems

Pages 51 - 56

https://doi.org/10.1145/3338840.3355682

Published: 24 September 2019 Publication History

Get Access

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.

References

[1]

AUTOSAR. 2016. Spec. of Timing Extensions. AUTOSAR Std. 4.3 (2016).

Google Scholar

[2]

P. Buonocunto, A. Biondi, M. Pagani, M. Marinoni, and G. Buttazzo. 2016. ARTE: Arduino Real-time Extension for Programming Multitasking Applications. In the 31st Annual ACM Symposium on Applied Computing (SAC).

Google Scholar

[3]

EmbedJournal. [n. d.]. Implementing Circular Buffer in C. https://embedjournal.com/implementing-circular-buffer-embedded-c/. ([n. d.]).

Google Scholar

[4]

R. Gerber, S. Hong, and M. Saksena. 1994. Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. In the 15th IEEE Real-Time Systems Symposium (RTSS). 192--203.

Google Scholar

[5]

J. Goossens, E. Grolleau, and L. Cucu-Grosjean. 2016. Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Real-Time Systems 52, 6 (2016), 808--832.

Digital Library

Google Scholar

[6]

INTEMPORA. 2019. RTMaps application. https://intempora.com/products/rtmaps.html. (2019).

Google Scholar

[7]

L. Michel, T. Flaemig, D. Claraz, and R. Mader. 2016. Shared SW development in multi-core automotive context. In the 8th European Congress on Embedded Real Time Software and Systems (ERTS).

Google Scholar

[8]

E. Ntaryamira, C. Maxim, and L. Cucu-Grosjean. 2018. Ensuring data freshness for periodic real-time tasks. In the 12th Junior Researcher Workshop on Real-Time Computing.

Google Scholar

[9]

J. Schlatow and R. Ernst. 2016. Response-Time Analysis for Task Chains in Communicating Threads. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 245--254.

Google Scholar

[10]

L. Sha, R. Rajkumar, and J. P. Lehoczky. 1990. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. Computers (1990).

Google Scholar

[11]

T. Kloda, A. Bertout, and Y. Sorel. 2018. Latency analysis for data chains of realtime periodic tasks. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 360--367.

Google Scholar

[12]

J. Wu. 2017. A survey of energy-efficient task synchronization for real-time embedded systems. In 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

Crossref

Google Scholar

[13]

M. Xiong, S. Han, K.-Y. Lam, and D. Chen. 2008. Deferrable Scheduling for Maintaining Real-Time Data Freshness: Algorithms, Analysis, and Results. IEEE Trans. Computers 57, 7 (2008), 952--964.

Digital Library

Google Scholar

Cited By

View all

Ntaryamira EMaxim CNiyonsaba TCucu-Grosjean L(2020)An efficient FIFO buffer management to ensure task level and effect-chain level data properties2020 IEEE International Conference on Embedded Software and Systems (ICESS)10.1109/ICESS49830.2020.9301518(1-8)Online publication date: 10-Dec-2020
https://doi.org/10.1109/ICESS49830.2020.9301518

Index Terms

Data consistency and temporal validity under the circular buffer communication paradigm
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
  2. Real-time systems
    1. Real-time system specification
2. Information systems
  1. Information systems applications
    1. Process control systems

Recommendations

Maintaining data temporal consistency in distributed real-time systems

Previous works on maintaining temporal consistency of real-time data objects mainly focuses on real-time database systems in which the transmission delays (jitters) of update jobs are simply ignored. However, this assumption does not hold in distributed ...
Data temporal consistency in hard real-time systems
Real-Time Communication in Multihop Networks

Communication in real-time systems has to be predictable, because unpredictable delaysin the delivery of messages can adversely affect the execution of tasks dependent onthese messages. We develop a scheme for providing predictable ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

RACS '19: Proceedings of the Conference on Research in Adaptive and Convergent Systems

September 2019

323 pages

ISBN:9781450368438

DOI:10.1145/3338840

Conference Chair:
Chih-Cheng Hung
Kennesaw State University
,
General Chair:
Qianbin Chen
Chongqing University of Posts and Telecommunications, China
,
Program Chairs:
Xianzhong Xie
Chongqing University of Posts and Telecommunications, China
,
Christian Esposito
University of Salerno, Italy
,
Jun Huang
Chongqing University of Posts and Telecommunications, China
,
Juw Won Park
University of Louisville
,
Qinghua Zhang
Chongqing University of Posts and Telecommunications, China

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 September 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

RACS '19

Sponsor:

SIGAPP

RACS '19: International Conference on Research in Adaptive and Convergent Systems

September 24 - 27, 2019

Chongqing, China

Acceptance Rates

RACS '19 Paper Acceptance Rate 56 of 188 submissions, 30%;

Overall Acceptance Rate 393 of 1,581 submissions, 25%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
67
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ntaryamira EMaxim CNiyonsaba TCucu-Grosjean L(2020)An efficient FIFO buffer management to ensure task level and effect-chain level data properties2020 IEEE International Conference on Embedded Software and Systems (ICESS)10.1109/ICESS49830.2020.9301518(1-8)Online publication date: 10-Dec-2020
https://doi.org/10.1109/ICESS49830.2020.9301518

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Maintaining data temporal consistency in distributed real-time systems

Data temporal consistency in hard real-time systems

Real-Time Communication in Multihop Networks