| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Protocol for Loosely Time-Triggered Architectures
Albert Benveniste
1
Paul Caspi
2
Paul Le Guernic
3
Hervé Marchand
4
Jean-Pierre Talpin
3
Stavros Tripakis
2
1
SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
3
ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
4
VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Albert Benveniste 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Paul Caspi 2
Author
Paul Le Guernic 3
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Hervé Marchand 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : herve-marchand IdRef : https://www.idref.fr/095626360
Jean-Pierre Talpin 3
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265
Stavros Tripakis 2
Author
1
SIGMA2 - Signal, models, algorithms (Campus de Beaulieu, 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- INRIA Rennes (IRISA . campus de Beaulieu . F 35 042 Rennes Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
VERIMAG - IMAG - VERIMAG (Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères
France - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (France)
3
ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems (Campus de Beaulieu 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
4
VERTECS - Verification models and techniques applied to testing and control of reactive systems (Campus de Beaulieu, 35042 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Abstract : A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (ltta) are a weaker form of the strictly synchronous Time-Triggered Architecture proposed by Kopetz, in which the different periodic clocks are not synchronized, and thus may suffer from relative offset or jitter. We propose a protocol that ensures a coherent system of logical clocks on the top of ltta, and we provide several proofs for it, both manual and automatic, based on synchronous languages and associated model checkers. We briefly discuss how this can be used for correct deployment of synchronous designs on an ltta
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00526261
Contributor : Hervé Marchand <>
Submitted on : Thursday, October 14, 2010 - 10:25:19 AM
Last modification on : Tuesday, June 15, 2021 - 4:22:13 PM
Contributor : Hervé Marchand <>
Submitted on : Thursday, October 14, 2010 - 10:25:19 AM
Last modification on : Tuesday, June 15, 2021 - 4:22:13 PM
Links full text
Identifiers
- HAL Id : inria-00526261, version 1
- DOI : 10.1007/3-540-45828-X_19
Collections
IMAG | INRIA | UNIV-RENNES1 | IRISA | CNRS | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES | VERIMAG | INSA-GROUPE | INSA-RENNES | UGA | EC-PARIS
Citation
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, et al.. A Protocol for Loosely Time-Triggered Architectures. Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩. ⟨inria-00526261⟩
Metrics
Record views