Some Synchronization Issues When Designing Embedded Systems from Components
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.
KeywordsIntellectual Property Clock Cycle Global Clock Synchronous Behaviour Synchronization Issue
Unable to display preview. Download preview PDF.
- 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
- 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