Skip to main content
SpringerLink
Log in

Some Synchronization Issues When Designing Embedded Systems from Components

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

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

Included in the following conference series:

Abstract

This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I knew this for quite a long time. But it is only recently that it went aware of the diversity of such issues, depending on the context. The aim of this paper is to show and explain this diversity by looking at three areas where systems design is of interest, namely: 1/ building software or hardware architectures composed of components interacting asynchronously, 2/ synchronous hardware design from IP’s, and 3/ designing distributed real-time control systems. A large part of this paper relies on other people’s work, I indicate appropriate references in each case.

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. A. Benveniste and P. Le Guernic. “Hybrid dynamical systems theory and the Signal language.” IEEE Trans. on Automatic Control, AC-35(5): 535–546, 1990.

    Google Scholar 

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

    Article  MathSciNet  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.

    Google Scholar 

  4. A. Benveniste, B. Caillaud, P. Le Guernic, and J. P. Talpin. Desynchronization of synchronous programs: summary of results. Preprint, available at http://www.irisa.fr/sigma2/benveniste/pub/Bal99.html

  5. L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli. The theoryof latencyinsensitiv e design. Submitted for publication, 2001.

    Google Scholar 

  6. P. Caspi and R. Salem. Threshold and Bounded-DelayV oting in Critical Control Systems. Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, September 2000, Joseph Mathai Ed., 68–81, Lecture Notes in Computer Science, vol 1926.

    Google Scholar 

  7. P. Caspi. Embedded control: from asynchrony to synchrony and back. This volume.

    Google Scholar 

  8. A. Kountouris and C. Wolinski. A method for the generation of HDL code at the RTL level from a high-level formal specification language. In Proc. of MWSCAS’97, IEEE Computer SocietyPress, Sacramento, Aug. 1997.

    Google Scholar 

  9. P. Le Guernic and T. Gautier. Data-flow to von Neumann: the Signal approach. In Advanced topics in data-flow computing, J-L. Gaudiot, L. Bic Eds., 413–438, Prentice Hall, 1991.

    Google Scholar 

  10. P. Maes. Concepts and Experiments in Computational Reflection. In Proceedings of OOPSLA’87, Vol. 22 of ACM SIGPLAN Notices, ACM Press, 1987.

    Google Scholar 

  11. J. McAffer. Meta-Level Architecture Support for Distributed Objects. In Proceedings of Reflection 96, G. Kiczales (ed), San Francisco, USA, March 1996.

    Google Scholar 

  12. G. Muller, R. Marlet, E. N. Volanschi, C. Consel, C. Pu, and A. Goel. Fast, Optimized Sun RPC using Automatic Program Specialization. In Proceedings ICDCS’98, Amsterdam, May1998.

    Google Scholar 

  13. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, K. Zhang. Optimistic Incremental Specialization: Streamlining a Commercial Operating System. In Proceedings 15th ACM Symposium on Operating Systems Principles, Copper Mountain Resort, Colorado, USA, December 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Albert Benveniste

Authors
  1. Albert Benveniste
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, 94720-1770, USA

    Thomas A. Henzinger  & Christoph M. Kirsch  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benveniste, A. (2001). Some Synchronization Issues When Designing Embedded Systems from Components. In: Henzinger, T.A., Kirsch, C.M. (eds) Embedded Software. EMSOFT 2001. Lecture Notes in Computer Science, vol 2211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45449-7_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-45449-7_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42673-8

  • Online ISBN: 978-3-540-45449-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation