Structural component composition for system-level models

Authors:
Frederic Doucet;Sandeep Shukla;Rajesh Gupta
Affiliations:
Computer Science and Engineering, University of California, San Diego;Electrical and Computer Engineering Department, Virginia Tech;Computer Science and Engineering, University of California, San Diego
Venue:
Formal methods and models for system design
Year:
2004

Citing 24
Cited 0

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Interface-based design

DAC '97 Proceedings of the 34th annual Design Automation Conference
Non-intrusive object introspection in C++: architecture and application

Proceedings of the 20th international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures

Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Interoperability as a design issue in C++ based modeling environments

Proceedings of the 14th international symposium on Systems synthesis
Types and programming languages

Types and programming languages
Component-based design approach for multicore SoCs

Proceedings of the 39th annual Design Automation Conference
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
System Design with SystemC

System Design with SystemC
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Scripting: Higher-Level Programming for the 21st Century

Computer
Advances in Network Simulation

Computer
Automating the Design of SOCs Using Cores

IEEE Design & Test
Automatic Synthesis of Communication Controller Hardware from Protocol Specifications

IEEE Design & Test
Architectural Mismatch: Why Reuse Is So Hard

IEEE Software
Architectural Mismatch: Why Reuse Is So Hard

IEEE Software
Interface Theories for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Message sequence charts

UML for real
UML and platform-based design

UML for real
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
BALBOA: a component-based design environment for system models

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

There are many frameworks for high-level modeling of system-on-chip architectures. Most offer a virtual-to-concrete architecture paradigm and a trade-off in efficiency vs. convenience. We present a framework that implements a split-programming model to provide a composition environment with a type abstraction, close to a "box-and-arrow" specification style. From an abstract specification of component interconnections, a structural type inference is used to produce architectures that can be simulated. We highlight the importance of reflection and introspection to provide component type abstraction. We show the structural type resolution problem to be NP-complete, present a heuristic to solve it and conclude with a packet switch example.