skip to main content
10.1145/1023833.1023862acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

Modular design through component abstraction

Published: 22 September 2004 Publication History

Abstract

Growing design sizes and shrinking time to market windows can only be met with drastically increased productivity. One way to obtain this is a smart reuse of intellectual property. This paper presents a methodology for modular design with the help of component abstraction. It describes how imperative components can be transformed into a formal, synchronous description to provide behavioral types to the components. The synchronous composition of these abstracted components helps discover errors in the component composition. The presented methodology is illustrated by the detailed case study of a Finite Impulse Response filter. We transform initial \systemc\ modules into an intermediate static single assignment representation which is used as a basis from which corresponding behavioral types are built.

References

[1]
T. P. Amagbegnon, L. Besnard, and P. Le Guernic. Implementation of the data-flow synchronous language signal. In Conference on Programming Language Design and Implementation. ACM Press, 1995.]]
[2]
A. Benveniste. Some synchronization issues when designing embedded systems from components. In Conference on Embedded Software, EMSOFT'01, volume 2211, pages 32--49. T. Henzinger and C. Hirsch, Eds, LNCS, 2001.]]
[3]
A. Benveniste, P. Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: the signal language and its semantics. Science of Computer Programming, 16(2):103--149, 1991.]]
[4]
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, 1991.]]
[5]
L. de Alfaro and T. A. Henzinger. Interface theories for component-based design. In First International Workshop on Embedded Software, pages pp. 148--165. Lecture Notes in Computer Science 2211, Springer-Verlag, 2001.]]
[6]
F. Doucet, S. Shukla, and R. Gupta. Typing abstractions and management in a component framework. In Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE Press, Jan. 2003.]]
[7]
Free Software Foundation. The GCC tree-ssa documentation. http://gcc.gnu.org/onlinedocs/gccint/Tree-SSA.html.]]
[8]
Free Software Foundation. The GNU compiler collection. http://gcc.gnu.org]]
[9]
D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Mar. 2000.]]
[10]
T. Groetker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.]]
[11]
L. J. Hendren, C. Donawa, M. Emami, G. R. Gao, Justiani, and B. Sridharan. Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations. In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, pages 406--420. Springer-Verlag, LNCS 757, 1993.]]
[12]
IRISA, project ESPRESSO. The polychrony workbench. http://www.irisa.fr/espresso/Polychrony.]]
[13]
P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. Journal of Circuits, Systems and Computers, 12(1), Apr. 2003.]]
[14]
H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications, 10(4):325--346, Oct. 2000.]]
[15]
J. Merrill. GENERIC and GIMPLE: A new tree representation for entire functions. In GCC Developers Summit, Ottawa, Canada, May 2003.]]
[16]
Open SystemC Initiative. The OSCI systemc website. http://www.SystemC.org/, 2004.]]
[17]
S. K. Rajamani and J. Rehof. A behavioral module system for the pi-calculus. In Proceedings Static Analysis Symposium (SAS'01), Paris, July 2001. Springer Verlag.]]
[18]
J.-P. Talpin, D. Berner, S. Shukla, A. Gamatie, P. Le Guernic, and R. Gupta. A behavioral type inference system for compositional system-on-chip design. In International Conference on Application of Concurrency to System Design (ACSD), Hamilton, Canada, June 2004.]]
[19]
J.-P. Talpin, A. Gamatie, D. Berner, B. Le Dez, and P. Le Guernic. Hard real-time implementation of embedded systems in java. In International Workshop on Scientific Engineering of Distributed JAVA Applications, Lectures Notes in Computer Science. Springer Verlag, Nov. 2003.]]
[20]
J.-P. Talpin, P. Le Guernic, S. K. Shukla, R. Gupta, and F. Doucet. Polychrony for formal refinement-checking in a system-level design methodology. In Special Issue of Fundamenta Informaticae on Applications of Concurrency to System Design. IOS Press, Aug. 2004.]]

Cited By

View all
  • (2006)Automated Translation of C/C++ Models into a Synchronous FormalismProceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems10.1109/ECBS.2006.27(426-436)Online publication date: 27-Mar-2006
  • (2005)A compositional behavioral modeling framework for embedded system design and conformance checkingInternational Journal of Parallel Programming10.1007/s10766-005-8907-y33:6(613-643)Online publication date: 1-Dec-2005

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CASES '04: Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
September 2004
324 pages
ISBN:1581138903
DOI:10.1145/1023833
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 September 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. behavioral interfaces
  2. component based design
  3. synchronous languages

Qualifiers

  • Article

Conference

CASES04

Acceptance Rates

Overall Acceptance Rate 52 of 230 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2006)Automated Translation of C/C++ Models into a Synchronous FormalismProceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems10.1109/ECBS.2006.27(426-436)Online publication date: 27-Mar-2006
  • (2005)A compositional behavioral modeling framework for embedded system design and conformance checkingInternational Journal of Parallel Programming10.1007/s10766-005-8907-y33:6(613-643)Online publication date: 1-Dec-2005

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media