Full Text Documents

Search


Table of Contents
Software Technologies for Embedded and Ubiquitous Systems
Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer
Front Matter

Invited Program


Component-Based Design of Embedded Systems
Hermann Kopetz
1
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation
Bert Böddeker
2

Hardware


Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller
Michael Bauer, Mathias Pacher, Uwe Brinkschulte
3-12
Crash Recovery in FAST FTL
Sungup Moon, Sang-Phil Lim, Dong-Joo Park, Sang-Won Lee
13-22

Real-Time Systems


Time-Predictable Computing
Raimund Kirner, Peter Puschner
23-34
OTAWA: An Open Toolbox for Adaptive WCET Analysis
Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
35-46
Ubiquitous Verification of Ubiquitous Systems
Reinhard Wilhelm, Matteo Maffei
47-58

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-70
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability
Charbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora
71-82
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka
83-94

Sensor Nets


A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks
Kai Beckmann, Marcus Thoss
95-106
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling
Sang Hoon Lee, Yunmook Nah, Lynn Choi
107-118
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems
Luís Almeida, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar
119-130

Error Detection and System Failures


Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
Susanne Kandl, Raimund Kirner
131-142
Simultaneous Logging and Replay for Recording Evidences of System Failures
Shuichi Oikawa, Jin Kawasaki
143-154

Hard Real-Time


Code Generation for Embedded Java with Ptolemy
Martin Schoeberl, Christopher Brooks, Edward A. Lee
155-166
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata
Christo Angelov, Feng Zhou, Krzysztof Sierszecki
167-178
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
José Rufino, João Craveiro, Paulo Verissimo
179-190

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-203
An Investigation on Flexible Communications in Publish/Subscribe Services
Christian Esposito, Domenico Cotroneo, Stefano Russo
204-215
Mobile Agents for Digital Signage
Ichiro Satoh
216-226

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-238
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring
Robert Diemer, Samarjit Chakraborty
239-251