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 |
