Componentizing hardware/software interface design

Building highly optimized embedded systems demands hardware/software (HW/SW) co-design. A key challenge in co-design is the design of HW/SW interfaces, which is often a design bottleneck. We propose a novel approach to HW/SW interface design based on the concept of bridge component. Bridge components fill the HW/SW semantic gap by propagating events across the HW/SW boundary and raise the abstraction level for designing HW/SW interfaces by abstracting processors, buses, embedded OS, etc. of embedded system platforms. Bridge components are specified in platform-specific bridge specification languages (BSLs) and compiled by the BSL compilers for simulation and deployment.We have applied our approach to two different embedded system platforms. Case studies have shown that bridge components greatly simplify component-based co-design of embedded systems and system simulation speed can be improved three orders of magnitude by simulating bridge components on the transaction level.

[1]  Rajesh Gupta,et al.  Hardware/software co-design , 1996, Proc. IEEE.

[2]  Guowu Yang,et al.  Component-based hardware/software co-verification for building trustworthy embedded systems , 2007, J. Syst. Softw..

[3]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[4]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[5]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.

[6]  Alessandro Forin,et al.  Giano: The Two-Headed System Simulator , 2006 .

[7]  Frank Ghenassia,et al.  Transaction Level Modeling with SystemC , 2005 .

[8]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[9]  Diederik Verkest,et al.  Combining software synthesis and hardware/software interface generation to meet hard real-time constraints , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[10]  Fei Xie,et al.  Unified Property Specification for Hardware/Software Co-Verification , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[11]  Frank Ghenassia Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems , 2010 .

[12]  Wayne H. Wolf A Decade of Hardware/Software Codesign , 2003, Computer.

[13]  Matt Welsh,et al.  Sensor networks for medical care , 2005, SenSys '05.

[14]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[15]  Robert Günzel,et al.  Embedded software development on top of transaction-level models , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).