Software Technologies for Embedded and Ubiquitous Systems

by Min, Sang Lyul; Pettit, Robert; Puschner, Peter; Ungerer, Theo

• ISBN13: 9783642162558
• ISBN10: 364216255X
• Format: Paperback
• Copyright: 2010-10-27
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010, held in Waidhofen/Ybbs, Austria, in October 2010. The 21 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on hardware, real-time systems, model-based design and model-checking, sensor nets, error detection and system failures, hard real-time, middleware and smart spaces, and function composition and task mapping.

Table of Contents

Invited Program
Component-Based Design of Embedded Systems (Abstract)	p. 1
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract)	p. 2
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller	p. 3
Crash Recovery in FAST FTL	p. 13
Real-Time-Systems
Time-Predictable Computing	p. 23
OTAWA: An Open Toolbox for Adaptive WCET Analysis	p. 35
Ubiquitous Verification of Ubiquitous Systems	p. 47
Model-Based Design and Model-Checking
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems	p. 59
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability	p. 71
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems	p. 83
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks	p. 95
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling	p. 107
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems	p. 119
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain	p. 131
Simultaneous Logging and Replay for Recording Evidences of System Failures	p. 143
Hard Real-Time
Code Generation for Embedded Java with Ptolemy	p. 155
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata	p. 167
Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics	p. 179
Middleware and Smart Spaces
EMWF: A Middleware for Flexible Automation and Assistive Devices	p. 191
An Investigation on Flexible Communications in Publish/Subscribe Services	p. 204
Mobile Agents for Digital Signage	p. 216
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products	p. 227
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring	p. 239
Author Index	p. 253
Table of Contents provided by Ingram. All Rights Reserved.