Loosely Time-Triggered Architectures

Guillaume Baudart (1, 2) , Albert Benveniste (3) , Timothy Bourke (1, 2)

1 Parkas - Parallélisme de Kahn Synchrone
2 DI-ENS - Département d'informatique - ENS Paris
3 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

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.

Mots clés: Quasi-periodic Architectures; Loosely Time-Triggered Architectures; LTTA; Back-Pressure LTTA; Time-Based LTTA

Domaines: Systèmes embarqués; Langage de programmation [cs.PL]; Calcul parallèle, distribué et partagé [cs.DC]

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