IFIP TC6 Open Digital Library

SEUS 2009: Newport Beach, CA, USA

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

Sunggu Lee, Priya Narasimhan

Springer, Lecture Notes in Computer Science 5860, ISBN: 978-3-642-10264-6



Contents

Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme.

Se-Gi Kim, Seung-Hwa Song, Chun-Hyon Chang, Doo-Hyun Kim, Shin Heu, Jung-Guk Kim

 1-11

Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems.

Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa

 12-23

Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems.

Jinha Park, Sungjoo Yoo, Sunggu Lee, Chanik Park

 24-35

Optimizing Mobile Application Performance with Model-Driven Engineering.

Chris Thompson, Jules White, Brian Dougherty, Douglas C. Schmidt

 36-46

A Single-Path Chip-Multiprocessor System.

Martin Schoeberl, Peter P. Puschner, Raimund Kirner

 47-57

Towards Trustworthy Self-optimization for Distributed Systems.

Benjamin Satzger, Florian Mutschelknaus, Faruk Bagci, Florian Kluge, Theo Ungerer

 58-68

An Experimental Framework for the Analysis and Validation of Software Clocks.

Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai

 69-81

Towards a Statistical Model of a Microprocessor's Throughput by Analyzing Pipeline Stalls.

Uwe Brinkschulte, Daniel Lohn, Mathias Pacher

 82-90

Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.

Roberto Baldoni, Silvia Bonomi, Michel Raynal

 91-102

BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network.

Ingu Han, Kee-Wook Rim, Jung-Hyun Lee

 103-113

DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network.

Ingu Han, Kee-Wook Rim, Jung-Hyun Lee

 114-120

Development of Field Monitoring Server System and Its Application in Agriculture.

Chang-Sun Shin, Meong-hun Lee, Yong-Woong Lee, Jong-Sik Cho, Su-Chong Joo, Hyun Yoe

 121-130

On-Line Model Checking as Operating System Service.

Franz J. Rammig, Yuhong Zhao, Sufyan Samara

 131-143

Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems.

Roberto Baldoni, Adriano Cerocchi, Giorgia Lodi, Luca Montanari, Leonardo Querzoni

 144-155

Fine-Grained Tailoring of Component Behaviour for Embedded Systems.

Nelson Matthys, Danny Hughes, Sam Michiels, Christophe Huygens, Wouter Joosen

 156-167

MapReduce System over Heterogeneous Mobile Devices.

Peter R. Elespuru, Sagun Shakya, Shivakant Mishra

 168-179

Towards Time-Predictable Data Caches for Chip-Multiprocessors.

Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber

 180-191

From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach.

Luigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano

 192-202

Model-Based Testing of GUI-Driven Applications.

Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones

 203-214

Parallelizing Software-Implemented Error Detection.

Ute Schiffel, André Schmitt, Martin Süßkraut, Stefan Weigert, Christof Fetzer

 215-226

Model-Based Analysis of Contract-Based Real-Time Scheduling.

Georgiana Macariu, Vladimir Cretu

 227-239

Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.

Hyun-Wook Jin, Junbeom Yoo

 240-251

HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization.

Pai H. Chou, Chong-Jing Chen, Stephen F. Jenks, Sung-Jin Kim

 252-263

Applying Architectural Hybridization in Networked Embedded Systems.

Antonio Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo

 264-275

Concurrency and Communication: Lessons from the SHIM Project.

Stephen A. Edwards

 276-287

Location-Aware Web Service by Utilizing Web Contents Including Location Information.

YongUk Kim, Chulbum Ahn, Joonwoo Lee, Yunmook Nah

 288-295

The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems.

Roman Obermaisser, Bernhard Huber

 296-307

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development.

Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper

 308-319

Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing.

Joseph P. Loyall, Richard E. Schantz

 320-331

An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections.

Pieter-Jan Vandormael, Paul Couderc

 332-342

Real-Sense Media Representation Technology Using Multiple Devices Synchronization.

Jae-Kwan Yun, Jonghyun Jang, Kwang-Roh Park, Dong-Won Han

 343-353

Overview of Multicore Requirements towards Real-Time Communication.

Ina Podolski, Achim Rettberg

 354-364

Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems.

K. H. Kim

 365-376