Hi Mr.Nightwalker,
I found below through a Google search:
A protocol for loosely time-triggered architectures (2002)
CachedDownload Links[www.irisa.fr][people.rennes.inria.fr][www.irisa.fr][www.irisa.fr][www.irisa.fr][www-verimag.imag.fr][people.rennes.inria.fr][www.irisa.fr]
Other Repositories/BibliographyDBLP
Save to ListAdd to CollectionCorrect ErrorsMonitor Changes
by Albert Benveniste , Paul Caspi , Paul Le Guernic , Hervé Marchand , Jean-Pierre Talpin , Stavros Tripakis
Venue:IN EMBEDDED SOFTWARE CONFERENCECitations:46 - 32 self
SummaryCitationsActive BibliographyCo-citationClustered DocumentsVersion History
BibTeX
@INPROCEEDINGS{Benveniste02aprotocol,
author = {Albert Benveniste and Paul Caspi and Paul Le Guernic and Hervé Marchand and Jean-Pierre Talpin and Stavros Tripakis},
title = {A protocol for loosely time-triggered architectures},
booktitle = {IN EMBEDDED SOFTWARE CONFERENCE},
year = {2002},
pages = {252--266},
publisher = {Springer
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.
About CiteSeerX Submit and Index Documents Privacy Policy Help Data Source Contact Us
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2015 The Pennsylvania State University