Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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