IFIP TC6 Open Digital Library

SEUS 2007: Santorini Island, Greece

Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig

Springer, Lecture Notes in Computer Science 4761, ISBN: 978-3-540-75663-7



Contents

Ubiquitous Computing Frameworks

An Efficient Method to Create Business Level Events Using Complex Event Processing Based on RFID Standards.

Byung-Kook Son, Jun-Hwan Lee, Kyung-Lang Park, Cheong-Ghil Kim, Hiecheol Kim, Shin-Dug Kim

 1-10

Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID.

Masayuki Iwai, Ryo Ohsawa, Kei Suzuki, Takuya Imaeda, Hideyuki Tokuda

 11-19

A Task Decomposition Scheme for Context Aggregation in Personal Smart Space.

Hoseok Ryu, Insuk Park, Soon J. Hyun, Dongman Lee

 20-29

Distributed k-NN Query Processing for Location Services.

Jonghyeong Han, Joonwoo Lee, Seungyong Park, Jaeil Hwang, Yunmook Nah

 30-39

Ontology Based Context Alignment for Heterogeneous Context Aware Services.

Seungkeun Lee

 40-46

Community Computing Model Supporting Community Situation Based Strict Cooperation and Conflict Resolution.

Youna Jung, Jungtae Lee, Minkoo Kim

 47-56

Safety-Critical Systems

Advancements in Dependable Time-Triggered Communication.

Wilfried Steiner

 57-66

On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures.

Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen

 67-81

Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems.

Markus Kucera, Hans Mauser

 82-92

Application of Safety Analyses in Model Driven Development.

Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso

 93-104

Mission Modes for Safety Critical Java.

Martin Schoeberl

 105-113

Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.

Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae

 114-124

Validation of Embedded and Ubiquitous Systems

Testing Embedded Control Systems with TTCN-3.

Ina Schieferdecker, Jürgen Großmann

 125-136

Cross-Platform Verification Framework for Embedded Systems.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

 137-148

Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform.

Songah Chae, Doo-Hyun Kim, Changhee Jung, Duk-Kyun Woo, Chaedeok Lim

 149-158

A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture.

Martin Schlager, Roman Obermaisser, Wilfried Elmenreich

 159-170

An Embedded Integration Prototyping System Based on Component Technique.

Youngjin Jung, Jeong-Bae Lee, Jinbaek Kwon, Kee-Wook Rim, Sang-Young Cho

 171-180

Ubiquitous Computing Applications

TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies.

Sheng Liu, K. H. (Kane) Kim, Sung-Jin Kim, Zhen Zhang, Jongho Nang, Ki-Seok Choi, Yongbin Kang

 181-191

Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme.

Hansol Park, Moon-hae Kim, Chun-Hyon Chang, Keechon Kim, Jung-Guk Kim, Doo-Hyun Kim

 192-201

Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun.

Eiji Tokunaga, Masaaki Ayabe, Hiroaki Kimura, Tatsuo Nakajima

 202-212

Speech Recognition System Using DHMMs Based on Ubiquitous Environment.

Jong-Hun Kim, Un-Gu Kang, Kee-Wook Rim, Jung-Hyun Lee

 213-222

Healthcare Information Management System in Home Environment.

Chang-Sun Shin, Su-Chong Joo, Chang-Won Jeong

 223-232

Effective Appliance Selection by Complementary Context Feeding in Smart Home System.

Taek Lee, Jiyong Park, Hoh Peter In

 233-242

Vector Graphic Reference Implementation for Embedded System.

Sang-Yun Lee, Byung-Uk Choi

 243-252

Scheduling and Non Functional Properties

A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool.

Donghak Pyo, Sunggu Lee, Min-Gu Lee

 253-262

Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.

Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu

 263-272

Soft Real-Time Task Response Time Prediction in Dynamic Embedded Systems.

Cássia Yuri Tatibana, Carlos Montez, Rômulo Silva de Oliveira

 273-282

Transparent and Selective Real-Time Interrupt Services for Performance Improvement.

Jinkyu Jeong, Euiseong Seo, Dongsung Kim, Jinsoo Kim, Joonwon Lee, Yung-Joon Jung, Donghwan Kim, Kanghee Kim

 283-292

An Approach for Energy-Aware Management in Ubiquitous Home Network Environment.

Hyung-Soo Mok, Sung-Yong Son, Jun Hee Hong, Sanghoon Kim

 293-300

On-Chip Bus Architecture Optimization for Multi-core SoC Systems.

Cheng-Min Lien, Ya-Shu Chen, Chi-Sheng Shih

 301-310

An Effective Path Selection Method in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique.

Jungwook Song, Heemin Kim, Sunyoung Han

 311-318

Self-organization and Reconfiguration

Self-organizing Resource-Aware Clustering for Ad Hoc Networks.

Tales Heimfarth, Peter Janacik, Franz J. Rammig

 319-328

Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm.

Sang Hun Eo, Wei Zha, Byeong-Seob You, Dong-Wook Lee, Hae-Young Bae

 329-338

Towards an Artificial Hormone System for Self-organizing Real-Time Task Allocation.

Uwe Brinkschulte, Mathias Pacher, Alexander von Renteln

 339-347

On Self-aware Delay Time Based Service Request Optimization for Gateway Stability in Autonomic Self-healing Systems.

Junaid Ahsenali Chaudhry, Yonghwan Lee, Seungkyu Park, Dugki Min

 348-357

Algorithmic Skeletons for the Programming of Reconfigurable Systems.

Florian Dittmann

 358-367

A Framework for Supporting the Configuration and Automatic Integration of Heterogeneous Location Sensors.

Yoo Chul Chung, Yang Woo Ko, Youngrock Cha, Dongman Lee

 368-377

Service Discovery and Development Platform

Searching Visual Media Service Providers Using ASN.1-Based Ontology Reasoning.

Youngkun Min, Bogju Lee, Yunmook Nah

 378-383

SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments.

Sangdo Park, Junhyeong Kim, Paul Barom Jeon

 384-388

A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine.

Husni Teja Sukmana, Jeong-Bae Lee, Jong-Il Kim, Young J. Jung, Jin B. Kwon, Kee-Wook Rim, Young-Ran Lee

 389-393

Configurable Virtual Platform Environment Using SID Simulator and Eclipse.

Hadipurnawan Satria, Baatarbileg Altangerel, Jin Baek Kwon, Jeongbae Lee

 394-398

Wireless Networks

An Energy-Efficient k -Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks.

Jang-Woon Baek, Young Jin Nam, Dae-Wha Seo

 399-408

Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff.

Marcello Cinque, Stefano Russo

 409-418

Event-Driven Power Management for Wireless Sensor Networks.

Sang Hoon Lee, Byong-Ha Cho, Lynn Choi, Sun-Joong Kim

 419-428

Time Synchronization in Wireless Sensor Network Applications.

Y. S. Hong, J. H. No

 429-435

GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment.

Tiago Camilo, Jorge Sá Silva, André Rodrigues, Fernando Boavida

 436-445

Energy-Aware Routing for Wireless Sensor Networks by AHP.

Xiaoling Wu, Jinsung Cho, Brian J. d'Auriol, Sungyoung Lee

 446-455

A Wireless System for Real-Time Environmental and Structural Monitoring.

Valerio Plessi, Filippo Bastianini, Sahra Sedigh

 456-465

Middleware Architectures and Virtualization

Integrated Notification Architecture Based on Overlay Against DDoS Attacks on Convergence Network.

Mihui Kim, Jaewon Seo, Kijoon Chae

 466-476

Making Middleware Secure on Embedded Terminals.

Yoshiharu Asakura, Atsushi Honda, Satoshi Hieda, Hiroshi Chishima, Naoki Sato

 477-485

Dynamic Translator-Based Virtualization.

Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima

 486-495

Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems.

Megumi Ito, Shuichi Oikawa

 496-505

Environment Interaction

Building a Customizable User Interface Framework Using Hyperlinks for Smart Devices.

Mitsuko Sato, Eigo Okada, Yukikazu Nakamoto

 506-515

An Efficient Location Index for the Semantic Search of Moving Objects.

Dong-Oh Kim, Jung-Su Shin, Hong-Koo Kang, Ki-Joon Han

 516-526

Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines.

Sebastian Schuster, Uwe Brinkschulte

 527-536

Design and Implementation of Peripheral Sharing Mechanism on Pervasive Computing with Heterogeneous Environment.

Wonhong Kwon, Han Wook Cho, Yong Ho Song

 537-546

A Review on System Architectures for Sensor Fusion Applications.

Wilfried Elmenreich

 547-559