WORKSHOP PROGRAM Wednesday, October 1st 12.00 – 13.45 Opening and Lunch

13.45 – 15.50 Session 1 – Model-Driven Development Session Chair: Uwe Brinkschulte Using UML 2.1 to Model Multi-Agent Systems

Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang (Curtin University of Technology, Perth, Australia)

Designing fault-tolerant component based applications with a model driven approach

Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier (CEA, LIST, France)

Model Based Synthesis of Embedded Software

Daniel D. Gajski, Samar Abdi, Ines Viskic (University of California, Irvine, USA) Formal Specification of Gateways in Integrated Architectures

Roman Obermaisser (Vienna University of Technology, Austria) Model-Integrated Development of Cyber-Physical Systems

Gabor Karsai, Janos Sztipanovits (Vanderbilt University, USA) 15.50 – 16.20 Coffee break 16.20 – 18.25 Session 2 – Middleware Session Chair: Stefano Russo Towards a Middleware Approach for a Self-Configurable Automotive Embedded System

Isabell Jahnich, Ina Podolski, Achim Rettberg (University of Paderborn, Germany) Context-aware Middleware for Reliable Multi-hop Multi-path Connectivity

Paolo Bellavista, Antonio Corradi, Carlo Giannelli (University of Bologna, Italy) Service Orchestration Using the Chemical Metaphor

Jean-Pierre Banâtre, Thierry Priol, Yann Radenac (INRIA/IRISA, France) Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture

Manuel Nickschas, Uwe Brinkschulte (University of Frankfurt, Germany) Self-Describing and Data Propagation Model for Data Distribution Service

Chungwoo Lee, Jaeil Hwang, Joonwoo Lee, Chulbum Ahn, Bowon Suh, Dong-Hoon Shin, Yunmook Nah (Dankuk University, Korea) Doo-Hyun Kim (Konkuk University, Korea)

Blue Grotto, Capri

The 6th IFIP Workshop on Software technologies

for future Embedded & Ubiquitous Systems SEUS 2008

Villa Orlandi, Anacapri, Italy October 1-3, 2008

www.mobilab.unina.it/SEUS2008

IFIP WG 10.2

“Embedded Systems”

SEUS 2008 – Workshop Program page 2 of 4

Thursday, October 2nd 9.00 – 11.05 Session 3 – Real Time Session Chair: Franz Rammig Improving Real-Time Performance of a Virtual Machine Monitor based System

Megumi Ito, Shuichi Oikawa (University of Tsukuba, Japan) A Two-Layered Management Architecture for Building Adaptive Real-time Systems

Florian Kluge, Sascha Uhrig, Jörg Mische, Theo Ungerer (University of Augsburg, Germany)

Real-Time Access Guarantees for NAND Flash using Partial Block Cleaning Siddharth Choudhuri, Tony Givargis (University of California, Irvine, USA)

An Operating System for a Time-Predictable Computing Node Guenter Khyo, Peter Puschner, Martin Delvai (Vienna University of Technology, Austria)

Data Services in Distributed Real-Time Embedded Systems

Woochul Kang, Sang H. Son (University of Virginia, USA) 11.05 – 11.30 Coffee break 11.30 – 13.10 Session 4 – Quality of Service and Performance Session Chair: Peter Puschner QoS-Adaptive Router Based on Per-Flow Management over NGN

Boyoung Rhee, Sungchol Cho, Sunyoung Han, Chun-hyon Chang (Konkuk University, Korea), Jung Guk Kim (Hankuk University, Korea)

Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults

Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi (University of Florence, Italy)

Cost-Performance Tradeoff for Embedded Systems Julie S. Fant, Robert G. Pettit (The Aerospace Corporation, USA)

Resolving Performance Anomaly using ARF-aware TCP

Seehwan Yoo, Tae-Kyung Kim, Chuck Yoo (Korea University, Korea) 13.10 – 14.30 Lunch break 14.30 – 16.10 Session 5 – Applications Session Chair: Michel Reynal Context-aware Deployment of Services in Public Spaces

Ichiro Satoh (National Institute of Informatics, Japan)

An Ontology Supported Meta-Interface for the Development and Installation of Customized Web Based Telemedicine Systems

SEUS 2008 – Workshop Program page 3 of 4

Jackei H.K. Wong, Wilfred W. K. Lin, Allan K.Y. Wong (Hong Kong Polytechnic University, Hong Kong), Tharam S. Dillon (Curtin University of Technology, Australia)

Cyber Biosphere for Future Embedded Systems Franz J. Rammig (University of Paderborn, Germany)

Leveraging GIS Technologies for Web-based Smart Places Services Cristiano Di Flora, Christian Prehofer (NOKIA, Finland)

16.10 – 16.30 Coffee break 16.30 – 18.35 Session 6 – Pervasive and Mobile Systems Session Chair: Domenico Cotroneo Locks Considered Harmful: A look at Non-traditional Synchronization

Michel Raynal (IRISA, France) Delay-Aware Mobile Transactions

Brahim Ayari, Abdelmajid Khelil, Neeraj Suri (University of Darmstadt,Germany)

An Operating System Architecture for Future Information Appliances Tatsuo Nakajima, Hiroo Ishikawa, Yuki Kinebuchi, Midori Sugaya, Sun Lei, Alexandre Courbot, Andrej van der Zee, Aleksi Aalto, Kwon Ki Duk (Waseda University, Japan)

M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks Lynn Choi, Jae Kyun Jung, Byong-Ha Cho (Korea University, Korea), Hyohyun Choi (Samsung Electronics, Korea)

Toward Integrated Virtual Execution Platform for Large-scale Distributed Embedded Systems Yukikazu Nakamoto, Issei Abe, Hiroyuki Terada, Tatsunori Osaki (University of Hyogo, Japan), Yu Moriyama (Fujitsu Ten, Japan)

20.00 Social Dinner @ Capri Moon Restaurant (Capri)

SEUS 2008 – Workshop Program page 4 of 4

Friday, October 3rd 9.20 – 11.00 Session 7 – Wireless Embedded Systems Session Chair: Andrea Bondavalli A Novel Approach for Security and Robustness in Wireless Embedded Systems

Mohammad Iftekhar Husain, Shambhu Upadhyaya, Madhusudhanan Chandrasekaran (University at Buffalo, USA)

The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies Gabriella Carrozza, Marcello Cinque (Federico II University of Naples, Italy)

RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices

Adam Ji Dou, Vana Kalogeraki (University of California, Riverside, USA) Methods for Increasing Coverage in Wireless Sensor Networks

Sunggu Lee, Younggyu Yang (Pohang University of Science and Technology, Korea) 11.00 – 11.25 Coffee break 11.25 – 13.30 Session 8 Synthesis, Verification, and Protection Session Chair: Tatsuo Nakajima VeryIDX - A Digital Identity Management System for Pervasive Computing Environments

Federica Paci, Elisa Bertino, Sam Kerr, Aaron Lint, Jungha Woo (Purdue University, USA), Anna Squicciarini (The Pennsylvania State University, USA) From Model Driven Engineering to Verification Driven Engineering

Fabrice Kordon, Xavier Renault (University Pierre & Marie Curie, France), Jérôme Hugues (GET-Télécom, France)

On Scalable Synchronization for Distributed Embedded Real-time Systems

Sherif F. Fahmy, Binoy Ravindran (Virginia Tech, USA), E. Douglas Jensen (The MITRE Corporation, USA)

Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture

Seongje Cho, Hyeyoung Chang (Dankuk University, Korea), Yookun Cho (Seoul National University, Korea)

Automated Maintainability of TTCN-3 Test Suites based on Guideline Checking George Din (FOKUS Fraunhofer Institut, Germany), Diana Vega, Ina Schieferdecker (Technical University of Berlin, Germany)

13.30 – 13.50 Closing remarks 13.50 – 15.00 Lunch