Modularity vs. reusability: code generation from synchronous block diagrams

Authors:
Roberto Lublinerman;Stavros Tripakis
Affiliations:
The Pennsylvania State University, University Park, PA;Cadence Research Laboratories, Berkeley, CA
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
2008

Citing 7
Cited 11

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Synchronous Distribution of SIGNAL Programs

HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
The semantics and execution of a synchronous block-diagram language

Science of Computer Programming
Distributing synchronous programs using bounded queues

Proceedings of the 5th ACM international conference on Embedded software
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Compiling Esterel

Compiling Esterel
Separate compilation for synchronous modules

ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems

Modular code generation from synchronous block diagrams: modularity vs. code size

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On relational interfaces

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A higher-order extension for imperative synchronous languages

Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Separate compilation and execution of imperative synchronous modules

Proceedings of the Conference on Design, Automation and Test in Europe
A Theory of Synchronous Relational Interfaces

ACM Transactions on Programming Languages and Systems (TOPLAS)
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

Simulation
Causal commutative arrows

Journal of Functional Programming - Dedicated to ICFP 2009
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata

Discrete Event Dynamic Systems
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs

ACM Transactions on Embedded Computing Systems (TECS)
Design synthesis and optimization for automotive embedded systems

Proceedings of the 2014 on International symposium on physical design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present several methods to generate modular code from synchronous hierarchical block diagrams. Modularity means code is generated for a given macro (i.e., composite) block independently from context, that is, without knowing where this block is to be used, and also with minimal knowledge about its sub-blocks. We achieve this by generating a set of interface functions for each block and a set of dependencies between these functions that is exported along with the interface. The main trade-off is the degree of modularity (number of interface functions) vs. reusability (the set of diagrams that the block can be used in without creating dependency cycles).