MONDAY, Nov 16, 2009

8.30-9:15 Workshop Registration and Coffee Time
9.15 Workshop Kickoff, Eltefaat Shokri, Vana Kalogeraki (General Co-chairs)

9.30-11.30 SESSION 1: Model-Driven Approaches

9:30 Model-Based Testing of GUI-Driven Applications
Oleg Sokolsky, Vivien Chinnapongse, Insup Lee, and Shaohui Wang
10.00 Model-Based Analysis of Contract-Based Real-Time Scheduling
Georgiana Macariu and Vladimir Cretu
10.30 Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems
Sungjoo Yoo, Chanik Park, Sunggu Lee, and Jinha Park
11.00 Optimizing Mobile Application Performance with Model-Driven Engineering
Chris Thompson, Jules White, Brian Dougherty, and Douglas Schmidt

11.30-13.00 LUNCH

13.00 KEYNOTE TALK
Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems
Kane H. (Kane) Kim
Professor of Computer Engineering and Computer Science
University of California, Irvine

14.00-16.00 SESSION 2: Real-Time Systems

14.00 The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems
Roman Obermaisser and Bernhard Huber
14.30 Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development
Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, and Bjorn Lisper
15.00 Towards Time-Predictable Data Caches for Chip-Multiprocessors
Martin Schoeberl, Wolfgang Puffitsch, and Benedikt Huber
15.30 Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme
Jung-Guk Kim, Doo-Hyun Kim, Se-Gi Kim, Seung-Hwa Song, Chun-Hyon Chang, and Shin Heu

16.00 COFFEE BREAK

16.30-17.30 SESSION 3: Emerging Applications - I

16.30 An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections
Paul Couderc and Pieter-Jan Vandormael
17.00 Real-Sense Media Representation Technology using Multiple Device Synchronization
Jae-Kwan Yun, Jong-Hyun Jang, Kwang-Ro Park, and Dong-Won Han

TUESDAY, Nov 17, 2009

9.00-10.30 SESSION 4: Embedded Systems Design

9.00 Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
Hyun-Wook Jin and Junbeom Yoo
9.30 Applying Architectural Hybridization in Networked Embedded Systems
Antonio Casimiro Costa, Jose Rufino, Luis Marques, Mario Calha, and Paulo Verissimo
9.30 Fine-Grained Tailoring of Component Behaviour for Embedded Systems
Nelson Matthys

10.30 COFFEE BREAK

11.00 KEYNOTE TALK
Talk title TBA
Flavio Bonomi
Head, Cisco Research Center
Cisco

12.30 LUNCH

14.00-16.00 SESSION 6: Distributed Systems

14.00 Towards Trustworthy Self-Optimization for Distributed Systems
Benjamin Satzger, Theo Ungerer, Faruk Bagci, and Florian Kluge
14.30 An Experimental Framework for the Analysis and Validation of Software Clocks
Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati, and Lorenzo Falai
15.00 Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems
Tomoya Enokido, Makoto Takizawa, and Ailixier Aikebaier
15.30 Joining a Distributed Shared Memory Computation in a Dynamic Distributed System
Michel Raynal, Roberto Baldoni, and Silvia Bonomi

16.00 COFFEE BREAK

16.30-17.30 SESSION 7: Emerging Applications - II

16.30 MapReduce System over Heterogeneous Mobile Devices
Shivakant Mishra, Peter Elespuru, and Sagun Shakya
17.00 Location-Aware Web Service by Utilizing Web Contents Including Location Information
Yunmook Nah, YongUk Kim, Chulbum Ahn, and Joonwoo Lee

WEDNESDAY, Nov 18, 2009

9.00-10.30 SESSION 8: Dependability

9.00 From Intrusion Detection to Intrusion Detection and Diagnosis: an Ontology-Based Approach
Luigi Romano, Luigi Coppolino, Salvatore D'Antonio, and Ivano Alessandro Elia
9.30 Parallelizing Software-Implemented Error Detection
Christof Fetzer, Stefan Weigert, Martin Su©¨kraut, Andre Schmitt, and Ute Schiffel
10.00 On-Line Model Checking as Operating System Service
Yuhong Zhao, Sufyan Samara, and Franz Rammig

10.30 COFFEE BREAK

11.00-12.30 SESSION 9: Mobile Networks

11.00 Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing
Joseph Loyall and Richard Schantz
11.30 BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-cost Broadcasting in the Mobile Ad-hoc Network
Ingu Han, Jung-Hyun Lee, and Kee-Wook Rim
12.00 HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization
Pai Chou, Chong-Jing Chen, Stephen Jenks, and Sungjin Kim

12.30 LUNCH

14.00-16.00 SESSION 10: Architectural Issues

14.00 A Single-Path Chip-Multiprocessor System
Martin Schoeberl, Peter Puschner, and Raimund Kirner
14.30 Towards a Statistical Model of a Microprocessor's Throughput by Analysing Pipeline Stalls
Uwe Brinkschulte, Mathias Pacher, and Daniel Lohn
15.00 Concurrency and Communication: Lessons from the SHIM Project
Stephen A. Edwards
15.30 Overview of Multicore Requirements towards Real-Time Communication
Achim Rettberg and Ina Podolski

16.00 COFFEE BREAK

16.30-18.00 SESSION 11: Sensor Networks & Applications

16.30 Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems
Leonardo Querzoni, Roberto Baldoni, Giorgia Lodi, Adriano Cerocchi, and Luca Montanari
17.00 Development of Field Monitoring Server System and its Application in Agriculture
ChangSun Shin, Meong-Hun Lee, Young-Woong Lee, Jeong-Sik Cho, Su-Chong Joo, and Hyun Yoe
17.30 DPDP: an Algorithm for Reliable and Smaller Congestion in the Mobile Ad-hoc Network
Ingu Han, Kee-Wook Rim, and Jung-Hyun Lee

18.00 SEUS Workshop Closing Remarks