[Front cover]

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-viii

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Message from the Workshop Co-Chairs (PDF)

pp. ix

Committee Lists (PDF)

pp. x

Towards Composable Timing for Real-Time Programs (Abstract)

pp. 1-5

PDF

Designing Software for Modular Static Average-case Analysis (Abstract)

pp. 6-10

PDF

Time-predictable Cache Organization (Abstract)

Martin Schoeberl

pp. 11-16

PDF

On Equivalence Partitioning of Code Paths inside OS Kernel Components (Abstract)

pp. 17-19

PDF

On Secure Resource Utilization in FPGAs with Partial Runtime Reconfiguration (Abstract)

Markus Kucera

Michael Vetter

pp. 20-24

PDF

Dependability and Robustness: State of the Art and Challenges (Abstract)

Václav Mikolášek

pp. 25-31

PDF

A Scalable Monitoring System for Distributed Environments (Abstract)

pp. 32-37

PDF

Anomaly Detection System Using Resource Pattern Learning (Abstract)

pp. 38-42

PDF

Profiling Node Conditions of Distributed System with Sequential Pattern Mining (Abstract)

Yu Hirate

Hayato Yamana

pp. 43-48

PDF

The Challenge of Eliminating Storage Bottlenecks in Distributed Systems (Abstract)

pp. 49-53

PDF

An Alarm Annunciatior for Domain Administrators (Abstract)

pp. 54-58

PDF

ECOISLAND: A System for Persuading Users to Reduce CO2 Emissions (Abstract)

pp. 59-63

PDF

Incorporation of Security Mechanisms into the TMO Scheme for Real Time Distributed Computing (Abstract)

pp. 64-72

PDF

E-Commerce with Rich Clients and Flexible Transactions (Abstract)

Dylan Clarke

Graham Morgan

pp. 73-77

PDF

A Service-Oriented Self-Configurable Middleware for Autonomous Sensor Networks (Abstract)

Ina Podolski

Achim Rettberg

pp. 78-82

PDF

Extended Static Analysis for Estimating WCET in Distributed Real Time Systems (Abstract)

Y.S. Hong

H.W. Goo

pp. 83-87

PDF

A Real-time Routing System for Vehicular Ad Hoc Networks (Abstract)

pp. 88-92

PDF

Efficient Data Dissemination in Overlays (Abstract)

Dung Vu

Thomas Repantis

Vana Kalogeraki

pp. 93-100

PDF

Implementing the Dependable Operating System Architecture on the IA-32 Architecture (Abstract)

Shuichi Oikawa

pp. 101-105

PDF

Evaluation of Energy-Efficient Cluster Server Using Embedded Processors (Abstract)

pp. 106-111

PDF

A Hardware Abstraction Layer for Integrating Real-Time and General-Purpose with Minimal Kernel Modification (Abstract)

pp. 112-116

PDF

Towards Design and Implementation of Model Checker for System Software (Abstract)

pp. 117-121

PDF

Analysis of High Resolution Timer Latency Using Kernel Analysis System in Embedded System (Abstract)

pp. 122-126

PDF

Verification Tool and Unified Specifications for Embedded Software (Abstract)

Shunsuke Yatabe

pp. 127-131

PDF

Toward User Oriented Dependability Standard for Future Embedded Systems (Abstract)

pp. 132-137

PDF

Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems (Abstract)

pp. 138-142

PDF

Energy-efficient Run-time Detection of Malware-infected Executables and Dynamic Libraries on Mobile Devices (Abstract)

pp. 143-149

PDF

A Holistic Approach to Product Review Summarization (Abstract)

pp. 150-154

PDF

[Publisher information] (PDF)

pp. 240

Intra Media Synchronization for Actual Feeling Video Model (Abstract)

pp. 155-158

PDF

Alternative Cluster Head Selection Protocol for Energy Efficiency in Wireless Sensor Networks (Abstract)

pp. 159-163

PDF

TMO-eCos2.0 and its Development Environment for Timeliness Guaranteed Computing (Abstract)

pp. 164-168

PDF

Design of Ubiquitous Glass Green Houses (Abstract)

pp. 169-172

PDF

Proposing Universal Execution Trace Framework for Embedded Software Using QEMU (Abstract)

pp. 173-178

PDF

Cagra (Abstract)

Kouhei Ueno

Sadayuki Furuhashi

pp. 179-183

PDF

Run-time Detection Mechanism of Nested Call-loop Structure to Monitor the Actual Execution of Codes (Abstract)

pp. 184-188

PDF

Toward a Portable Programming Environment for Distributed High Performance Accelerators (Abstract)

Shoichi Hirasawa

Hiroki Honda

pp. 189-194

PDF

Tenmads: A Software Distributed Multi-display Implementation for Practical and Low-cost Applications (Abstract)

Masafumi Ueda

Ikuo Takeuchi

pp. 195-199

PDF

Computing the Maximum Blocking Time for Scheduling with Deferred Preemption (Abstract)

pp. 200-204

PDF

Summarization Method for Multiple Sliding Window Aggregate Queries (Abstract)

pp. 205-209

PDF

M-MAC: Mobility-Based Link Management Protocol for Mobile Sensor Networks (Abstract)

pp. 210-214

PDF

A Combined Approach to Improve the Response Time of Soft Aperiodic Tasks (Abstract)

pp. 215-219

PDF

Context Based Dynamic Security Service for Healthcare Adaptive Application in Home Environments (Abstract)

Su Chong Joo

Chang Won Jeong

pp. 220-224

PDF

Reduced Node k-coverage in Dense Wireless Sensor Networks (Abstract)

Ungjin Jang

Sunggu Lee

pp. 225-229

PDF

RSS-Driven QoS Adaptation for Web Service Finding (Abstract)

pp. 230-236

PDF

Author Index (PDF)

pp. 237-239