| Preface |
| Workshop Organization |
| Modelling and Specification / Session 1： |
| Can UML be a System-Level Language for Embedded Software? / Joao M. Fernandes ; Ricardo J. Machado |
| PEARL for Distributed Embedded Systems / Roman Gumzej ; Wolfgang A. Halang |
| Universal Plug and Play Machine Models / Uwe Glasser ; Margus Veanes |
| Specification and Analysis / Session 2： |
| Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach / Zonghua Gu ; Kang G. Shin |
| Petri Net Based Design of Reconfigurable Embedded Real-Time Systems / Carsten Rust ; Friedhelm Stappert ; Reinhard Bernhardi-Grisson |
| Model Checking Robustness to Desynchronization / Jean-Pierre Talpin |
| Verification and Validation / Session 3： |
| A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems / Nihal Kececi ; Alain Abran |
| Towards Design Verification and Validation at Multiple Levels of Abstraction / Holger Giese ; Martin Kardos ; Ulrich Nickel |
| Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions / Prabhat Mishra ; Nikil Dutt |
| Fault Tolerance and Detection / Session 4： |
| Statistical Analysis of a Hybrid Replication Model / Emerson Rogerio de Oliveira Junior ; Ingrid Jansch Porto |
| Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study / Paul Townend ; Jie Xu ; Malcolm Munro |
| Fault Detection in Safety-Critical Embedded Systems / Domen Verber ; Matjaz Colnaric |
| Middleware and Reuse / Session 5： |
| Dependability Characterization of Middleware Services / Eric Marsden ; Nicolas Perrot ; Jean-Charles Fabre ; Jean Arlat |
| Adaptive Middleware for Ubiquitous Computing Environments / Steven S. Yau ; Fariaz Karim |
| Finegrained Application Specific Customization of Embedded Software / Danilo Beuche ; Olaf Spinczyk ; Wolfgang Schroder-Preikschat |
| Timing and Performance Analysis / Session 6： |
| Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems / Grace Tsai |
| Transforming Execution-Time Boundable Code into Temporally Predictable Code / Peter Puschner |
| Bottom-Up Performance Analysis of HW/SW Platforms / Kai Richter ; Dirk Ziegenbein ; Marek Jersak ; Rolf Ernst |
| Partitioning and Scheduling / Session 7： |
| Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems / Christophe Bobda |
| Integration of Low Power Analysis into High-Level Synthesis / Achim Rettberg ; Bernd Kleinjohann ; Franz J. Rammig |
| Going Beyond Deadline-Driven Low-Level Scheduling in Distributed Real-Time Computing Systems / K. H. (Kane) Kim ; Juqiang Liu |
| Communication and Application / Session 8： |
| IEEE-1394 A Standard to Interconnect Distributed Systems / Romualdo Santamaria |
| Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a / M. Zanella ; T. Lehmann ; T. Hestermeyer ; A. Pottharst |
| A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems / Stefan Ihmor ; Markus Visarius ; Wolfram Hardt |
| Low Latency Color Segmentation on Embedded Real-Time Systems / Dirk Stichling |
| Design Methods and Frameworks / Session 9： |
| Soft IP Design Framework Using Metaprogramming Techniques / Vytautas Stuikys ; Robertas Damasevicius ; Giedrius Ziberkas ; Giedrius Majauskas |
| How to integrate Webservices in Embedded System Design? / Wolfgang Thronicke |
| Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems / M. Deppe |
| Preface |
| Workshop Organization |
| Modelling and Specification / Session 1： |
図書
