Software Technologies for Embedded and Ubiquitous Systems

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.