×

A protocol for loosely time-triggered architectures. (English) Zbl 1027.68762

Sangiovanni-Vincentelli, Alberto (ed.) et al., Embedded software. Second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2491, 252-265 (2002).
Summary: 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 ofLTTA, 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 anLTTA.
For the entire collection see [Zbl 1012.68861].

MSC:

68U99 Computing methodologies and applications
68N99 Theory of software

Software:

Uppaal
PDFBibTeX XMLCite
Full Text: Link