The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2006)
Gyeongju, Korea
Apr. 24, 2006 to Apr. 26, 2006
ISBN: 0-7695-2561-X
TABLE OF CONTENTS
Papers
Introduction

Committees (PDF)

pp. xiv-xvi
Session 1A: Scheduling and Resource Management

Getting More Flexible Scheduling in the RTSJ (Abstract)

A.J. Wellings , University of York, UK
Alexandros Zerzelidis , University of York, UK
pp. 3-10

A Hybrid Scheduling Scheme for Hard, Soft and Non-Real-time Tasks (Abstract)

Pengliu Tan , Huazhong University of Science and Technology, China
Hai Jin , Huazhong University of Science and Technology, China
Minghu Zhang , Huazhong University of Science and Technology, China
pp. 20-26

Scheduling Non-Preemptive Periodic Tasks in Soft Real-Time Systems Using Fuzzy Inference (Abstract)

Toktam Taghavi , Ferdowsi University of Mashhad
Mahmoud Naghibzadeh , Ferdowsi University of Mashhad
Mojtaba Sabeghi , Ferdowsi University of Mashhad
pp. 27-32

Load Balancing Techniques for Distributed Stream Processing Applications in Overlay Environments (Abstract)

Vana Kalogeraki , University of California, Riverside, USA
Yannis Drougas , University of California, Riverside, USA
Thomas Repantis , University of California, Riverside, USA
pp. 33-42
Session 1B: System Design

MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platfor (Abstract)

Roman Obermaisser , Vienna University of Technology, Austria
Philipp Peti , Vienna Univesity of Technology, Austria
Bernhard Huber , Vienna University of Technology, Austria
pp. 43-52

Looking Ahead in Open Multithreaded Transactions (Abstract)

J?rg Kienzle , McGill University, Canada
Alexander Romanovsky , University of Newcastle upon Tyne, UK
Maxime Monod , Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland
pp. 53-63

A Space-Efficient Caching Mechanism for Flash-Memory Address Translation (Abstract)

Tei-Wei Kuo , National Taiwan University, ROC
Chin-Hsien Wu , National Taiwan University, ROC
Chia-Lin Yang , National Taiwan University, ROC
pp. 64-71

Accounting System: A Fine-Grained CPU Resource Protection Mechanism for Embedded System (Abstract)

Shuichi Oikawa , University of Tsukuba, Japan
Tatsuo Nakajima , Waseda University, Japan
Midori Sugaya , Waseda University, Japan
pp. 72-84
Session 2A: Embedded Systems

Java Framework for Distributed Real-Time Embedded Systems (Abstract)

Edison Pignaton Freitas , Federal University of Rio Grande do Sul, Brazil
Fabiano Costa Carvalho , Federal University of Rio Grande do Sul, Brazil
Fl?vio Rech Wagner , Federal University of Rio Grande do Sul, Brazil
Elias Teodoro Silva Jr. , Federal University of Rio Grande do Sul, Brazil
Carlos Eduardo Pereira , Federal University of Rio Grande do Sul, Brazil
pp. 85-92

A Software Enhancement System for Embedded Software Development (Abstract)

John Linn , Texas Instruments, USA
Jia Zhou , The Univesity of Texas at Dallas, USA
Raymond Paul , US Department of Defense, USA
Kendra x Kendra Cooper , The University of Texas at Dallas, USA
I-Ling Yen , The University of Texas at Dallas, USA
pp. 93-100

Integrated Scheduling with Garbage Collection for Real-Time Embedded Applications in CLI (Abstract)

Yann-Hang Lee , Arizona State University, USA
Elliott Rachlin , Honeywell International, Inc., AZ, USA
Okehee Goh , Arizona State Univesity, USA
Ziad Kaakani , Honeywell International Inc., AZ, USA
pp. 101-108

Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns (Abstract)

Yansheng Zhang , University of Texas at Dallas, USA
Farokh Bastani , Univesity of Texas at Dallas, USA
Ann Tai , IA Tech, Inc., Los Angeles, CA
Jian Liu , University of Texas at Dallas, USA
Jicheng Fu , University of Texas at Dallas, USA
I-Ling Yen , University of Texas at Dallas, USA
Savio Chau , Jet Propulsion Laboratory, Pasadena, CA
pp. 109-116

Embedded Sensor Networked Operating System (Abstract)

Kee-Young Shin , Electronics and Telecommunications Research Institute, Korea
Kwangyong Lee , Electronics and Telecommunications Research Institute, Korea
Jin Won Kim , Electronics and Telecommunications Research Institute, Korea
Daeyoung Kim , CNU, South Korea
Seungmin Park , Electronics and Telecommunications Research Institute, Korea
pp. 117-124
Session 2B: Software Design

Towards a Real-Time Implementation of the ECMA Common Language Infrastructure (Abstract)

Martin v. L?wis , Hasso-Plattner-Institute at University of Potsdam, Germany
Andreas Rasche , Hasso-Plattner-Institute at University of Potsdam, Germany
pp. 125-132

Dependable and Secure TMO Scheme (Abstract)

Jungin Kim , University of Texas at Dallas, USA
Bhavani Thuraisingham , University of Texas at Dallas, USA
pp. 133-140

RTSTREAM: Real-Time Query Processing for Data Streams (Abstract)

Yuan Wei , University of Virginia, USA
Sang H. Son , University of Virginia, USA
John A. Stankovic , University of Virginia, USA
pp. 141-150

Dynamically Deploying Web Services on a Grid using Dynasoar (Abstract)

Charles Kubicek , University of Newcastle-upon-Tyne, UK
Chris Fowler , University of New Castle-upon-Tyne, UK
Savas Parastatidis , University of Newcastle-upon-Tyne, UK
Arijit Mukherjee , University of Newcastle-upon-Tyne, UK
Mark Hewitt , University of Newcastle-upon-Tyne, UK
Paul Watson , University of Newcastle-upon-Tyne, UK
John Colquhoun , University of Newcastle-upon-Tyne, UK
pp. 151-158

Deterministic \delta -Connected Overlay for Peer-to-Peer Networks (Abstract)

A. Virgillito , Universita di Roma - "La Sapienza", Italy
M. Gradinariu , IRISA, INRIA - Rennes, France
A. K. Datta , University of Nevada Las Vegas, USA
pp. 159-168
Session 3A: Wireless and Sensor Networks

A Flexible, High-Precise Time Synchronization for Multi-hop Sensor Networks (Abstract)

Seungmin Park , Electronics and Telecommunications Research Institute, Korea
Kwangyong Lee , Electronics and Telecommunications Research Institute, Korea
Heung-Nam Kim , Electronics and Telecommunications Research Institute, Korea
Haeyong Kim , Electronics and Telecommunications Research Institute, Korea
Chae Deok Lim , Electronics and Telecommunications Research Institute, Korea
Kee-Young Shin , Electronics and Telecommunications Research Institute, Korea
Pyeong Soo Mah , Electronics and Telecommunications Research Institute, Korea
pp. 169-173

A Novel Multipath Disjoint Routing to Support Ad Hoc Wireless Sensor Networks (Abstract)

Yu Haibin , Jilin Normal University, China
Ren Xiuli , Chinese Academy of Science, China
pp. 174-178

Individual Contour Extraction for Robust Wide Area Target Tracking in Visual Sensor Networks (Abstract)

Hoon Heo , Kyung Hee University, Korea
Xiaoling Wu , Kyung Hee University, Korea
Jinsung Cho , Kyung Hee University, Korea
Sungyoung Lee , Kyung Hee University, Korea
Oksam Chae , Kyung Hee University, Korea
Riaz A. Shaikh , Kyung Hee University, Korea
pp. 179-185

A Fault-Tolerant Model ofWireless Sensor-Actor Network (Abstract)

Makoto Takizawa , Rissho University, Japan
Kenichi Watanabe , Tokyo Denki University, Japan
Keiji Ozaki , Tokyo Denki University, Japan
Tomoya Enokido , Rissho University, Japan
Satoshi Itaya , Tokyo Denki University, Japan
Naohiro Hayashibara , Tokyo Denki University, Japan
pp. 186-193

QoS Support for Mobile Ad-Hoc Networks Based on a Reservation Pool (Abstract)

Sunggu Lee , Pohang Univ. of Science and Technology (POSTECH), Korea
Min-Gu Lee , Pohang Univ. of Science and Technology (POSTECH), Korea
pp. 194-205
Session 3B: Industrial Advances

A Real-time Media Framework for Asymmetric MPSoC (Abstract)

Jinman Park , Samsung Electronics
Seungmo Cho , Samsung Electronics
Junggyu Park , Samsung Electronics
Kyungjeon Kim , Samsung Electronics
Hyojung Song , Samsung Electronics
Najeong Han , Samsung Electronics
pp. 205-207

Lessons Learned Applying Performance Modeling and Analysis Techniques (Abstract)

Julie A. Street , The Aerospace Corporation, USA
Robert G. Pettit IV , The Aerospace Corporation, USA
pp. 208-214

On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances (PDF)

Hyeonjoong Cho , Virginia Tech, USA
Chewoo Na , Virginia Tech, USA
Binoy Ravindran , Virginia Tech, USA
E. Douglas Jensen , The MITRE Corporation, USA
pp. 215-223
Session 3B: Industrial Advances

JAAT: Java Alias Analysis Tool for Program Maintenance Activities (Abstract)

Fumiaki Ohata , Toshiba, Japan
Katsuro Inoue , Osaka University, Japan
pp. 232-244
Session 4A: Middleware

Distributed Real-time Computing in Autonomous Robots using Time-Triggered and Message-Triggered Objects (TMOs) (Abstract)

Jan O. Biermeyer , University of California, Irvine, USA
Bernd Kleinjohann , University of Paderborn, Germany
Vason P. Srini , Datafluxsystems Inc., USA
pp. 245-252

A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size (Abstract)

Paul Ezhilchelvan , University of Newcastle, UK
Jon Crowcroft , Cambridge University, UK
Antonio Di Ferdinando , University of Newcastle, UK
Michael Dales , Intel Research Laboratory, UK
pp. 253-260

Design of A Hyperlink-based Software Architecture for Smart Devices (Abstract)

Mitsuko Sato , University of Hyogo, Japan
Yukikazu Nakamoto , University of Hyogo, Japan
pp. 261-268

Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems (Abstract)

Yoon-Seok Jeong , Konkuk University, Korea
Tae-Wan Kim , Konkuk University, Korea
Chun-Hyon Chang , Konkuk University, Korea
pp. 269-278
Session 4B: Systems Modeling

A Fault-Tolerant Transactional Agent Model on Distributed Objects (Abstract)

Tomoya Enokido , Rissho University, Japan
Youhei Tanaka , Tokyo Denki University, Japan
Naohiro Hayashibara , Tokyo Denki University, Japan
Makoto Takizawa , Tokyo Denki University, Japan
pp. 279-286

Incorporating Situation Awareness in Service Specifications (Abstract)

Stephen S. Yau , Arizona State University, USA
Junwei Liu , Arizona State University, USA
pp. 287-294

Architecture Classification for SOA-Based Applications (Abstract)

Yinong Chen , Arizona State University, USA
Jen-Yao Chung , IBM T.J. Watson Research Center, USA
Raymond Paul , Department of Defense, USA
W.T. Tsai , Arizona State University, USA
Chun Fan , Arizona State University, USA
pp. 295-302

Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets (Abstract)

Hassan Gomaa , George Mason University, USA
Robert G. Pettit IV , The Aerospace Corporation, USA
pp. 303-312
Session 5: Keynote Speech
Session 6: Panel

Model Based Integration of Safety Analysis and Development (Abstract)

Alejandro Alonso , Technical University of Madrid, Spain
Javier Fern?ndez Briones , Technical University of Madrid, Spain
Juan Pedro Silva , Technical University of Madrid, Spain
Miguel de Miguel , Technical University of Madrid, Spain
pp. 323-326
Session 7A: UML and Modeling

Safe and Timely Scenario Switching in UML Real-Time Projects (Abstract)

Roman Gumzej , University of Maribor, Slovenia
Matja?z Colnari?c , University of Maribor, Slovenia
Wolfgang A. Halang , Fernuniversitat, Germany
pp. 335-342

From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation (Abstract)

Ferhat Khendek , Concordia Univesity, Canada
Abdelouahed Gherbi , Concordia University, Canada
pp. 343-350

Interaction-Based Behavior Modeling of Embedded Software using UML 2.0 (Abstract)

Sang-Uk Jeon , KAIST, Korea
Jang-Eui Hong , Chungbuk National Univ., Korea
Doo-Hwan Bae , KAIST, Korea
pp. 351-358
Session 7B: Real-Time Systems

Predictability of Earliest Deadline Zero Laxity Algorithm for Multiprocessor Real-Time Systems (Abstract)

Sangchul Han , Seoul National University, Korea
Xuefeng Piao , Seoul National University, Korea
Minkyu Park , Seoul National University, Korea
Heeheon Kim , Seoul National University, Korea
Seongje Cho , Dankook University, Korea
Yookun Cho , Seoul National University, Korea
pp. 359-364

Complexity Management for Composable Real-Time Systems (Abstract)

Bernhard Rumpler , Vienna University of Technology, Austria
pp. 365-373

Real-time Operating Systems for Self-coordinating Embedded Systems (Abstract)

Simon Oberth? , University of Paderborn, Germany
Marcelo G? , University of Paderborn, Germany
Tales Heimfarth , University of Paderborn, Germany
Franz J. Rammig , University of Paderborn, Germany
Peter Janacik , University of Paderborn, Germany
pp. 382-392
Session 8: Fundamental Issues in Distributed Real-Time Computing

Formal Modeling and Analysis of the AFDX Frame Management Design (Abstract)

Samar Dajani-Brown , Honeywell Technology Center, USA
Madhukar Anand , University of Pennsylvania, USA
Steve Vestal , Honeywell Technology Center, USA
Insup Lee , University of Pennsylvania, USA
pp. 393-399

Towards an Organic Middleware for Real-Time Applications (Abstract)

Mathias Pacher , University of Karlsruhe, Germany
Uwe Brinkschulte , University of Karlsruhe, Germany
Alexander von Renteln , University of Karlsruhe, Germany
pp. 400-407
Session 9A: Language Support and Design Patterns

Real-Time Garbage Collection for Java (Abstract)

Martin Schoeberl , Vienna University of Technology, Austria
pp. 424-432

Java Virtual Machine Monitoring for Dependability Benchmarking (Abstract)

Salvatore Orlando , Universita degli Studi di Napoli Federico II, Italy
Stefano Russo , Consorzio Interuniversitario Nazionale per l?Informatica, Italy
pp. 433-440

Design Patterns for Releasing Applications in C++ Implementations of JTRS Software Communications Architecture (Abstract)

Saehwa Kim , Seoul National University, Korea
Michael Barth , Seoul National University, Korea
Jonghun Yoo , Seoul National University, Korea
Seongsoo Hong , Seoul National University, Korea
pp. 441-450
Session 9B: Data Communication

Long-term Location Data Management for Distributed Moving Object Databases (Abstract)

Seungyong Park , Dankook University, Korea
Ho Lee , Dankook University, Korea
Segil Jeon , Konkuk University, Korea
Joonwoo Lee , Dankook University, Korea
Yunmook Nah , Dankook University, Korea
Chungwoo Lee , Dankook University, Korea
Jaeil Hwang , Dankook University, Korea
Moon Hae Kim , Konkuk University, Korea
pp. 451-458

XML Descriptor Based Approach for Real Time Data Messaging (Abstract)

Ling Feng , University of Twente, The Netherlands
Elizabeth Chang , Curtin University of Technology, Australia
Polly M.S. Poon , UTS, Australia
Tharam S Dillon , UTS, Australia
pp. 459-468

An IEEE1394-Based Real-Time Distributed IPC System for Collaborating TMO?s (Abstract)

Jung-Guk Kim , Hankuk University of Foreign Studies, Korea
Moon Hae Kim , Konkuk University, Korea
Sang Hyun Park , Hankuk University of Foreign Studies, Korea
Jae Gi Son , Hankuk University of Foreign Studies, Korea
pp. 469-475

Portable Data Exchange for Remote-Testing Frameworks (Abstract)

Raimund Kirner , Technische Universitat Wien, Austria
Bernhard Rieder , Technische Universitat Wien, Austria
Peter Puschner , Technische Universitat Wien, Austria
Ingomar Wenzel , Technische Universitat Wien, Austria
pp. 476-484
Session 10A: Fault-Tolerance and Security

Dependability Driven Integration of Mixed Criticality SW Components (Abstract)

Robert Lindstrom , Technische Universitat Darmstadt, Germany
Shariful Islam , Technische Universitat Darmstadt, Germany
Neeraj Suri , Technische Universitat Darmstadt, Germany
pp. 485-495

A Lightweight Intrusion-Tolerant Overlay Network (Abstract)

Joni da Silva Fraga , Federal University of Santa Catarina, Brazil
Rafael R. Obelheiro , Federal University of Santa Catarina, Brazil
pp. 496-503

An Infrastructure for Adaptive Fault Tolerance on FT-CORBA (Abstract)

Miguel Correia , Faculdade de Ci?ncias da Universidade de Lisboa, Portugal
Fabio Favarim , Federal University of Santa Catarina, Brazil
Giuliana Teixeira Santos , Pontifical Catholic University of Paran?, Brazil
Lau Cheuk Lung , Pontifical Catholic University of Paran?, Brazil
pp. 504-511

A Practical Approach to Secure Web Services (Abstract)

Keith H. Bennett , University of Durham, UK
Erica Y. Yang , University of Leeds, UK
Jie Xu , University of Leeds, UK
pp. 512-519

Automated Logging of Mobile Phones Failures Data (Abstract)

Domenico Cotroneo , Universita degli Studi di Napoli Federico II, Italy
Paolo Ascione , Consorzio Interuniversitario, Italy
Marcello Cinque , Universita degli Studi di Napoli Federico II, Italy
pp. 520-530
Session 10B: Performance Evaluation

Automatic Performance Visualization of Distributed Real-Time Systems (Abstract)

Trevor Harmon , University of California, Irvine, USA
Raymond Klefstad , University of California, Irvine, USA
pp. 531-538

Diagnostic Framework for Integrated Time-Triggered Architectures (Abstract)

P. Peti , Vienna University of Technology, Austria
R. Obermaisser , Vienna University of Technology, Austria
pp. 539-549

Evaluation of the Komodo Microcontroller and the OSA+ Middleware Using an Autonomous Guided Vehicle (Abstract)

Mathias Pacher , University of Karlsruhe, Germany
Uwe Brinkschulte , University of Karlsruhe, Germany
Stefan Gaa , University of Karlsruhe, Germany
Florentin Picioroaga , University of Karlsruhe, Germany
pp. 550-557

Tree-Based WCET Analysis on Instrumentation Point Graphs (Abstract)

Guillem Bernat , University of York, UK
Adam Betts , Univesity of York, UK
pp. 558-565
Author Index

Author Index (PDF)

pp. 575
82 ms
(Ver )