Software Technologies for Embedded and Ubiquitous Systems

Embedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include missi- and business-critical scenarios. The advances call for a variety of compelling - sues, including dependability, real-time, quality-of-service, autonomy, resource constraints, seamless interaction, middleware support, modeling, veri?cation, validation, etc. The International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) brings together experts in the ?eld of emb- ded and ubiquitous computing systems with the aim of exchanging ideas and advancing the state of the art about the above-mentioned issues. I was honored to chair the sixth edition of the workshop, which continued the tradition of past editions with high-quality research results. I was particularly pleased to host the workshop in the wonderful scenario of Capri, with its stunning views and traditions. The workshop started in 2003 as an IEEE event, and then in 2007 it became a ?agship event of the IFIP Working Group 10.2 on embedded systems. The last few editions, held in Hakodate (Japan), Vienna (Austria), Seattle (USA), Gyeongju (Korea), and Santorini (Greece), were co-located with the IEEE - ternationalSymposiumonObject/Component/Service-OrientedReal-TimeD- tributed Computing (ISORC). This year, SEUS was held as a stand-alone event for the ?rst time, and, - spite the additionalorganizationaldi?culties, it resultedina high-qualityevent, with papers from four continents (from USA, Europe, East Asia and Australia), (co-) authored and presented from senior scientists coming from academia or leading industrial research centers.

Klappentext

This book includes selected papers of the 6th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2008, held on Capri, Italy, in October 2008.

The 38 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on model-driven development; middleware; real time; quality of service and performance; applications; pervasive and mobile systems: wireless embedded systems; synthesis, verification and protection.

Inhalt
Model-Driven Development.- Using UML 2.1 to Model Multi-agent Systems.- Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.- Model Based Synthesis of Embedded Software.- Formal Specification of Gateways in Integrated Architectures.- Model-Integrated Development of Cyber-Physical Systems.- Middleware.- Towards a Middleware Approach for a Self-configurable Automotive Embedded System.- Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity.- Service Orchestration Using the Chemical Metaphor.- Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture.- Self-describing and Data Propagation Model for Data Distribution Service.- Real Time.- Improving Real-Time Performance of a Virtual Machine Monitor Based System.- A Two-Layered Management Architecture for Building Adaptive Real-Time Systems.- Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning.- An Operating System for a Time-Predictable Computing Node.- Data Services in Distributed Real-Time Embedded Systems.- Quality of Service and Performance.- QoS-Adaptive Router Based on Per-Flow Management over NGN.- Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.- Cost-Performance Tradeoff for Embedded Systems.- Resolving Performance Anomaly Using ARF-Aware TCP.- Applications.- Context-Aware Deployment of Services in Public Spaces.- An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems.- Cyber Biosphere for Future Embedded Systems.- Leveraging GIS Technologies for Web-Based Smart Places Services.- Pervasive and Mobile Systems.- VeryIDX - A Digital Identity Management System for Pervasive Computing Environments.- Delay-Aware Mobile Transactions.-An Operating System Architecture for Future Information Appliances.- M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks.- Wireless Embedded Systems.- Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems.- A Novel Approach for Security and Robustness in Wireless Embedded Systems.- The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies.- RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices.- Methods for Increasing Coverage in Wireless Sensor Networks.- Synthesis, Verification and Protection.- Locks Considered Harmful: A Look at Non-traditional Synchronization.- From Model Driven Engineering to Verification Driven Engineering.- On Scalable Synchronization for Distributed Embedded Real-Time Systems.- Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture.- Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.