SEUS 2010: Waidhofen/Ybbs, Austria
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer
Springer, Lecture Notes in Computer Science 6399, ISBN: 978-3-642-16255-8
Contents
Invited Program
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller.
Michael Bauer, Mathias Pacher, Uwe Brinkschulte
3-12
Real-Time Systems
OTAWA: An Open Toolbox for Adaptive WCET Analysis.
Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
35-46
Model-Based Design and Model-Checking
Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber
59-70
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 X. Brooks, Edward A. Lee
155-166
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata.
Christo Angelov, Feng Zhou, Krzysztof Sierszecki
167-178
José Rufino, João Craveiro, Paulo Veríssimo
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
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