SEUS 2010: Waidhofen/Ybbs, Austria
Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer (Eds.): Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-16255-8
Invited Program
Hermann Kopetz: Component-Based Design of Embedded Systems. 1
Hardware
Michael Bauer, Mathias Pacher, Uwe Brinkschulte: Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller. 3-12
Real-Time Systems

Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat: OTAWA: An Open Toolbox for Adaptive WCET Analysis. 35-46
Model-Based Design and Model-Checking
Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber: A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems. 59-70
Charbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora: Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability. 71-82
Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka: Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. 83-94
Sensor Nets
Kai Beckmann, Marcus Thoss: A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks. 95-106
Sang Hoon Lee, Yunmook Nah, Lynn Choi: Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling. 107-118
Luís Almeida, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar: On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems. 119-130
Error Detection and System Failures
Susanne Kandl, Raimund Kirner: Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. 131-142
Shuichi Oikawa, Jin Kawasaki: Simultaneous Logging and Replay for Recording Evidences of System Failures. 143-154
Hard Real-Time
Martin Schoeberl, Christopher X. Brooks, Edward A. Lee: Code Generation for Embedded Java with Ptolemy. 155-166
Christo Angelov, Feng Zhou, Krzysztof Sierszecki: Specification of Embedded Control Systems Behaviour Using Actor Interface Automata. 167-178
José Rufino, João Craveiro, Paulo Veríssimo: Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. 179-190
Middleware and Smart Spaces
Ting-Shuo Chou, Yu Chi Huang, Yung Chun Wang, Wai-Chi Chen, Chi-Sheng Shih, Jane W.-S. Liu: EMWF: A Middleware for Flexible Automation and Assistive Devices. 191-203
Christian Esposito, Domenico Cotroneo, Stefano Russo: An Investigation on Flexible Communications in Publish/Subscribe Services. 204-215
Ichiro Satoh: Mobile Agents for Digital Signage. 216-226
Function Composition and Task Mapping
Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake: Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products. 227-238
Robert Diemer, Samarjit Chakraborty: Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring. 239-251



