Abstract:
Category: (T5.2) Hardware/Software co-design, partitioning, system-level specification and design aids; (M1.6) System-level design, embedded-system design and co-design IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design abstractions that raise the level of designer interaction during the specification, synthesis, and simulation of the design. IPCHINOOK focuses on a component-based approach to system building that enhances the ability to reuse existing modules encapsulating software and/or hardware intellectual property. This is accomplished through a new model for constructing components that enables composition of control-flow as well as data-flow. The designer then maps the elements of the specification to a target architecture, a set of processing elements and communication channels, and IPCHINOOK synthesizes all of the detailed communication and synchronization instructions. Designers get feedback via a co-simulation engine that permits rapid evaluation. By shortening the design cycle, designers are able to more completely explore the design space of possible architectures. The IPCHINOOK approach to embedded system design has been embodied in a system development environment that supports the design cycle through an integrated user interface. By raising the level of abstraction of specifications, above the low-level target-specific implementation, and by automating the generation of these difficult and errorprone details, IPCHINOOK lets designers spend their time where they are most effective, namely, in making global decisions. 1
Citations
|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
410
|
Real-Time ObjectOriented Modeling
– Selic, Gullekson, et al.
- 1994
|
|
76
|
Interface-based design
– Rowson, Sangiovanni–Vincentelli
- 1997
|
|
72
|
Hardware/software co-simulation
– Rowson
- 1994
|
|
58
|
Communicating reactive processes
– Berry, Ramesh, et al.
- 1993
|
|
56
|
Interface co-synthesis techniques for embedded systems
– Chou, Ortega, et al.
- 1995
|
|
45
|
Communication synthesis for distributed embedded systems
– Ortega, Borriello
- 1998
|
|
39
|
Dynamic communication models in embedded system co-simulation
– Hines, Borriello
- 1997
|
|
29
|
Synthesis of the hardware/software interface in microcontroller-based systems
– Chou, Ortega, et al.
- 1992
|
|
28
|
Protocol selection and interface generation for Hw–Sw co-design
– Daveau, Marchioro, et al.
- 1997
|
|
24
|
Synthesis Steps and Design Models for Codesign
– Ismail, Jerraya
- 1995
|
|
20
|
Hardware-software codesign of digital telecommunication systems
– Bolsens, Man, et al.
- 1997
|
|
16
|
Automatic generation of interfaces for distributed C-VHDL cosimulation of embedded systems: an industrial experience
– Valderrama
- 1996
|
|
14
|
Fast hardware/software co-simulation for virtual prototyping and tradeoff analysis
– Passerone, Lavagno, et al.
- 1997
|
|
11
|
Co-synthesis and co-simulation of control dominated embedded systems
– Balboni, Fornaciari, et al.
- 1996
|
|
9
|
A Geographically Distributed Framework for Embedded
– Hines, Borriello
- 1998
|
|
8
|
An analysis-based approach to composition of distributed embedded systems
– Chou, Borriello
- 1998
|
|
8
|
The COSYMA environment for hardware/software cosynthesis of small embedded systems
– ERNST, HENKEL, et al.
- 1996
|
|
2
|
Programming a digital watch in ESTEREL v3 2
– Berry
- 1991
|
|
2
|
held PDA benchmark for co-design, http://www.it.dtu.dk/jan/WubbleU
– hand
|
|
1
|
A case study in computer-aidedco-design of embedded controllers. Design Automation for Embedded Systems
– CHIODO, ENGELS, et al.
- 1996
|
|
1
|
Debugging distributed implementations of modal process systems
– HINES, BORRIELLO
- 1998
|
