Communication by sampling in time-sensitive distributed systems

Authors:
Albert Benveniste;Benoît Caillaud;Luca P. Carloni;Paul Caspi;Alberto L. Sangiovanni-Vincentelli;Stavros Tripakis
Affiliations:
INRIA/IRISA, Rennes cedex, France;INRIA/IRISA, Rennes cedex, France;Columbia University, New York, NY;CNRS/Verimag, Gieres, France;U.C. Berkeley, Berkeley, CA;CNRS/Verimag and Cadence Berkeley Labs, Berkeley, CA
Venue:
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Year:
2006

Citing 7
Cited 3

Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
Giotto: A Time-Triggered Language for Embedded Programming

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Scalable Applications for Energy-Aware Processors

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems

ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

Proceedings of the 4th ACM international conference on Embedded software
Efficient embedded software design with synchronous models

Proceedings of the 5th ACM international conference on Embedded software
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers

Proceedings of the 5th ACM international conference on Embedded software

Loosely time-triggered architectures based on communication-by-sampling

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
A greedy buffer allocation algorithm for power-aware communication in body sensor networks

CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Modeling buffers with data refresh semantics in automotive architectures

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software

Quantified Score

Hi-index	0.01

Visualization

Abstract

In time-sensitive systems writing to and reading from the communication medium is on a purely time-triggered but asynchronous basis. Writes and reads can occur at any time and the data are stored and sustained until overwritten. We study how to maintain data semantics when the duration of the actions change from specification to implementation.In doing so, we rely on tag systems formerly introduced by the authors. The exibility of tag systems allows handling the problem in a formal, yet tractable way.