Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, ... (Lecture Notes in Computer Science (4761))

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held on Santorini Island, Greece, in May 2007 in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing. The 31 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on ubiquitous computing frameworks, safety-critical systems, validation of embedded and ubiquitous systems, ubiquitous computing applications, scheduling and non functional properties, self-organization and reconfiguration, service discovery and development platform, wireless networks, middleware architectures and virtualization, and environment interaction. Title Page Preface Organization Table of Contents An Efficient Method to Create Business Level Events Using Complex Event Processing Based on RFID Standards Introduction Related Works Proposed Complex Event Processing Primitive Event Event Operators CEP Architecture and Operation Flow Architecture and Operation Flow Examples of Complex Event Detection Scenario 1 (Shopping in the Market) Scenario 2 (Recognition of Right Path) Experience Results Conclusion References Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID Introduction Hardware Architecture Desktop-Size Furoshiki Mobile-Size Furoshiki Software Framework of Smart-Furoshiki Total Framework of Smart-Furoshiki Middleware Algolism of Shape Recognition Applications Supporting Collaborative Works by Laying Smart-Furoshiki on A Desk Managing Objects Covered with Smart-Furoshiki Wall Type Task Schedular Using Smart-Furoshiki Related Work Conclusion References A Task Decomposition Scheme for Context Aggregation in Personal Smart Space Introduction Motivation Requirements for Context Aggregation in Personal Smart Space Context Management Architecture for Personal Smart Space System Architecture Decomposition Algorithm Implementation Performance Analysis Related Works Conclusion References Distributed k-NN Query Processing for Location Services Introduction A Naïve Scheme for Distributed Processing of k-NN Queries Overall Scheme Query Distribution over Neighboring Nodes Hybrid k-NN Query Processing Experiments Conclusion References Ontology Based Context Alignment for Heterogeneous Context Aware Services Introduction Relative Works Context Alignment Model Hierarchical Context Ontology Context Alignment Experiment Conclusion References Community Computing Model Supporting Community Situation Based Strict Cooperation and Conflict Resolution Introduction Related Works Previous Community Computing Model Existing Cooperation Models Community Situation Based Cooperation Model Community Situation Model Community Situation Based Strict Cooperation Model Community Computing Models with Community Situation Based Strict Cooperation The Community Situation Based Community Computing Model The Community Situation Based Platform Independent Community Implementation Model Supporting Conflict Resolution The Community Situation Based Platform Specific Community Implementation Model Supporting Conflict Resolution Case Study Conclusion References Advancements in Dependable Time-Triggered Communication Introduction Time-Triggered Communication Layered Time-Triggered Protocol (LTTP) Protocol Startup Synchronized Operation External Synchronization Clique Resolution Algorithms Formal Analysis of (L)TTP Services The Central Guardian Concept Dependable Communication on Ethernet Conclusion References On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures Introduction Models Distributable Thread Abstraction Timeliness Model System and Failure Models Scheduling Objectives The CUA Algorithm Rationale and Design Algorithm Description Constructing Section Schedules Algorithm Properties Conclusions and Future Work References Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems Introduction Signal Voting System Description Automatic Generation of Voting Strategies Analysis of the Voting Strategy Conclusion References Application of Safety Analyses in Model Driven Development Introduction Application of Safety Analyses in Model-Driven Development Using MDA in the Process Creation of Safe-Aware Architectures Safety Concepts Safety Analysis Meta-models FMECA FTA Safety Analyses FMECA Models Creation FTA Models Creation Example Results Current Implementation Scenario Related Work Summary and Discussion References Mission Modes for Safety Critical Java Introduction A Safety Critical Java Profile Mission Modes Mode Changes Application Level Dynamic Threads Predefined Modes Implementation Shutdown The Mode Change An Example Discussion Analysis Runtime Overhead Conclusion References Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS Introduction Related Works Modeling System Behaviors and Properties Slicing System Model Based on State Variables Compositional Verification of Safety Properties State Space Evaluation of Slice Model Approach Conclusion and Future Work References Testing Embedded Control Systems with TTCN-3 An Overview on TTCN-3 Continuous Introduction Testing Automotive Control Systems Continuous TTCN-3 Type Definitions Control Flow Structure for Continuous Behavior Construction of Streams Stream Templates Case Study The System Under Test The Informal Test Specification The TTCN-3 Test Specification Summary and Conclusions References Cross-Platform Verification Framework for Embedded Systems Introduction Contribution Structure of This Paper Related Work Basic Concepts Cross-Platform Verification Remote Testing Cross-Platform Testing Reference Platform Testing Functional Equivalence Between Two Platforms Verification of Embedded Systems Cross-Platform Verification Framework Overview Code Transformation Test Data Generation Communication and Test Data Representation Experiments Summary and Conclusion References Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform Introduction Backgrounds and Related Works Power Consumption of Software Software Power Measurement Tool Related Works Time-Triggered Power Measurement Architectural Mechanism Software Energy Measurement Timing Analysis Experimental Analysis Conclusions References A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture Introduction Related Work Integrated System Communication Network Node Computers Input/Output Environmental Simulation Simulator Architecture Reproducibility of Simulation Results Case Study Exemplary Application Using the Integrated Architecture Exemplary Environmental Simulation Conclusion References An Embedded Integration Prototyping System Based on Component Technique Introduction Related Works Physical Prototyping Virtual Prototyping The Design of Integration Prototyping Component System The Design of Physical Prototyping The Design of Virtual Prototyping The Design of Component Module The Test and Evaluation of Integration Prototyping Component System System Test Evaluation Conclusion and Future Studies References TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies Introduction Backgroud TMO Scheme RMMC Non-Blocking Buffer (NBB) Direct Show Global-Time-Based Approach for HD Video Streaming and Tiled Display TMO-Based HD Tiled Display System System Architecture Design of the Master Node Design of Worker Nodes Synchronous Play of the Video Stream in All Worker Nodes Performance Measurement Conclusion References Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme Introduction Backgrounds TMO Structuring Scheme Unmanned Aerial Vehicle (UAV) Control System FlightGear Flight Simulator Project Experimental System Design and Implementation Hardware Architecture Modeling of a UAV Control System Based on TMO Model Implementation Validation Step 1: Test with an Environment Simulator Step 2: Real Flight Test Conclusion and Future Work References Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun Introduction Lifestyle Ubiquitous Gaming Framework Human Daily Activities Case Studies A Virtual Aquarium Improving Toothbrushing Activity A Virtual Fine Art Improving Book Arrangement Activity Discussion and Future Work Related Work Conclusion References Speech Recognition System Using DHMMs Based on Ubiquitous Environment Introduction OSGi Domain-Separated Hidden Markov Models (DHMMs) HMM Topology HMM Domain Speech Recognition System Design Context Manager Service Manager Speech Recognition Manager System Evaluation Conclusions References Healthcare Information Management System in Home Environment Introduction Healthcare Information Management System System Architecture The Interaction of System Components Healthcare Database Procedure for Healthcare Information Management System Collection of Healthcare Information Management of Healthcare Information Executing Results of Healthcare Home Service Conclusions and Future Works References Effective Appliance Selection by Complementary Context Feeding in Smart Home System Introduction Situation Awareness in Smart Home System Situation Awareness Appliance Selection Using Situation Awareness The Proposed Appliance Selection Method Selection Problem Interpretation Using Bayes Theorem Selection Problem Resolution Experiment and Evaluation of the Proposed Method Experiment Environments Experiment Result and Evaluation Related Work Conclusion References Vector Graphic Reference Implementation for Embedded System Introduction Design of OpenVG and EGL Engine System Architecture Structure of the EGL Engine Structure of the OpenVG Engine Requirement for Designing the OpenVG/EGL Engine Novel Features of OpenVG Reference Implementation Mathematical Function Sort Algorithm Improved Raster Rendering Algorithm The Design Point for the Embedded Environment The Coherence of OpenVG and EGL The Language Dependency The Singleton Pattern Design Implementation and Experimental Results Implementation CTS Test Result Performance Evaluation Conclusion References A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool Introduction Related Work Proposed QoS Routing Protocol Assumptions Multihop TDMA Reservation Pool Method Simulation Results Conclusion References Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking Introduction Related Work Utilization Bound Tests Formal Methods for Schedulability Analysis TA Model for Restricted Migration Scheduling TA Model for Full Migration Scheduling Performance Evaluation Conclusions References Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems Introduction Related Work Problem Description Proposed Approach Approach Description Example Application Experiment Results Conclusions References Transparent and Selective Real-Time Interrupt Services for Performance Improvement Introduction Related Work Linux Complete Preemption Transparent and Selective Real-Time Interrupt Services Suppressing the Preemptions by Normal Tasks Selective Handling of Real-Time Interrupt Threads Transparent Association of Interrupts with Real-Time Tasks Evaluation Methodology Latency Throughput Conclusion References An Approach for Energy-Aware Management in Ubiquitous Home Network Environment Introduction System Configurations System Analysis and Results Conclusions References On-Chip Bus Architecture Optimization for Multi-core SoC Systems Introduction Background and Formal Model On-Chip Bus Synthesis Algorithms Design Performance Evaluations Conclusion and Future Work References An Effective Path Selection Method in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique Introduction Path Selection Problem of MCoA-MIPv6 Current Problem Current Implementations of MCoA Parallel Delay Measurement Technique Binding Timestamp Sub-option Parallel Binding Update Selecting Effective Path on the Home Agent and the Correspondent Node Selecting Effective Path on the Mobile Node Analysis Concluding Remarks References Self-organizing Resource-Aware Clustering for Ad Hoc Networks Introduction Related Work The Minumum-Intracommunication Clustering Problem Emergent Clustering Clusterhead Selection Members Selection Simulation and Results Conclusion References Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm Introduction Related Works Context-Awareness System Using SABPA Learning Middleware SABPA (Self-adaptive BP Algorithm) Learning Steps Implementation Performance Evaluations Conclusion and Future Work References Towards an Artificial Hormone System for Self-organizing Real-Time Task Allocation Introduction Using an Artificial Hormone System to Obtain Self-X-Properties Dynamics of the Artificial Hormone System Dynamics of Task Allocation Self Configuration: Worst Case Timing Behavior Simulation Results Related Work Conclusion and Further Work References On Self-aware Delay Time Based Service Request Optimization for Gateway Stability in Autonomic Self-healing Systems Introduction Related Work System Architecture Self-aware Service Request Optimization Simulation Results Concluding Remarks and Future Work References Algorithmic Skeletons for the Programming of Reconfigurable Systems Introduction Related Work Problem Definition Problem Solution Algorithmic Skeletons Application in Reconfigurable Systems Execution Environment Stream Parallelism Farm Paradigm Pipeline Paradigm Stream-Iterative Paradigm Dynamic Reconfiguration Conclusion References A Framework for Supporting the Configuration and Automatic Integration of Heterogeneous Location Sensors Introduction Related Work Approach Overview System Components Configuration and Integration Protocol User Actions Evaluation Test Environment Results and Analysis Conclusion References Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning Introduction Existing Matchmaking Methods Visual Media Service Ontology and ASN.1-Based Matchmaking Experimental Results Conclusions References SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments Introduction Service Discovery Using ShardSpace Practical Implementation Conclusion References A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine Introduction Related Works Client Side SCJLib API System Environment RapidPLUS Testing Adding Object Insert Triggers, Actions and Activities Conclusion References Configurable Virtual Platform Environment Using SID Simulator and Eclipse Introduction Background SID Simulation Framework Eclipse Platform Architecture Implementation Conclusion References An Energy-Efficient k-Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks Introduction Background The Proposed Algorithm Performance Evaluations Simulation Environment The Average Dissipated Energy The Event Delivery Ratio of Critical Events The Average Delay Concluding Remarks References Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff Introduction Related Work Handoff Management and Mobility Prediction The LSSH Scheme The Novel Octopus Scheme Experimental Results Prototype and Experimental Setting Results Conclusions References Event-Driven Power Management for Wireless Sensor Networks Introduction Application Model Event Classification Application Model Application State Event-Driven Power Management Techniques Application-Specific Protocol Customization Event-Driven Dynamic Power Management Experimentation and Results Benchmarks and Network Configurations Protocol Customization Simulation Results Conclusion References Time Synchronization in Wireless Sensor Network Applications Introduction Approaches to Time Synchronization Schemes Time Synchronization Using the Accumulated Time Information Implementation Conclusion References GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment Introduction Related Work Wireless Sensor Network Deployment GenSeN: A Generator for Sensor Networks GenSeN Input GenSeN Output Results Conclusions References Energy-Aware Routing for Wireless Sensor Networks by AHP Introduction Problem Statements Node Selection in Multipath Routing by AHP Performance Evaluations Simulation Environment Simulation Results Conclusion and Future Work References AWireless System for Real-Time Environmental and Structural Monitoring Introduction Related Work Hardware Implementation and Features Software Implementation and Features Prototype and Field Test Conclusions Integrated Notification Architecture Based on Overlay Against DDoS Attacks on Convergence Network Introduction Threats of DDoS Attacks on Converged Networks Notification Mechanism Using Overlay Chord Overlay Routing Hierarchical Overlay Construction Notification of Attack Detection Evaluation Overhead of Overlay Construction Simulation Results Conclusion Making Middleware Secure on Embedded Terminals Introduction SEMMETL R1: Client Identification R2: Access Control R3: Resource Control Security Enhanced X Server Client Identification in the SEN XServer Access Control in the SEN XServer Resource Control in the SEN XServer The Policy File in the SEN XServer Conclusion Dynamic Translator-Based Virtualization Introduction Microkernel vs VMM Related Work Constructing Machine Emulator on Microkernel Overview QEMU L4Ka::Pistachio Kenge and Iguana Virtual Devices Applications Using QEMU on L4 Emulating Multiple Architectures Anomaly Detection/Recovery Evaluation Discussion Hypercall MMU with Map Function Conclusion Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems Introduction Related Work Paper Organization Mesovirtualization Design and Implementation Architectural Design Gandalf Guest OS Modifications Current Status and Evaluation Current Status Qualitative Evaluation Quantitative Evaluation Conclusion Building a Customizable User Interface Framework Using Hyperlinks for Smart Devices Introduction Requirements of a Customizable User Interface Framework in Smart Phones Hyperlink-Based Customizable User Interface Framework User Interface Design Tool: Hyrax Builder Hyrax Runtime Environment Functionalities Implementation and Evaluation Conclusions and Remarks An Efficient Location Index for the Semantic Search of Moving Objects Introduction Related Works Hashing Technique LUR-Tree Semantic Search MBR-Tree Motivation Structure of MBR-Tree Algorithms Performance Evaluation Experiment Environment Update Performance Evaluation Query Performance Evaluation Memory Usage Conclusions References Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines Introduction Challenges Efficiency Heterogeneity and Interoperability Dynamics Goals Related Work Proposed Solution Process Overview Abstract State Machines as Behavior Models Summary Design and Implementation of Peripheral Sharing Mechanism on Pervasive Computing with Heterogeneous Environment Introduction Related Works Windows USB System USB Cross-Platform Extension UCE Architecture Implementation of UCE Bus Evaluation Conclusion References A Review on System Architectures for Sensor Fusion Applications Introduction Architectures for Sensor Fusion The JDL Fusion Architecture Waterfall Fusion Process Model The Intelligence Cycle Boyd Model The LAAS Architecture The Omnibus Model Mr. Fusion DFuse Framework Time-Triggered Sensor Fusion Model Comparison Classification Real-Time Support Conclusion Author Index

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing. Coverage includes ubiquitous computing frameworks, validation of embedded and ubiquitous systems, and ubiquitous computing applications.