| Invited Program |
| Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz |
| AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman |
| Hardware |
| Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller / Michael Bauer ; Mathias Pacher ; Uwe Brinkschulte |
| Crash Recovery in FAST FTL / Sungup Moon ; Sang-Phil Lim ; Dong-Joo Park ; Sang-Won Lee |
| Real-Time-Systems |
| Time-Predictable Computing / Raimund Kirner ; Peter Puschner |
| OTAWA: An Open Toolbox for Adaptive WCET Analysis / Clément Ballabriga ; Hugues Cassé ; Christine Rochange ; Pascal Sainrat |
| Ubiquitous Verification of Ubiquitous Systems / Reinhard Wilhelm ; Matteo Maffei |
| Model-Based Design and Model-Checking |
| A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems / Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg ; Ingo Stierand ; Eike Thaden ; Raphael Weber |
| Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability / Charbel El Kaed ; Yves Denneulin ; François-Gaë Ottogalli ; Luis Felipe Melo Mora |
| Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems / Shin Nakajima ; Masaki Ishiguro ; Kazuyuki Tanaka |
| Sensor Nets |
| A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks / Kai Beckmann ; Marcus Thoss |
| Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling / Sang Hoon Lee ; Yunmook Nah ; Lynn Choi |
| On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems / LuÃs Almeida ; Ricardo Marau ; Karthik Lakshmanan ; Raj Rajkumar |
| Error Detection and System Failures |
| Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Susanne Kandl |
| Simultaneous Logging and Replay for Recording Evidences of System Failures / Shuichi Oikawa ; Jin Kawasaki |
| Hard Real-Time |
| Code Generation for Embedded Java with Ptolemy / Martin Schoeberl ; Christopher Brooks ; Edward A. Lee |
| Specification of Embedded Control Systems Behaviour Using Actor Interface Automata / Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki |
| Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics / José Rufino ; João Craveiro ; Paulo Verissimo |
| Middleware and Smart Spaces |
| EMWF: A Middleware for Flexible Automation and Assistive Devices / Ting-Shuo Chou ; Yu Chi Huang ; Yung Chun Wang ; Wai-Chi Chen ; Chi-Sheng Shih ; Jane W.S. Liu |
| An Investigation on Flexible Communications in Publish/Subscribe Services / Christian Esposito ; Domenico Cotroneo ; Stefano Russo |
| Mobile Agents for Digital Signage / Ichiro Satoh |
| Function Composition and Task Mapping |
| Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products / Tatsuo Nakajima ; Yuki Kinebuchi ; Alexandre Courbot ; Hiromasa Shimada ; Tsung-Han Lin ; Hitoshi Mitake |
| Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring / Robert Diemer ; Samarjit Chakraborty |
| Author Index |
| Invited Program |
| Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz |
| AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman |
| Hardware |
| Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller / Michael Bauer ; Mathias Pacher ; Uwe Brinkschulte |
| Crash Recovery in FAST FTL / Sungup Moon ; Sang-Phil Lim ; Dong-Joo Park ; Sang-Won Lee |
