Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

Front Matter....Pages -
Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme....Pages 1-11
Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems....Pages 12-23
Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems....Pages 24-35
Optimizing Mobile Application Performance with Model–Driven Engineering....Pages 36-46
A Single-Path Chip-Multiprocessor System....Pages 47-57
Towards Trustworthy Self-optimization for Distributed Systems....Pages 58-68
An Experimental Framework for the Analysis and Validation of Software Clocks....Pages 69-81
Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing Pipeline Stalls....Pages 82-90
Joining a Distributed Shared Memory Computation in a Dynamic Distributed System....Pages 91-102
BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network....Pages 103-113
DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network....Pages 114-120
Development of Field Monitoring Server System and Its Application in Agriculture....Pages 121-130
On-Line Model Checking as Operating System Service....Pages 131-143
Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems....Pages 144-155
Fine-Grained Tailoring of Component Behaviour for Embedded Systems....Pages 156-167
MapReduce System over Heterogeneous Mobile Devices....Pages 168-179
Towards Time-Predictable Data Caches for Chip-Multiprocessors....Pages 180-191
From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach....Pages 192-202
Model-Based Testing of GUI-Driven Applications....Pages 203-214
Parallelizing Software-Implemented Error Detection....Pages 215-226
Model-Based Analysis of Contract-Based Real-Time Scheduling....Pages 227-239
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems....Pages 240-251
HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization....Pages 252-263
Applying Architectural Hybridization in Networked Embedded Systems....Pages 264-275
Concurrency and Communication: Lessons from the SHIM Project....Pages 276-287
Location-Aware Web Service by Utilizing Web Contents Including Location Information....Pages 288-295
The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems....Pages 296-307
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development....Pages 308-319
Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing....Pages 320-331
An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections....Pages 332-342
Real-Sense Media Representation Technology Using Multiple Devices Synchronization....Pages 343-353
Overview of Multicore Requirements towards Real-Time Communication....Pages 354-364
Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems....Pages 365-376
Back Matter....Pages -