Software technologies for embedded and ubiquitous systems : 8th IFIP WG 10.2 international workshop, SEUS 2010, Waidhofen Ybbs, Austria, October 13-15, 2010 : proceedings

The 8th IFIP Workshop on Software Technologies for Embedded and Ubiq- tous Systems (SEUS 2010) in Waidhofen/Ybbs, Austria, October 13-15, 2010, succeeded the seven previous workshops in Newport Beach, USA (2009); Capri, Italy (2008); Santorini, Greece (2007); Gyeongju, Korea (2006); Seattle, USA (2005); Vienna, Austria (2004); and Hokodate, Japan (2003); installing SEUS as a successfully established workshop in the ?eld of embedded and ubiquitous systems. SEUS 2010 continued the tradition of fostering cross-community scienti?c excellence and establishing strong links between research and industry. SEUS 2010 provided a forum where researchers and practitioners with substantial - periences and serious interests in advancing the state of the art and the state of practice in the ?eld of embedded and ubiquitous computing systems gathered with the goal of fostering new ideas, collaborations, and technologies. The c- tributions in this volume present advances in integrating the ?elds of embedded computing and ubiquitous systems. The call for papers attracted 30 submissions from all around the world. Each submission was assigned to at least four members of the Program Committee for review. The Program Committee decided to accept 21 papers, which were arranged in eight sessions. The accepted papers are from Austria, Denmark, France, Germany, Italy, Japan, Korea, Portugal, Taiwan, UK, and USA. Two keynotes complemented the strong technical program. Front Matter....Pages - Component-Based Design of Embedded Systems....Pages 1-1 AUTOSAR Appropriates Functional Safety and Multi-core Exploitation....Pages 2-2 Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller....Pages 3-12 Crash Recovery in FAST FTL....Pages 13-22 Time-Predictable Computing....Pages 23-34 OTAWA: An Open Toolbox for Adaptive WCET Analysis....Pages 35-46 Ubiquitous Verification of Ubiquitous Systems....Pages 47-58 A Model–Based Design Methodology with Contracts to Enhance the Development Process of Safety–Critical Systems....Pages 59-70 Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability....Pages 71-82 Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems....Pages 83-94 A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks....Pages 95-106 Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling....Pages 107-118 On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems....Pages 119-130 Error Detection Rate of MC/DC for a Case Study from the Automotive Domain....Pages 131-142 Simultaneous Logging and Replay for Recording Evidences of System Failures....Pages 143-154 Code Generation for Embedded Java with Ptolemy....Pages 155-166 Specification of Embedded Control Systems Behaviour Using Actor Interface Automata....Pages 167-178 Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics....Pages 179-190 EMWF: A Middleware for Flexible Automation and Assistive Devices....Pages 191-203 An Investigation on Flexible Communications in Publish/Subscribe Services....Pages 204-215 Mobile Agents for Digital Signage....Pages 216-226 Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products....Pages 227-238 Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring....Pages 239-251 Back Matter....Pages - Annotation 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