Loosely Time-Triggered Architectures

Guillaume Baudart 1, 2 Albert Benveniste 3 Timothy Bourke 1, 2
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
3 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Loosely Time-Triggered Architectures (LTTAs) are a proposal for constructing distributed embedded control systems. They build on the quasi-periodic architecture, where computing units execute nearly periodically, by adding a thin layer of middleware that facilitates the implementation of synchronous applications. In this paper, we show how the deployment of a synchronous application on a quasi-periodic architecture can be modeled using a synchronous formalism. Then we detail two protocols, Back-Pressure LTTA, reminiscent of elastic circuits, and Time-Based LTTA, based on waiting. Compared to previous work, we present controller models that can be compiled for execution, a simplified version of the Time-Based protocol and optimizations for systems using broadcast communication. We also compare the LTTA approach with architectures based on clock synchronization.
Liste complète des métadonnées

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-01408224
Contributor : Timothy Bourke <>
Submitted on : Saturday, December 3, 2016 - 4:54:27 PM
Last modification on : Thursday, February 7, 2019 - 5:20:14 PM
Document(s) archivé(s) le : Tuesday, March 21, 2017 - 11:26:52 AM

File

ltta.pdf
Files produced by the author(s)

Identifiers

Citation

Guillaume Baudart, Albert Benveniste, Timothy Bourke. Loosely Time-Triggered Architectures. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩. ⟨hal-01408224⟩

Share

Metrics

Record views

1071

Files downloads

129