论文信息 - Communication by sampling in time-sensitive distributed systems

Communication by sampling in time-sensitive distributed systems

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.

[1] Hermann Kopetz,et al. Real-time systems , 2018, CSC '73.

[2] Paul Caspi,et al. Threshold and Bounded-Delay Voting in Critical Control Systems , 2000, FTRTFT.

[3] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[4] Giorgio C. Buttazzo,et al. Scalable Applications for Energy-Aware Processors , 2002, EMSOFT.

[5] Alberto L. Sangiovanni-Vincentelli,et al. Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment , 2003, EMSOFT.

[6] Norman Scaife,et al. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[7] Alberto L. Sangiovanni-Vincentelli,et al. Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA) , 2004, EMSOFT '04.

[8] Paul Caspi,et al. Mixed Delay and Threshold Voters in Critical Real-Time Systems , 2004, FORMATS/FTRTFT.

[9] Alberto L. Sangiovanni-Vincentelli,et al. Efficient embedded software design with synchronous models , 2005, EMSOFT.

[10] Stavros Tripakis,et al. Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers , 2005, EMSOFT.