Modularity vs. reusability: Code generation from synchronous block diagrams

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 1504-1509

  Lublinerman, Roberto ^a   Tripakis, Stavros ^b  

^a The Center for Nanotechnology Education and Utilization   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCK DIAGRAMS; CODE GENERATIONS; DEPENDENCY CYCLES; SUB-BLOCKS;

CODES (STANDARDS); CODES (SYMBOLS); GRAPHIC METHODS; INDUSTRIAL ENGINEERING; TESTING;

SET THEORY;

EID: 49749123427     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484887     Document Type: Conference Paper

References (12)

1. P. Aubry, P. Le Guernic, and S. Machard. Synchronous distribution of Signal programs. In Proc. 29th Hawaii Intl. Conf. Sys. Sciences, pages 656-665. IEEE, 1996.
2. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proc. IEEE, 91(1):64-83, Jan. 2003.
3. A. Benveniste, P. Le Guernic, and P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. Technical Report 3310, Irisa - Inria, 1997.
4. S. Edwards and E. Lee. The semantics and execution of a synchronous block-diagram language. Science of Computer Programming, 48:21-42(22), July 2003.
5. O. Hainque, L. Pautet, Y. L. Biannic, and E. Nassor. Cronos: A Separate Compilation Toolset for Modular Esterel Applications. In World Congress on Formal Methods (FM'99), pages 1836-1853. Springer, 1999.
6. E. Lee and H. Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT '07: Proc. 7th ACM & IEEE Intl. Conf. on Embedded software, pages 114-123. ACM, 2007.
7. O. Maffeis and P. Le Guernic. Distributed Implementation of Signal: Scheduling & Graph Clustering. In Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 547-566. Springer, 1994.
8. D. Potop-Butucaru, S. Edwards, and G. Berry. Compiling Esterel. Springer, 2007.
9. P. Raymond. Compilation séparée de programmes Lustre. Master's thesis, IMAG, 1988. In French.
10. K. Schneider, J. Brandt, and E. Vecchié. Modular compilation of synchronous programs. In Distr. and Parallel Emb. Sys. (DIPES'06), pages 75-84. Springer, 2006.
11. J. Zeng and S. Edwards. Separate compilation of synchronous modules. In Embedded Software and Systems (ICESS 2005), volume 3820 of LNCS. Springer, 2005.
12. M. Zennaro and R. Sengupta. Distributing synchronous programs using bounded queues. In EMSOFT '05: 5th ACM Intl. Conf. on Embedded Software, pages 325-334. ACM, 2005.