A Unifying View of Loosely Time-Triggered Architectures

Guillaume Baudart 1 Albert Benveniste 2 Anne Bouillard 3 Paul Caspi 4
1 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
2 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
3 DYOGENE - Dynamics of Geometric Networks
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8548
Abstract : Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Hermann Kopetz' Time-Triggered Architecture (TTA) has been proposed as both an architecture and a comprehensive paradigm for systems architecture, for such systems. TTA offers the programmer a logical discrete time compliant with synchronous programming, together with timing bounds. A clock synchronization protocol is required, unless the local clocks used themselves provide the recquired accuracy. To relax the strict requirements on synchronization imposed by TTA, Loosely Time-Triggered Architectures (LTTA) have been proposed. In LTTA, computation and communication units are all triggered by autonomous, unsynchronized, clocks. Communication media act as shared memories between writers and readers and communication is non blocking. This is at the price of communication artifacts (such as duplication or loss of data), which must be compensated for by using some "LTTA protocol". In this paper we pursue our previous work by providing a unified presentation of the two variants of LTTA (token- and time-based), with simplified analyses. We compare these two variants regarding performance and robustness and we provide ways to combine them. This report was prepared for a lecture in Gérard Berry's seminar series at the Collège de France, March 5, 2014; it is a corrected version of a paper, which appeared at Emsoft'2010. It is dedicated to our close friend Paul Caspi who died in April 2012.
Document type :
Reports
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-00955496
Contributor : Guillaume Baudart <>
Submitted on : Tuesday, March 4, 2014 - 4:55:55 PM
Last modification on : Thursday, February 7, 2019 - 2:42:36 PM
Long-term archiving on : Wednesday, June 4, 2014 - 12:01:40 PM

File

RR-8494.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00955496, version 1

Citation

Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi. A Unifying View of Loosely Time-Triggered Architectures. [Research Report] RR-8494, INRIA. 2014, pp.14. ⟨hal-00955496⟩

Share

Metrics

Record views

1839

Files downloads

316