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
2 VERIMAG - IMAG - VERIMAG
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
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
Type de document :
Communication dans un congrès
Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. 〈10.1007/3-540-45828-X_19〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00526261
Contributeur : Hervé Marchand <>
Soumis le : jeudi 14 octobre 2010 - 10:25:19
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Lien texte intégral

openaccess

Identifiants

Collections

IMAG | INRIA | IRISA | UGA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES | VERIMAG

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. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. 〈10.1007/3-540-45828-X_19〉. 〈inria-00526261〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

543

Contact


archive-ouverte@inria.fr