Some Synchronization Issues When Designing Embedded Systems from Components

  • Albert Benveniste
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2211)


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.


Intellectual Property Clock Cycle Global Clock Synchronous Behaviour Synchronization Issue 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionalityin dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163, 125–171 (2000).CrossRefMathSciNetGoogle Scholar
  3. 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. 4.
    A. Benveniste, B. Caillaud, P. Le Guernic, and J. P. Talpin. Desynchronization of synchronous programs: summary of results. Preprint, available at
  5. 5.
    L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli. The theoryof latencyinsensitiv e design. Submitted for publication, 2001.Google Scholar
  6. 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. 7.
    P. Caspi. Embedded control: from asynchrony to synchrony and back. This volume.Google Scholar
  8. 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. 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. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Albert Benveniste
    • 1
  1. 1.Inria / IrisaRennesFrance

Personalised recommendations