Skip to main content
SpringerLink
Log in

A Protocol for Loosely Time-Triggered Architectures

  • Conference paper
  • First Online:
Embedded Software (EMSOFT 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2491))

Included in the following conference series:

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.

This work is or has been supported in part by the following projects: Esprit LTR-SYRF (Esprit EP 22703), and Esprit R&D crisys EP 25514.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric Real-time Reasoning. In Proc. of the 25th Annual Symposium on Theory of Computing (STOC), ACM Press, 1993, pp. 592–601.

    Google Scholar 

  2. R. Bannatyne. Time Triggered Protocol: TTP/C, Embedded Systems Programming, 9/98, pp. 52–54.

    Google Scholar 

  3. A. Benveniste, B. Caillaud, and P. Le Guernic. From synchrony to asynchrony. In J.C.M. Baeten and S. Mauw, editors, CONCUR’99, Concurrency Theory, 10th International Conference, volume 1664 of Lecture Notes in Computer Science, pages 162–177. Springer, August 1999.

    Chapter  Google Scholar 

  4. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163, 125–171 (2000).

    Article  MATH  MathSciNet  Google Scholar 

  5. A. Benveniste. Some synchronization issues when designing embedded systems from components. In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT’01, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 32–49, Springer Verlag, 2001.

    Google Scholar 

  6. P. Caspi, C. Mazuet, R. Salem, and D. Weber. Formal design of distributed control systems with lustre. In Proc. Safecomp’99, September 1999.

    Google Scholar 

  7. P. Caspi. Embedded control: from asynchrony to synchrony and back. In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT’01, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 80–96, Springer Verlag, 2001.

    Google Scholar 

  8. C Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Proceedings of ”Hybrid Systems III, Verification and Control”, 1996. Lecture Notes in Computer Science 1066, Springer-Verlag.

    Google Scholar 

  9. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Proceedings of the IEEE, 79(9):1321–1336, September 1991.

    Google Scholar 

  10. N. Halbwachs, F. Lagnier and P. Raymond. Synchronous observers and the verification of reactive systems. In Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST’93, Twente, M. Nivat and C Rattray and T. Rus and G. Scollo, Eds., Workshops in Computing, Springer Verlag. Jun. 1993.

    Google Scholar 

  11. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers. 1997. ISBN 0-7923-9894-7.

    Google Scholar 

  12. L. Lamport. Time, clocks and the ordering of events in a distributed system. Communication of the ACM, 21:558–565, 1978.

    Article  MATH  Google Scholar 

  13. Kim G. Larsen, P. Pettersson, and Wang Yi. UPPAAL in a Nutshell. In Springer International Journal of Software Tools for Technology Transfer, 1(1–2), 134–152, Dec. 1997.

    Google Scholar 

  14. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. Science of Computer Programming, 41(1):85–104, Aug. 2001.

    Google Scholar 

  15. M. Pease, R.E. Shostak, and L. Lamport. Reaching agreement in the presence of faults. Journal of the ACM, 27(2):228–237, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  16. J. Rushby. Bus architectures for safety-critical embedded systems. In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT’01, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 306–323, Springer Verlag, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Irisa/Inria, Campus de Beaulieu, 35042, Rennes, France

    Albert Benveniste, Paul Le Guernic, Hervé Marchand & Jean -Pierre Talpin

  2. Verimag, Centre Equation, 2, rue de Vignate, F-38610, Gieres

    Paul Caspi & Stavros Tripakis

Authors
  1. Albert Benveniste
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paul Caspi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul Le Guernic
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hervé Marchand
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jean -Pierre Talpin
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Stavros Tripakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of EECS, University of California at Berkeley, Berkeley, CA, 94720, USA

    Alberto Sangiovanni-Vincentelli

  2. Verimag, Centre Equation, 2 rue de Vignate, 38610, Gieres, France

    Joseph Sifakis

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benveniste, A., Caspi, P., Guernic, P.L., Marchand, H., Talpin, J.P., Tripakis, S. (2002). A Protocol for Loosely Time-Triggered Architectures. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds) Embedded Software. EMSOFT 2002. Lecture Notes in Computer Science, vol 2491. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45828-X_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-45828-X_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44307-0

  • Online ISBN: 978-3-540-45828-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation