BALBOA: a component-based design environment for system models

Authors:
F. Doucet;S. Shukla;M. Otsuka;R. Gupta
Affiliations:
Center for Embedded Comput. Syst., California Univ., Irvine, CA, USA;-;-;-
Venue:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year:
2006

Citing 0
Cited 6

Structural component composition for system-level models

Formal methods and models for system design
Modeling and design challenges and solutions for carbon nanotube-based interconnect in future high performance integrated circuits

ACM Journal on Emerging Technologies in Computing Systems (JETC)
MCF: a metamodeling-based component composition framework-composing SystemC IPs for executable system models

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis

ACM Transactions on Design Automation of Electronic Systems (TODAES)
A methodology for constraint-driven synthesis of on-chip communications

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Compositional semantics of system-level designs written in systemC

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering

Quantified Score

Hi-index	0.03

Visualization

Abstract

This paper presents the BALBOA component composition framework for system-level architectural design. It has three parts: a loosely-typed component integration language (CIL); a set of C++ intellectual property (IP) component libraries; and a set of split-level interfaces (SLIs) to link the two. A CIL component interface can be mapped to many different C++ component implementations. A type-inference system maps all weakly-typed CIL interfaces to strongly typed C++ component implementations to produce an executable architectural model. Thus, this amounts to selecting IP implementations according to a set of connection constraints. The SLIs are used to select, adapt, and validate the implementation types. The advantage of using the CIL is that the design description sizes are much smaller because the runtime infrastructure automatically selects the IP and communication implementations. The type inference facilitates changes by automatically propagating them through the design structure. We show that the inference problem is NP complete and we present a heuristic solution to the problem. We bring forth a number of issues related to the automation of reusable IP composition including type- compatibility checking, split-programming, and introspective composition environment, and demonstrate their utility through design examples.