IFIP TC6 Open Digital Library

SEUS 2008: Anacarpi, Capri Island, Italy

Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings

Uwe Brinkschulte, Tony Givargis, Stefano Russo

Springer, Lecture Notes in Computer Science 5287, ISBN: 978-3-540-87784-4



Contents

Model-Driven Development

Using UML 2.1 to Model Multi-agent Systems.

Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang

 1-8

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

 9-20

Model Based Synthesis of Embedded Software.

Daniel D. Gajski, Samar Abdi, Ines Viskic

 21-33

Formal Specification of Gateways in Integrated Architectures.

Roman Obermaisser

 34-45

Model-Integrated Development of Cyber-Physical Systems.

Gabor Karsai, Janos Sztipanovits

 46-54

Middleware

Towards a Middleware Approach for a Self-configurable Automotive Embedded System.

Isabell Jahnich, Ina Podolski, Achim Rettberg

 55-65

Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity.

Paolo Bellavista, Antonio Corradi, Carlo Giannelli

 66-78

Service Orchestration Using the Chemical Metaphor.

Jean-Pierre Banâtre, Thierry Priol, Yann Radenac

 79-89

Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture.

Manuel Nickschas, Uwe Brinkschulte

 90-101

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, Doo-Hyun Kim

 102-113

Real Time

Improving Real-Time Performance of a Virtual Machine Monitor Based System.

Megumi Ito, Shuichi Oikawa

 114-125

A Two-Layered Management Architecture for Building Adaptive Real-Time Systems.

Florian Kluge, Sascha Uhrig, Jörg Mische, Theo Ungerer

 126-137

Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning.

Siddharth Choudhuri, Tony Givargis

 138-149

An Operating System for a Time-Predictable Computing Node.

Guenter Khyo, Peter P. Puschner, Martin Delvai

 150-161

Data Services in Distributed Real-Time Embedded Systems.

Woochul Kang, Sang Hyuk Son

 162-173

Quality of Service and Performance

QoS-Adaptive Router Based on Per-Flow Management over NGN.

Boyoung Rhee, Sungchol Cho, Sunyoung Han, Chun-Hyon Chang, Jung-Guk Kim

 174-185

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

Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi

 186-197

Cost-Performance Tradeoff for Embedded Systems.

Julie S. Fant, Robert G. Pettit IV

 198-208

Resolving Performance Anomaly Using ARF-Aware TCP.

See-hwan Yoo, Tae-Kyung Kim, Chuck Yoo

 209-220

Applications

Context-Aware Deployment of Services in Public Spaces.

Ichiro Satoh

 221-232

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

Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon

 233-244

Cyber Biosphere for Future Embedded Systems.

Franz J. Rammig

 245-255

Leveraging GIS Technologies for Web-Based Smart Places Services.

Cristiano di Flora, Christian Prehofer

 256-267

Pervasive and Mobile Systems

VeryIDX - A Digital Identity Management System for Pervasive Computing Environments.

Federica Paci, Elisa Bertino, Sam Kerr, Aaron Lint, Anna Cinzia Squicciarini, Jungha Woo

 268-279

Delay-Aware Mobile Transactions.

Brahim Ayari, Abdelmajid Khelil, Neeraj Suri

 280-291

An Operating System Architecture for Future Information Appliances.

Tatsuo Nakajima, Hiroo Ishikawa, Yuki Kinebuchi, Midori Sugaya, Lei Sun, Alexandre Courbot, Andrej van der Zee, Aleksi Aalto, Kwon Ki Duk

 292-303

M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks.

Lynn Choi, Jae Kyun Jung, Byong-Ha Cho, Hyohyun Choi

 304-316

Wireless Embedded Systems

Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems.

Yukikazu Nakamoto, Issei Abe, Tatsunori Osaki, Hiroyuki Terada, Yu Moriyama

 317-322

A Novel Approach for Security and Robustness in Wireless Embedded Systems.

Mohammad Iftekhar Husain, Shambhu J. Upadhyaya, Madhusudhanan Chandrasekaran

 323-335

The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies.

Gabriella Carrozza, Marcello Cinque

 336-347

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

Adam Ji Dou, Vana Kalogeraki

 348-359

Methods for Increasing Coverage in Wireless Sensor Networks.

Sunggu Lee, Younggyu Yang

 360-368

Synthesis, Verification and Protection

Locks Considered Harmful: A Look at Non-traditional Synchronization.

Michel Raynal

 369-380

From Model Driven Engineering to Verification Driven Engineering.

Fabrice Kordon, Jérôme Hugues, Xavier Renault

 381-393

On Scalable Synchronization for Distributed Embedded Real-Time Systems.

Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen

 394-405

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

Seongje Cho, Hyeyoung Chang, Yookun Cho

 406-416

Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.

George Din, Diana Vega, Ina Schieferdecker

 417-430