IFIP TC6 Open Digital Library

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


Invited Program

Component-Based Design of Embedded Systems.

Hermann Kopetz


AUTOSAR Appropriates Functional Safety and Multi-core Exploitation.

Bert Böddeker, Rafael Zalman



Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller.

Michael Bauer, Mathias Pacher, Uwe Brinkschulte


Crash Recovery in FAST FTL.

Sungup Moon, Sang-Phil Lim, Dong-Joo Park, Sang-Won Lee


Real-Time Systems

Time-Predictable Computing.

Raimund Kirner, Peter P. Puschner


OTAWA: An Open Toolbox for Adaptive WCET Analysis.

Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat


Ubiquitous Verification of Ubiquitous Systems.

Reinhard Wilhelm, Matteo Maffei


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


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


Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.

Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka


Sensor Nets

A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks.

Kai Beckmann, Marcus Thoss


Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling.

Sang Hoon Lee, Yunmook Nah, Lynn Choi


On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems.

Luís Almeida, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar


Error Detection and System Failures

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain.

Susanne Kandl, Raimund Kirner


Simultaneous Logging and Replay for Recording Evidences of System Failures.

Shuichi Oikawa, Jin Kawasaki


Hard Real-Time

Code Generation for Embedded Java with Ptolemy.

Martin Schoeberl, Christopher X. Brooks, Edward A. Lee


Specification of Embedded Control Systems Behaviour Using Actor Interface Automata.

Christo Angelov, Feng Zhou, Krzysztof Sierszecki


Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics.

José Rufino, João Craveiro, Paulo Veríssimo


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


An Investigation on Flexible Communications in Publish/Subscribe Services.

Christian Esposito, Domenico Cotroneo, Stefano Russo


Mobile Agents for Digital Signage.

Ichiro Satoh


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


Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring.

Robert Diemer, Samarjit Chakraborty