Some synchronization issues when designing embedded systems from components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 32-49

  Benveniste, Albert ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE; REAL TIME CONTROL;

ASYNCHRONY; BUILDING SOFTWARES; HARDWARE ARCHITECTURE; HARDWARE DESIGN; LARGE PARTS;

EMBEDDED SYSTEMS;

EID: 84947258851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_3     Document Type: Conference Paper

References (13)

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.
2. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionalityin dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163, 125-171 (2000).
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.
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/B al99.html
5. L.P. Carloni, K.L. McMillan, and A.L. Sangiovanni-Vincentelli. The theoryof latencyinsensitiv e design. Submitted for publication, 2001.
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.
7. P. Caspi. Embedded control: from asynchrony to synchrony and back. This volume.
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.
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.
10. P. Maes. Concepts and Experiments in Computational Reflection. In Proceedings of OOPSLA’87, Vol. 22 of ACM SIGPLAN Notices, ACM Press, 1987.
11. J. McAffer. Meta-Level Architecture Support for Distributed Objects. In Proceedings of Reflection 96, G. Kiczales (ed), San Francisco, USA, March 1996.
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, May 1998.
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.