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 onlyrecen tlythat it went aware of the diversity of such issues, depending on the context. The aim of this paper is to show and explain this diversityb ylo oking 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.

[1]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[2]  Calton Pu,et al.  Optimistic incremental specialization: streamlining a commercial operating system , 1995, SOSP.

[3]  Albert Benveniste,et al.  Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..

[4]  C. Wolinski,et al.  A method for the generation of HDL code at the RTL level from a high-level formal specification language , 1997, Proceedings of 40th Midwest Symposium on Circuits and Systems. Dedicated to the Memory of Professor Mac Van Valkenburg.

[5]  P. Guernic,et al.  Data-flow to Von Neumann : the SIGNAL approach , 1990 .

[6]  Alberto L. Sangiovanni-Vincentelli,et al.  Theory of latency-insensitive design , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  J. McAffer,et al.  Meta-level architecture support for distributed objects , 1995, Proceedings of International Workshop on Object Orientation in Operating Systems.

[8]  Paul Caspi,et al.  Embedded Control: From Asynchrony to Synchrony and Back , 2001, EMSOFT.

[9]  Calton Pu,et al.  Fast, optimized Sun RPC using automatic program specialization , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[10]  Pattie Maes,et al.  Concepts and experiments in computational reflection , 1987, OOPSLA '87.

[11]  Paul Caspi,et al.  Threshold and Bounded-Delay Voting in Critical Control Systems , 2000, FTRTFT.

[12]  Benoît Caillaud,et al.  From Synchrony to Asynchrony , 1999, CONCUR.