The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2005)
Seattle, Washington
May 18, 2005 to May 20, 2005
ISBN: 0-7695-2356-0
TABLE OF CONTENTS

Committees (PDF)

pp. xi-xii
Session 1: National Level Software Technology Movement

An Integrated Architecture for Future Car Generations (Abstract)

R. Obermaisser , Vienna University of Technology, Austria
P. Peti , Vienna University of Technology, Austria
A. Marino , Centro Ricerche Fiat, Orbassano, Italy
F. Tagliabo , Centro Ricerche Fiat, Orbassano, Italy
S. Cerchio , Centro Ricerche Fiat, Orbassano, Italy
pp. 2-13
Session 2: Technology Trends I

The Time-Triggered Ethernet (TTE) Design (Abstract)

Petr Grillinger , Vienna University of Technology, Austria
Astrit Ademaj , Vienna University of Technology, Austria
Hermann Kopetz , Vienna University of Technology, Austria
Klaus Steinhammer , Vienna University of Technology, Austria
pp. 22-33

RMMC Programming Model and Support Execution Engine in the TMO Programming Scheme (Abstract)

Yuqing Li , University of California, Irvine, CA
Sheng Liu , University of California, Irvine, CA
K. H. (Kane) Kim , University of California, Irvine, CA
Moon H. Kim , Konkuk Univesity, Seoul, Korea
Doo-Hyun Kim , Konkuk Univesity, Seoul, Korea
pp. 34-43
Session 3: Technology Trends II

Mackinac: Making HotSpot™ Real-Time (Abstract)

Frederic Parain , Sun Microsystems, France
Christophe Lizzi , Sun Microsystems, France
Bertrand Delsart , Sun Microsystems, France
Romain Guider , Sun Microsystems, France
Greg Bollella , Sun Microsystems, France
pp. 45-54

On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management (PDF)

E. Douglas Jensen , The MITRE Corporation, Bedford, MA
Peng Li , Microsoft Corporation, Redmond, WA
Binoy Ravindran , Virginia Tech, Blacksburg, VA
pp. 55-60
Session 4A: Industrial Advances I

Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study (Abstract)

Mark Schulte , The Boeing Company, St. Louis, Missouri, USA
pp. 62-71

Revisiting COTS middleware for DRE systems (Abstract)

Laurent Pautet , GET-T?l?com Paris, France
Fabrice Kordon , Université Pierre & Marie Curie, France
J?r?mes Hugues , GET-T?l?com Paris, France
pp. 72-79

Self-Tuning Planned Actions Time to Make Real-Time SOAP Real (Abstract)

Stefan Sigurdsson , University of Washington
Johannes Helander , Microsoft Research
pp. 80-89

Architectural Assessment of Embedded Systems Using Aspect-Oriented Programming Principles (Abstract)

Jaime Milstein , The Aerospace Corporation
Phillip Schmidt , The Aerospace Corporation
Sergio Alvarado , The Aerospace Corporation
pp. 90-93
Session 4B: Software Design

Formalization and Analysis of Dataflow in Object-Oriented Design Models (Abstract)

Toshiaki Aoki , Japan Advanced Institute of Science and Technology
Takuya Katayama , Japan Advanced Institute of Science and Technology
pp. 95-105

An Approach for Designing Highly Adaptable Process-Control Systems (Abstract)

Dongfeng Wang , University of Texas at Dallas
Raymond A. Paul , OASD/C3I/Y2K, Department of Defense
Farokh B. Bastani , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
pp. 106-113

A System Architecture for Real-Time Imaging of Nano-Scale Viruses using Remote AFM (Abstract)

Samir M. Iqbal , Purdue University, West Lafayette, IN
Azam Ghafoor , Purdue University, West Lafayette, IN
Rashid Bashir , Purdue University, West Lafayette, IN
pp. 114-120

On the adequacy of UML-RT for performance validation of an SDH telecommunication system (Abstract)

Daniele Rossi , Siemens CNX, Italy
Vittorio Cortellessa , Universita' dell'Aquila, Italy
Pierluigi Pierini , Siemens CNX, Italy
pp. 121-124
Session 5A: Industrial Advances II

Secure Web Services for Low-Cost Devices (Abstract)

Johannes Helander , Microsoft Research
Yong Xiong , Texas A&M University
pp. 130-139

Real-Time GC in JeRTy™VM Using the Return-Barrier Method (Abstract)

Hideaki Saiki , OMRON Software Co., Ltd.
Masahiro Yasugi , Kyoto University
Tsuneyasu Komiya , Toyohashi University of Technology
Taiichi Yuasa , Kyoto University
Yoshiharu Konaka , OMRON Corporation
pp. 140-148

System Recovery through Dynamic Regeneration of Workflow Specification (Abstract)

Casey K. Fung , Boeing Phantom Works, USA
Patrick C. K. Hung , University of Ontario Institute of Technology, Canada
pp. 149-157
Session 5B: System Design

Dependable Real-Time Data Mining (Abstract)

Latifur Khan , The University of Texas at Dallas
Bhavani Thuraisingham , The University of Texas at Dallas; The MITRE Corporation
John Maurer , The MITRE Corporation
Marion Ceruti , Space and Naval Warfare Systems Center, San Diego
Chris Clifton , The MITRE Corporation
pp. 158-165

Code Generation from Hybrid Systems Models for Distributed Embedded Systems (Abstract)

Insup Lee , University of Pennsylvania, Philadelphia, PA
Madhukar Anand , University of Pennsylvania, Philadelphia, PA
Jesung Kim , University of Pennsylvania, Philadelphia, PA
pp. 166-173

Dynamic Real-time Reconfiguration in Distributed Systems: Timing Issues and Solutions (Abstract)

Florentin Picioroag? , University of Karlsruhe, Germany
Etienne Schneider , University of Karlsruhe, Germany
Uwe Brinkschulte , University of Karlsruhe, Germany
pp. 174-181

TMO-eCos: An eCos-based Real-time Micro Operating System Supporting Execution of a TMO Structured Program (Abstract)

Moon Hae Kim , Konkuk University, Korea
Kwang Kim , Hanyang University, Korea
Shin Heu , Hanyang University, Korea
Jung-Guk Kim , Hankuk University of Foreign Studies, Korea
pp. 182-189

Classification of WCET Analysis Techniques (Abstract)

Raimund Kirner , Technische Universit?t Wien, Austria
Peter Puschner , Technische Universit?t Wien, Austria
pp. 190-199
Panel: Autonomic Computing

Organic Computing - A New Vision for Distributed Embedded Systems (Abstract)

Hartmut Schmeck , University of Karlsruhe, Germany
pp. 201-203

Autonomic Computing and Reliability Improvement (Abstract)

Yuan-Shun Dai , Indiana University, Purdue University, Indianapolis, IN
pp. 204-206
Session 6A: Scheduling and Resource Management

Scheduling Distributed Real-Time Nested Transactions (Abstract)

M. Abdouli , Laboratoire LIH, UFR des Sciences et Techniques du Havre, France
L. Amanton , Laboratoire LIH, UFR des Sciences et Techniques du Havre, France
B. Sadeg , Laboratoire LIH, UFR des Sciences et Techniques du Havre, France
pp. 208-215

Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances (PDF)

E. Douglas Jensen , The MITRE Corporation, Bedford, MA
Peng Li , Microsoft Corporation, Redmond, WA
Binoy Ravindran , Virginia Tech, Blacksburg, VA
Hyeonjoong Cho , Virginia Tech, Blacksburg, VA
pp. 216-223

Placement Solutions for Multiple Versions of A Multimedia Object (Abstract)

Keqiu Li , Japan Advanced Institute of Science and Technology
Hong Shen , Japan Advanced Institute of Science and Technology
Francis Y. L. Chin , University of Hong Kong, Pokfulam Road
pp. 224-231
Session 6B: Communication

Adaptive Real-Time Update Dissemination in Distributed Virtual Simulation Environments (Abstract)

Vana Kalogeraki , University of California, Riverside
Fang Chen , University of California, Riverside
pp. 233-236

Adaptive Multi-path On-Demand Routing in Mobile Ad Hoc Networks (Abstract)

Wajahat Mateen , Lahore University of Management Sciences, Pakistan
Shahab Baqai , Lahore University of Management Sciences, Pakistan
Zartash A. Uzmi , Lahore University of Management Sciences, Pakistan
Saqib Raza , Lahore University of Management Sciences, Pakistan
pp. 237-244

Acquaintance-based Protocol for Detecting Multimedia Objects in Peer-to-Peer Overlay Networks (Abstract)

Makoto Takizawa , Tokyo Denki University, Japan
Kane Kim , University of California, Irvine
Kenichi Watanabe , Tokyo Denki University, Japan
Tomoya Enokido , Tokyo Denki University, Japan
pp. 245-252

Multipath Disjoint Routing Algorithm for Ad Hoc Wireless Sensor Networks (Abstract)

Haibin Yu , Chinese Academy of Science, China
Xiuli Ren , Chinese Academy of Science, China
pp. 253-256
Session 7A: Fault Tolerance and Security

A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications (Abstract)

Jie Xu , University of Leeds, UK
Paul Townend , University of Leeds, UK
Paul Groth , University of Southampton, UK
pp. 258-266

Building Responsive TMR-Based Servers in Presence of Timing Constraints (Abstract)

Jean-Michel H?lary , IRISA, France
Michel Raynal , IRISA, France
Paul Ezhilchelvan , University of Newcastle, UK
pp. 267-274

A GTRBAC Based System for Dynamic Workflow Composition and Management (Abstract)

Arjmand Samuel , Purdue University
Basit Shafiq , Purdue University
Halima Ghafoor , Purdue University
pp. 284-290
Session 7B: Web Services

Proof Slicing with Application to Model Checking Web Services (Abstract)

Purdue University , Arizona State University, Tempe, AZ
Raymond Paul , OSD NII, Department of Defense
Wei-Tek Tsai , Arizona State University, Tempe, AZ
pp. 292-299

Automated Model Checking and Testing for Composite Web Services (Abstract)

Raymond Paul , OSD NII, Department of Defense
Yinong Chen , Arizona State University, Tempe, AZ
Hai Huang , Arizona State University, Tempe, AZ
Wei-Tek Tsai , Arizona State University, Tempe, AZ
pp. 300-307

Adaptable Situation-Aware Secure Service-Based (AS^3 ) Systems (Abstract)

S. Mukhopadhyay , West Virginia University, Morgantown, WV
Y. Yao , Arizona State University, Tempe, AZ
H. Davulcu , Arizona State University, Tempe, AZ
D. Huang , Arizona State University, Tempe, AZ
S. S. Yau , Arizona State University, Tempe, AZ
pp. 308-315

A Web Service-Based Framework for Supply Chain Management (Abstract)

Xu Jianjun , Fudan University, Shanghai
Cheng Zunping , Fudan University, Shanghai
Li Yinsheng , Software School of Fudan University, Shanghai, PRC
Zang Binyu , Software School of Fudan University, Shanghai, PRC
Zhang Mi , Software School of Fudan University, Shanghai, PRC
pp. 316-319
Session 8A: Data Management

TMO-Structured Distributed Location Information System Prototype (Abstract)

Seungyong Park , Dankook University, Seoul, Korea
Moon Hae Kim , Konkuk University, Seoul, Korea
Ki-Joon Han , Konkuk University, Seoul, Korea
Ho Lee , Dankook University, Seoul, Korea
Sangwoo Kim , Dankook University, Seoul, Korea
Joonwoo Lee , Dankook University, Seoul, Korea
Yunmook Nah , Dankook University, Seoul, Korea
pp. 321-328

An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data (Abstract)

Stefano Russo , Universit? degli Studi di Napoli Federico II, Italy; Consorzio Interuniversitario Nazionale per l?Informatica, Italy
Fabio Cornevilli , Universit? degli Studi di Napoli Federico II, Italy; Consorzio Interuniversitario Nazionale per l?Informatica, Italy
Domenico Cotroneo , Universit? degli Studi di Napoli Federico II, Italy
Marcello Cinque , Universit? degli Studi di Napoli Federico II, Italy
pp. 329-336

Management of QoS and Data Freshness in RTDBSs using Feedback Control Scheduling and Data Versions (Abstract)

Bruno Sadeg , LIH, Universit? du Havre, France
Claude Duvallet , LIH, Universit? du Havre, France
Emna Bouazizi , LIH, Universit? du Havre, France
pp. 337-340
Session 8B: Middleware

Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems (Abstract)

Shruti Gorappa , University of California, Irvine, CA
Hojjat Jafarpour , University of California, Irvine, CA
Raymond Klefstad , University of California, Irvine, CA
Juan A. Colmenares , University of California, Irvine, CA
pp. 342-349

A Linux-Based Implementation of a Middleware Model Supporting Time-Triggered Message-Triggered Objects (Abstract)

Emmanuel Henrich , Univ. of California, Irvine
Stephen F. Jenks , Univ. of California, Irvine
Liangchen Zheng , Univ. of California, Irvine
Hee-Yong Youn , SungKyunKwan Univ., Korea
Kyung Hee Lee , ETRI, Korea
Moon H. Kim , KonKuk University, Korea
Kane Kim , Univ. of California, Irvine
Yuqing Li , Univ. of California, Irvine
Dong-Myung Seol , ETRI, Korea
pp. 350-358

Customizing Event Ordering Middleware for Component-Based Systems (Abstract)

Sanghamitra Das , Kansas State University, Manhattan
Gurdip Singh , Kansas State University, Manhattan
pp. 359-362
Session 9A: Real-Time Java

Temporal Isolation in Ravenscar-Java (Abstract)

Hao Cai , University of York, UK
Andy Wellings , University of York, UK
pp. 364-371

On Real-Time Performance of Ahead-of-Time Compiled Java (Abstract)

Anders Nilsson , Lund University, Sweden
Sven Gesteg?rd Robertz , Lund University, Sweden
pp. 372-381

Towards the Integration of Scoped Memory in Distributed Real-Time Java (Abstract)

Iria Est?vez-Ayres , Universidad Carlos III de Madrid
Marisol Garc?a-Valls , Universidad Carlos III de Madrid
Pablo Basanta-Val , Universidad Carlos III de Madrid
pp. 382-389

Two Alternative RMI Models for Real-Time Distributed Applications (Abstract)

Alejandro Alonso , Universidad Polit?cnica de Madrid, Spain
Miguel A. de Miguel , Universidad Polit?cnica de Madrid, Spain
Ruth Tolosa , Universidad Polit?cnica de Madrid, Spain
Daniel Tejera , Universidad Polit?cnica de Madrid, Spain
pp. 390-397

Object-Reuse for More Predictable Real-Time Java Behavior (Abstract)

Jameela Al-Jaroodi , Stevens Institute of Technology, Hoboken, NJ
Nader Mohamed , Stevens Institute of Technology, Hoboken, NJ
pp. 398-401
Session 9B: Component-Based Development

EarlGray: A Component-Based Java Virtual Machine for Embedded Systems (Abstract)

Tatsuo Nakajima , Waseda University, Japan
Hiroo Ishikawa , Waseda University, Japan
pp. 403-409

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software (Abstract)

Zonghua Gu , University of Virginia, Charlottesville, VA
Kang G. Shin , University of Michigan, Ann Arbor, MI
pp. 410-417

Heterogeneous Adaptive Component-Based Applications with Adaptive.Net (Abstract)

Marco Puhlmann , University of Potsdam, Germany
Andreas Rasche , University of Potsdam, Germany
Andreas Polze , University of Potsdam, Germany
pp. 418-425

Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration (Abstract)

I-Ling Yen , University of Texas at Dallas
Raymond Paul , Department of Defense
Kendra Cooper , University of Texas at Dallas
Jia Zhou , University of Texas at Dallas
pp. 426-433

Issues in mapping CORBA Component Model to OSEK (Abstract)

Sylvain Robert , CEA / DRT-LIST / DTSI / SLA / L-LSP, France
David Servat , CEA / DRT-LIST / DTSI / SLA / L-LSP, France
S?bastien G?rard , CEA / DRT-LIST / DTSI / SLA / L-LSP, France
Ansgar Radermacher , CEA / DRT-LIST / DTSI / SLA / L-LSP, France
Fran?ois Lagarde , CEA / DRT-LIST / DTSI / SLA / L-LSP, France
pp. 434-437

Author Index (PDF)

pp. 439-440
98 ms
(Ver 3.3 (11022016))