The Community for Technology Leaders
Rapid System Prototyping, IEEE International Workshop on (2006)
Chania, Crete
June 14, 2006 to June 16, 2006
ISSN: 1074-6005
ISBN: 0-7695-2580-6
TABLE OF CONTENTS
Introduction
Session 1: Software Verification

Dynamic Mapping of Runtime Information Models for Debugging Embedded Software (Abstract)

Klaus D. Muller-Glaser , University of Karlsruhe, Germany
Philipp Graf , University of Karlsruhe, Germany
pp. 3-9

Principles for System Prototype and Verification Using Metamodel Based Transformations (Abstract)

Didier Buchs , University of Geneva, Switzerland
Luis Pedro , University of Geneva, Switzerland
Levi Lucio , University of Geneva, Switzerland
pp. 10-17

Creation and Validation of Embedded Assertion Statecharts (Abstract)

Kadir Alpaslan Demir , Naval Postgraduate School, USA
Man-Tak Shing , Naval Postgraduate School, USA
Doron Drusinsky , Naval Postgraduate School, USA
pp. 17-23

Early Embedded Software Design Space Exploration Using UML-Based Estimation (Abstract)

Luigi Carro , Universidade Federal do Rio Grande do Sul, Brazil
Marcio F. da S. Oliveira , Universidade Federal do Rio Grande do Sul, Brazil
Fl?vio R. Wagner , Universidade Federal do Rio Grande do Sul, Brazil
Lisane B. de Brisolara , Universidade Federal do Rio Grande do Sul, Brazil
pp. 24-32
Session 2: Hardware Performance Estimation

A Prototyping Tool for Analysis and Modeling of Video Transmission Traces over IP Networks (Abstract)

Nikolaos Bourbakis , Wright State University, USA
Ming Yang , Wright State University, USA
pp. 33-39

Rapid Resource-Constrained Hardware Performance Estimation (Abstract)

Basant K. Dwivedi , Calypto Design Systems (I) Pvt. Ltd, India
M. Balakrishnan , Indian Institute of Technology Delhi, India
Anshul Kumar , Indian Institute of Technology Delhi, India
Arun Kejariwal , University of California at Irvine, USA
pp. 40-46

Rapid Performance and Power Consumption Estimation Methods for Embedded System Design (Abstract)

Smail Niar , Universit? de Valenciennes et du Hainaut-Cambr?sis, France
Nicolas Inglart , Universit? de Valenciennes et du Hainaut-Cambr?sis, France
pp. 47-53

Performance Evaluation of an Adaptive FPGA for Network Applications (Abstract)

Christoforos Kachris , Delft University of Technology, The Netherlands
Stamatis Vassiliadis , Delft University of Technology, The Netherlands
pp. 54-62
Session 3: Design Methodologies

A Mixed-Level Virtual Prototyping Environment for Refinement-Based Design Environment (Abstract)

Soo-Ik Chae , Seoul National University, Korea
Sangyong Yoon , Seoul National University, Korea
Sanggyu Park , Seoul National University, Korea
pp. 63-68

Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach" (Abstract)

Ahmed Jerraya , System-Level Synthesis Group, France
Fr?d?ric Rousseau , System-Level Synthesis Group, France
Aimen Bouchhima , System-Level Synthesis Group, France
Benaoumeur Senouci , System-Level Synthesis Group, France
Fr?d?ric Petrot , System-Level Synthesis Group, France
pp. 69-75

The Prototyping Methodology of a Data Receiver for Digital Audio Broadcasting (DAB) Networks (Abstract)

M. J. Garrido , Universidad Polit?cnica de Madrid, Spain
M. A. Freire , Universidad Polit?cnica de Madrid, Spain
P. J. Lobo , Universidad Polit?cnica de Madrid, Spain
F. Pescador , Universidad Polit?cnica de Madrid, Spain
C. Sanz , Universidad Polit?cnica de Madrid, Spain
D. Samper , Universidad Polit?cnica de Madrid, Spain
pp. 76-81

System-on-Chip Design Methodology for a Statistical Coder (Abstract)

J. Nankoo , National University of Singapore
Y. Lian , National University of Singapore
Thinh M. Le , National University of Singapore
X.H. Tian , National University of Singapore
B.L. Ho , National University of Singapore
pp. 82-90
Session 4: Hardwared Verification

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment (Abstract)

J. Vachon , Universit? de Montr?al, Canada
M. Metzger , Universit? de Montr?al, Canada
F. Bastien , Universit? de Montr?al, Canada
F. Rousseau , Laboratoire TIMA, France
E. M. Aboulhamid , Universit? de Montr?al, Canada
pp. 91-97

Asynchronous Assertion Monitors for multi-Clock Domain System Verification (Abstract)

Laurent Fesquet , TIMA Laboratory, France
Katell Morin-Allory , TIMA Laboratory, France
Dominique Borrione , TIMA Laboratory, France
pp. 98-102
Session 5: Software Prototyping Methodologies

Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources (Abstract)

Daniel Cheung , CSTB, France
Michel Riveill , UNSA / CNRS, France
Jean-Yves Tigli , UNSA / CNRS, France
St?phane Lavirotte , UNSA / CNRS, France
pp. 119-125

An Agile BSP Modeling Methodology: Cross Platform BSP Framework (CPBF) (Abstract)

Hu Wei , Zhejiang University, China
Dai Hongjun , Zhejiang University, China
Yin Yan , Zhejiang University, China
Chen Tianzhou , Zhejiang University, China
pp. 126-132

A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs (Abstract)

Frederic Pasquier , THOMSON R&D France, France
Michel Barreteau , THALES Research & Technology, France
Francois Irigoin , Ecole des mines de Paris, France
Isabelle Hurbain , Ecole des mines de Paris, France
Nicolas Museux , THALES Research & Technology, France
Corinne Ancourt , Ecole des mines de Paris, France
pp. 133-139

Generative Business Process Prototyping Framework (Abstract)

Didier Buchs , University of Geneva, Switzerland
Ang Chen , University of Geneva, Switzerland
pp. 140-148
Session 6: Co-Design

An Embedded Java Virtual Machine Using Network-on-Chip Design (Abstract)

Kenneth B. Kent , University of New Brunswick, Canada
Graham Mathias , University of New Brunswick, Canada
pp. 149-155

Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling (Abstract)

Anne-Marie Fouillart , THALES, France
Ahmed Jerraya , TIMA Laboratory, France
Frederic Petrot , TIMA Laboratory, France
Wassim Youssef , TIMA Laboratory, France
Lobna Kriaa , TIMA Laboratory, France
Aimen Bouchhima , TIMA Laboratory, France
pp. 156-162

RTOS Scheduler Implementation in Hardware and Software for Real Time Applications (Abstract)

Carlos Reif , PUCRS, Brazil
Luciano Ost , PUCRS, Brazil
Fabiano Hessel , PUCRS, Brazil
C?sar A. M. Marcon , PUCRS, Brazil
Melissa Vetromille , PUCRS, Brazil
pp. 163-168

Application-Level Memory Optimization for MPSoC (Abstract)

P. Paulin , STMicroelectronics
E.M. Aboulhamid , Universit? de Montr?al
Y. Bouchebaba , ?cole Polytechnique de Montr?al
G. Nicolescu , ?cole Polytechnique de Montr?al
B. Girodias , ?cole Polytechnique de Montr?al
B. Lavigueur , STMicroelectronics
pp. 169-178
Session 7: Advanced Simulation Techniques

Platform Development for Run-Time Reconfigurable Co-Emulation (Abstract)

Rawat Siripokarpirom , Technical University Hamburg-Harburg, Germany
pp. 179-185

Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool (Abstract)

Faouzi Bouchhima , Ecole Polytechnique de Montr?al, Canada
Hanifa Boucheneb , Ecole Polytechnique de Montr?al, Canada
Luiza Gheorghe , Ecole Polytechnique de Montr?al, Canada
Gabriela Nicolescu , Ecole Polytechnique de Montr?al, Canada
pp. 186-192

Development of an FPGA-based System for Real-Time Simulation of (Abstract)

Vasileios Tzitzilonis , Technical University of Crete, Greece
Eftichios Koutroulis , Technical University of Crete, Greece
Kostas Kalaitzakis , Technical University of Crete, Greece
pp. 200-208
Session 8: Hardwared Implementation

Parameter-Specific FPGA Implementation of Edit-Distance Calculation (Abstract)

Yong Zhao , University of New Brunswick, Canada
Ryan B. Proudfoot , University of New Brunswick, Canada
Kenneth B. Kent , University of New Brunswick, Canada
pp. 209-215

A High Performance Parallel FIR Filters Generation Tool (Abstract)

Vagner S. Rosa , Univ. Fed. Rio Grande do Sul, Brazil
Sergio Bampi , Univ. Fed. Rio Grande do Sul, Brazil
Eduardo Costa , Univ. Cat?lica de Pelotas, Brazil
pp. 216-222

Rapid Phototyping of a System-on-a-Chip for the BLAST Algorithm Implementation (Abstract)

Christos Kozanitis , Technical University of Crete, Greece
Apostolos Dollas , Wright State University, USA
Grigorios Chrysos , Technical University of Crete, Greece
Euripides Sotiriades , Technical University of Crete, Greece
pp. 223-229

Design and Implementation of an Object Tracker on a Reconfigurable System on Chip (Abstract)

Felix M?hlbauer , University of Kaiserslautern, Germany
Christophe Bobda , University of Kaiserslautern, Germany
pp. 230
Author Index

Author Index (PDF)

pp. 237-238
95 ms
(Ver )