Proceedings. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

Size: px

Start display at page:

Download "Proceedings. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing"

Moris Floyd
5 years ago
Views:

1 Proceedings Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC 2003

Proceedings Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC 2003 14-16 May 2003 Hakodate, Hokkaido, Japan Editors Peter Puschner, Vienna University of

3 Proceedings Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC May 2003 Hakodate, Hokkaido, Japan Editors Peter Puschner, Vienna University of Technology, Austria Tatsuo Nakajima, Waseda University, Japan Arif Ghafoor, Purdue University, USA Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing Communications Research Laboratory, Japan In cooperation with Asian Office of Aerospace Research and Development Los Alamitos, California Washington Brussels Tokyo

4 Copyright 2003 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number PR01928 ISBN Library of Congress Number Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: customer-service@ieee.org Fax: csbooks@computer.org tokyo.ofc@computer.org Editorial production by Stephanie Kawada Cover art production by Joe Daigle/Studio Productions Printed in the United States of America by The Printing House

ISORC 2003 The Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing The Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

5 ISORC 2003 The Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing The Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing Hakodate, Hokkaido, Japan May 2003 Edited by Peter Puschner, Tatsuo Nakajima, and Arif Ghafoor Proceedings ISORC 2003 Published by the IEEE Computer Society Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA IEEE Computer Society Order Number PR01928 Library of Congress Number ISBN ISBN Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan In cooperation with Asian Office of Aerospace Research and Development

6 Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing Table of Contents Message from the Symposium Co-Chairs...ix Message from the Program Committee Co-Chairs...x Symposium Committees...xi Program Committee...xii Session 1: Industry Trends Components Meet Time and Space: Worlds Colliding?...3 C. Szyperski Model-Driven Development of Real-Time Software Using OMG Standards...4 B. Selic Requisites of Embedded Operating System for Network Electronics...7 Y. Yokote Session 2: Real Time Operating Systems Meet Object-Oriented Middleware Real Time Distributed Control Systems Using RTAI...11 L. Dozio and P. Mantegazza RTC: A Real-Time Communication Middleware on Top of RTAI-Linux...19 T. Heimfarth, M. Götz, F. J. Rammig, and F. R. Wagner Basic Program Structures for Avoiding Priority Inversions...26 K. H. Kim Session 3: Panel National-Level R&D Programs/Movements in the Software Technology Field Panelists: Randy Chow, NSF, USA Tom Clausen, IST, EC Seong-Soo Hong, SNU, Korea Won-Ki Min, Ministry of Info. & Comm., Korea Tatsuo Nakajima, Waseda University, Japan Hiroaki Takada, Toyohashi University of Tech., Japan Yikikazu Nakamoto, NEC, Japan v

7 Embedded Linux Outlook in the PostPC Industry...37 S. Hong Implication of Embedded Linux in Japanese Embedded Industries...41 T. Nakajima Introduction to the TOPPERS Project Open Source RTOS for Embedded Systems...44 H. Takada The Next Generation Software Platform for Mobile Phones...46 Y. Nakamoto Session 4: Specification for Real-Time Systems Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces...51 H. Kopetz and N. Suri General Framework for the Description of QoS in UML...61 M. A. de Miguel Session 5: Special Invited Presentation Dependability Issue on Autonomic Computing Environment...71 Y. Tohma Session 6: Industrial Track Towards Model-Based and CCM-Based Applications for Real-Time Systems...75 W. Roll A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Patterns...83 T. Tomura, S. Kanai, and T. Kishinami Session 7: Panel Fundamental Advances Sought Moderator: Panelists: Bran Selic, Rational, Canada Jean-Pierre Banatre, INRIA/IRISA, France Greg Bollella, Sun Microsystems,USA Kane Kim, UCI, USA Hermann Kopetz, Vienna University of Tech., Austria Insup Lee, University of Pennsylvania, USA Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study...93 Y. Hur, R. Fierro, and I. Lee vi

8 Session 8 (Parallel): Secure and Safe Real-Time Object-Oriented Systems Issues with Object Orientation in Verifying Safety-Critical Systems...99 S. Subbiah and S. Nagaraj A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems B. Ravindran, G. Le Lann, J. Wang, and P. Li A Dynamic Shadow Approach for Mobile Agents to Survive Crash Failures S. Pears, J. Xu, and C. Boldyreff Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration J. Carlson, T. Lennvall, and G. Fohler Session 9 (Parallel): Short Papers The Event-Triggered and Time-Triggered Medium-Access Methods V. Claesson, C. Ekelin, and N. Suri Implementing the Multicast Inter-ORB Protocol A. N. Bessani, J. Fraga, and L. C. Lung Integrating COTS Software Components into Dependable Software Architectures P. Asterio de C. Guerra, C. M. F. Rubira, A. Romanovsky, and R. de Lemos Design of SMIL Browser Functionality in Mobile Terminals S. Hieda, Y. Saida, H. Chishima, N. Sato, and Y. Nakamoto Session 10: Middleware and Component-Based Systems Metrics and Models for Cost and Quality of Component-Based Software S. Sedigh-Ali, A. Ghafoor, and R. A. Paul Object-Oriented Middleware Infrastructure for Distributed Augmented Reality E. Tokunaga, A. van der Zee, M. Kurahashi, M. Nemoto, and T. Nakajima Configuration and Dynamic Reconfiguration of Component-Based Applications with Microsoft.NET A. Rasche and A. Polze A Lightweight Middleware Protocol for Ad Hoc Distributed Object Computing in Ubiquitous Computing Environments S. S. Yau and F. Karim Session 11: Real-Time Applications Adaptive Use of Network-Centric Mechanisms in Cyber-Defense M. Atighetchi, P. Pal, F. Webber, and C. Jones vii

9 VisiTrack-Video Based Incremental Tracking in Real Time N. Esau, B. Kleinjohann, L. Kleinjohann, and D. Stichling Challenges in Building Scalable Network Centric Real-Time Information Dissemination Systems S. A. Moody Session 12: Design Methods and Tools A Two-Aspect Approach for a Clearer Behavior Model C. Mraidha, S. Gérard, F. Terrier, and J. Benzakki Redesigning Legacy Systems into the Object-Oriented Paradigm W. E. Wong and J. J. Li A Supervisory Tool for Real-Time Industrial Automation Systems W. Pardi, Jr. and C. E. Pereira Nested Invocation Protocol for Object-Based Systems K. Hori, T. Enokido, M. Takizawa, and M. Raynal Session 13: Performance Analysis and Optimization of Real-Time Systems Gain Time Reclaiming in High Performance Real-Time Java Systems E. Y.-S. Hu, A. Wellings, and G. Bernat Probabilistic Simulation-Based Analysis of Complex Real-Time Systems A. Wall, J. Andersson, and C. Norström Predictable Memory Utilization in the Ravenscar-Java Profile J. Kwon, A. Wellings, and S. King Session 14: Real-Time Resource Management and Scheduling Hybrid Real-Time Task Scheduling upon Multiprocessor Platforms Using Server Techniques D. A. El-Kebbe The Design and Implementation of a Real-Time Data Dispatching System N.-C. Perng, N.-T. Tsai, J.-W. Hsieh, and T.-W. Kuo Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation P. Li, B. Ravindran, J. Wang, and G. Konowicz Author Index viii

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation 1 October 2002 Montreal,