8. ISORC 2005: Seattle, WA, USA

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA. IEEE Computer Society 2005, ISBN 0-7695-2356-0 BibTeX

Message from the Program Co-Chairs.
Electronic Edition (link) BibTeX
Committees.
Electronic Edition (link) BibTeX

Session 1: National Level Software Technology Movement

Philipp Peti, Roman Obermaisser, Fulvio Tagliabo, A. Marino, S. Cerchio:
An Integrated Architecture for Future Car Generations. 2-13
Electronic Edition (link) BibTeX

Session 2: Technology Trends I

Bran Selic:
On Software Platforms, Their Modeling with UML 2, and Platform-Independent Design. 15-21
Electronic Edition (link) BibTeX
Hermann Kopetz, Astrit Ademaj, Petr Grillinger, Klaus Steinhammer:
The Time-Triggered Ethernet (TTE) Design. 22-33
Electronic Edition (link) BibTeX
K. H. (Kane) Kim, Yuqing Li, Sheng Liu, Moon-hae Kim, Doo-Hyun Kim:
RMMC Programming Model and Support Execution Engine in the TMO Programming Scheme. 34-43
Electronic Edition (link) BibTeX

Session 3: Technology Trends II

Gregory Bollella, Bertrand Delsart, Romain Guider, Christophe Lizzi, Frédéric Parain:
Mackinac: Making HotSpot^TM Real-Time. 45-54
Electronic Edition (link) BibTeX
Binoy Ravindran, E. Douglas Jensen, Peng Li:
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. 55-60
Electronic Edition (link) BibTeX

Session 4A: Industrial Advances I

Mark Schulte:
Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study. 62-71
Electronic Edition (link) BibTeX
Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Revisiting COTS middleware for DRE systems. 72-79
Electronic Edition (link) BibTeX
Johannes Helander, Stefan B. Sigurdsson:
Self-Tuning Planned Actions Time to Make Real-Time SOAP Real. 80-89
Electronic Edition (link) BibTeX
Phillip Schmidt, Jaime Milstein, Sergio Alvarado:
Architectural Assessment of Embedded Systems Using Aspect-Oriented Programming Principles. 90-93
Electronic Edition (link) BibTeX

Session 4B: Software Design

Toshiaki Aoki, Takuya Katayama:
Formalization and Analysis of Dataflow in Object-Oriented Design Models. 95-105
Electronic Edition (link) BibTeX
Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul:
An Approach for Designing Highly Adaptable Process-Control Systems. 106-113
Electronic Edition (link) BibTeX
Azam Ghafoor, Samir M. Iqbal, Rashid Bashir:
A System Architecture for Real-Time Imaging of Nano-Scale Viruses using Remote AFM. 114-120
Electronic Edition (link) BibTeX
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi:
On the adequacy of UML-RT for performance validation of an SDH telecommunication system. 121-124
Electronic Edition (link) BibTeX
Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira:
An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems. 125-128
Electronic Edition (link) BibTeX

Session 5A: Industrial Advances II

Johannes Helander, Yong Xiong:
Secure Web Services for Low-Cost Devices. 130-139
Electronic Edition (link) BibTeX
Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa:
Real-Time GC in JeRTy^TmVM Using the Return-Barrier Method. 140-148
Electronic Edition (link) BibTeX
Casey K. Fung, Patrick C. K. Hung:
System Recovery through Dynamic Regeneration of Workflow Specification. 149-157
Electronic Edition (link) BibTeX

Session 5B: System Design

Bhavani M. Thuraisingham, Latifur Khan, Chris Clifton, John A. Maurer, Marion G. Ceruti:
Dependable Real-Time Data Mining. 158-165
Electronic Edition (link) BibTeX
Madhukar Anand, Jesung Kim, Insup Lee:
Code Generation from Hybrid Systems Models for Distributed Embedded Systems. 166-173
Electronic Edition (link) BibTeX
Uwe Brinkschulte, Etienne Schneider, Florentin Picioroaga:
Dynamic Real-time Reconfiguration in Distributed Systems: Timing Issues and Solutions. 174-181
Electronic Edition (link) BibTeX
Jung-Guk Kim, Moon-hae Kim, Kwang Kim, Shin Heu:
TMO-eCos: An eCos-based Real-time Micro Operating System Supporting Execution of a TMO Structured Program. 182-189
Electronic Edition (link) BibTeX
Raimund Kirner, Peter P. Puschner:
Classification of WCET Analysis Techniques. 190-199
Electronic Edition (link) BibTeX

Panel: Autonomic Computing

Hartmut Schmeck:
Organic Computing - A New Vision for Distributed Embedded Systems. 201-203
Electronic Edition (link) BibTeX
Yuan-Shun Dai:
Autonomic Computing and Reliability Improvement. 204-206
Electronic Edition (link) BibTeX

Session 6A: Scheduling and Resource Management

Majed Abdouli, Bruno Sadeg, Laurent Amanton:
Scheduling Distributed Real-Time Nested Transactions. 208-215
Electronic Edition (link) BibTeX
Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. 216-223
Electronic Edition (link) BibTeX
Keqiu Li, Hong Shen, Francis Y. L. Chin:
Placement Solutions for Multiple Versions of A Multimedia Object. 224-231
Electronic Edition (link) BibTeX

Session 6B: Communication

Fang Chen, Vana Kalogeraki:
Adaptive Real-Time Update Dissemination in Distributed Virtual Simulation Environments. 233-236
Electronic Edition (link) BibTeX
Wajahat Mateen, Saqib Raza, Zartash Afzal Uzmi, Shahab Baqai:
Adaptive Multi-path On-Demand Routing in Mobile Ad Hoc Networks. 237-244
Electronic Edition (link) BibTeX
Kenichi Watanabe, Tomoya Enokido, Makoto Takizawa, K. H. (Kane) Kim:
Acquaintance-based Protocol for Detecting Multimedia Objects in Peer-to-Peer Overlay Networks. 245-252
Electronic Edition (link) BibTeX
Xiuli Ren, Haibin Yu:
Multipath Disjoint Routing Algorithm for Ad Hoc Wireless Sensor Networks. 253-256
Electronic Edition (link) BibTeX

Session 7A: Fault Tolerance and Security

Paul Townend, Paul T. Groth, Jie Xu:
A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications. 258-266
Electronic Edition (link) BibTeX
Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building Responsive TMR-Based Servers in Presence of Timing Constraints. 267-274
Electronic Edition (link) BibTeX
André Luiz de Freitas Francisco, Franz J. Rammig:
Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems. 275-283
Electronic Edition (link) BibTeX
Basit Shafiq, Arjmand Samuel, Halima Ghafoor:
A GTRBAC Based System for Dynamic Workflow Composition and Management. 284-290
Electronic Edition (link) BibTeX

Session 7B: Web Services

Hai Huang, Wei-Tek Tsai, Raymond A. Paul:
Proof Slicing with Application to Model Checking Web Services. 292-299
Electronic Edition (link) BibTeX
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen:
Automated Model Checking and Testing for Composite Web Services. 300-307
Electronic Edition (link) BibTeX
Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao:
Adaptable Situation-Aware Secure Service-Based (AS³) Systems. 308-315
Electronic Edition (link) BibTeX
Mi Zhang, Jianjun Xu, Zunping Cheng, Yinsheng Li, Binyu Zang:
A Web Service-Based Framework for Supply Chain Management. 316-319
Electronic Edition (link) BibTeX

Session 8A: Data Management

Yunmook Nah, Joonwoo Lee, Seungyong Park, Ho Lee, Sangwoo Kim, Moon-hae Kim, Ki-Joon Han:
TMO-Structured Distributed Location Information System Prototype. 321-328
Electronic Edition (link) BibTeX
Marcello Cinque, Fabio Cornevilli, Domenico Cotroneo, Stefano Russo:
An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data. 329-336
Electronic Edition (link) BibTeX
Emna Bouazizi, Claude Duvallet, Bruno Sadeg:
Management of QoS and Data Freshness in RTDBSs using Feedback Control Scheduling and Data Versions. 337-340
Electronic Edition (link) BibTeX

Session 8B: Middleware

Shruti Gorappa, Juan A. Colmenares, Hojjat Jafarpour, Raymond Klefstad:
Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems. 342-349
Electronic Edition (link) BibTeX
Stephen F. Jenks, K. H. (Kane) Kim, Emmanuel Henrich, Yuqing Li, Liangchen Zheng, Moon-hae Kim, Hee Yong Youn, Kyung-Hee Lee, Dong-Myung Seol:
A Linux-Based Implementation of a Middleware Model Supporting Time-Triggered Message-Triggered Objects. 350-358
Electronic Edition (link) BibTeX
Gurdip Singh, Sanghamitra Das:
Customizing Event Ordering Middleware for Component-Based Systems. 359-362
Electronic Edition (link) BibTeX

Session 9A: Real-Time Java

Hao Cai, Andy J. Wellings:
Temporal Isolation in Ravenscar-Java. 364-371
Electronic Edition (link) BibTeX
Anders Nilsson, Sven Gestegard Robertz:
On Real-Time Performance of Ahead-of-Time Compiled Java. 372-381
Electronic Edition (link) BibTeX
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres:
Towards the Integration of Scoped Memory in Distributed Real-Time Java. 382-389
Electronic Edition (link) BibTeX
Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso:
Two Alternative RMI Models for Real-Time Distributed Applications. 390-397
Electronic Edition (link) BibTeX
Jameela Al-Jaroodi, Nader Mohamed:
Object-Reuse for More Predictable Real-Time Java Behavior. 398-401
Electronic Edition (link) BibTeX

Session 9B: Component-Based Development

Hiroo Ishikawa, Tatsuo Nakajima:
EarlGray: A Component-Based Java Virtual Machine for Embedded Systems. 403-409
Electronic Edition (link) BibTeX
Zonghua Gu, Kang G. Shin:
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. 410-417
Electronic Edition (link) BibTeX
Andreas Rasche, Marco Puhlmann, Andreas Polze:
Heterogeneous Adaptive Component-Based Applications with Adaptive.Net. 418-425
Electronic Edition (link) BibTeX
Jia Zhou, Kendra Cooper, I-Ling Yen, Raymond A. Paul:
Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. 426-433
Electronic Edition (link) BibTeX
François Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat:
Issues in mapping CORBA Component Model to OSEK. 434-437
Electronic Edition (link) BibTeX