Table of Contents
Invited Program
Component-Based Design of Embedded Systems (Abstract) Hermann Kopetz 1
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) Bert Böddeker Rafael Zalman 2
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller Michael Bauer Mathias Pacher Uwe Brinkschulte 3
Crash Recovery in FAST FTL Sungup Moon Sang-Phil Lim Dong-Joo Park Sang-Won Lee 13
Real-Time-Systems
Time-Predictable Computing Raimund Kirner Peter Puschner 23
OTAWA: An Open Toolbox for Adaptive WCET Analysis Clément Ballabriga Hugues Cassé Christine Rochange Pascal Sainrat 35
Ubiquitous Verification of Ubiquitous Systems Reinhard Wilhelm Matteo Maffei 47
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 59
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 71
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems Shin Nakajima Masaki Ishiguro Kazuyuki Tanaka 83
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks Kai Beckmann Marcus Thoss 95
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling Sang Hoon Lee Yunmook Nah Lynn Choi 107
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems Luís Almeida Ricardo Marau Karthik Lakshmanan Raj Rajkumar 119
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain Susanne Kandl Raimund Kirner 131
Simultaneous Logging and Replay for Recording Evidences of System Failures Shuichi Oikawa Jin Kawasaki 143
Hard Real-Time
Code Generation for Embedded Java with Ptolemy Martin Schoeberl Christopher Brooks Edward A. Lee 155
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata Christo Angelov Feng Zhou Krzysztof Sierszecki 167
Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics José Rufino João Craveiro Paulo Verissimo 179
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 191
An Investigation on Flexible Communications in Publish/Subscribe Services Christian Esposito Domenico Cotroneo Stefano Russo 204
Mobile Agents for Digital Signage Ichiro Satoh 216
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 227
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring Robert Diemer Samarjit Chakraborty 239
Author Index 253
