Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Hermann Kopetz (auth.), Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer (eds.)
Series: Lecture Notes in Computer Science 6399 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011

Language: English
Pages: 253
Tags: Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl.Internet); Programming Techniques; Management of Computing and Information Systems

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 -