Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99)
0 likes310 views
The document presents the proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’99), held in May 1999, in Saint-Malo, France. It includes various research papers and discussions on topics like middleware, applications, quality assurance, and fault tolerance in distributed real-time systems. Each paper reflects the authors' opinions and was published as presented, without endorsement from the IEEE or its sponsors.
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99)
- 1. Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’99) 2-5 May 1999 Saint-Malo, France Sponsored by IEEE Computer Society Technical Committee on Distributed Processing In cooperation with IFIP Working Group 10.4 OMG INRIA COMPUTER SOCIETY Los Alamitos, California Washington Brussels Tokyo
- 2. Copyright 0 1999 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 cany 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 01923. 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 08855-1331. 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 PRO0207 Library of Congress Catalog Number: 99-61702 ISBN 0-7695-0207-5 Additional copies may be orderedfrom: IEEE ComputerSociety CustomerServiceCenter 10662Los VaquerosCircle P.O. Box 3014 Los Alamitos, CA 90720-1314 Tel: + 1-714-821-8380 Fax: + 1-714-821-4641 E-mail: cs.books@computer.org IEEE ServiceCenter 445 Hoes Lane P.O. Box 1331 Piscataway,NJ 08855-1331 Tel: + 1-732-981-0060 Fax: + 1-732-981-9667 mis.custserv@computer.org IEEE ComputerSociety Asiflacific Office Watanabe Bldg., 1-4-2 Minami-Aoyama Minato-ku,Tokyo 107-0062 JAPAN Tel: + 81-3-3408-3118 tokyo.ofc@computer.org Fax: +81-3-3408-3553 Editorial production by Lorretta Palagi Cover photograph: Michel Dupuis, ville de Saint-Malo Cover art design and production by Joseph Daigle Studio Productions Printed in the United States of America by The Printing House COMPUTER SOCIETY IEEE
- 3. Table of Contents 2nd IEEE InternationalSymposiumon Object-Oriented Real-Time Distributed Computing-IS ORC’99 Message from the General Co-chairs ix Message from the Program Committee Co-chairs X Symposium Committee xi Program Committee xiii Reviewers xiv Session1:Analysis and Design I Exception Handling in a Cooperative Object-OrientedApproach 3 R. de Lemos, A. Romanovsky v-Promela: A Visual, Object-OrientedLanguagefor SPIN 14 S. Leue, G. Holzmann An Interface as a Design Object 24 H. Kopetz, E. Fuchs, D. Millinger, R. Nossal A Unified Process for the Integrationof Large-scale, Distributed, Object-OrientedReal-Time Systems in Layered Architectures 33 M. Mortazavi, J. Connell Session2: Middleware and OperatingSystems I The PURE Family of Object-OrientedOperating Systems for Deeply Embedded Systems 45 D. Beuche, A. Guerrouat, H. Papajewski, W. Schroder-Preikschat, 0.Spinczyk, U. Spinczyk An Efficient Middleware ArchitectureSupportingTime-Triggered Message-Triggered Objects and an NT-Based Implementation 54 K. H. Kim, M. Ishida, J. Liu CORBA-Based Real-Time Trader Service for Adaptable Commmand and Control Systems S. Wohlever, V. Fay-Wove, B. Thuraisingham, R. Freedman, J. Maurer 64 Session3: Applications Applying Use Cases for the RequirementsValidation of Component-BasedReal-Time Software 75 W.Fleisch Holistic Object-OrientedModelling of Distributed AutomotiveReal-Time Control Applications 85 J. Axelsson Creating TelecommunicationServicesBased on Object-OrientedFrameworksand SDL 93 R. Sinnott, M. Kolberg V
- 4. Panel I: CurrentPractice and Future Researchin ObjectReal-TimeComputing Moderator: Michel Gien, Sun Microsystems/Chorus,France Panelists: Gary Donnan, Alcatel, France WilliamFoote, Sun Microsystems, USA Douglas Locke, Lockheed Martin, USA Douglas Jensen, Mitre Corporation, USA Jean-Bernard Stefani, France Telecom, France Theory versus Practice in Real-Time Computing with the JavaTMPlatform 105 W. Foote Session4A: Tools and Services A Tool for Object-Oriented Dynamic Modeling 111 A. A. Hanish, T. S. Dillon Using a “Process Warehouse” Concept: A Practical Method for SuccessfulTechnology Transfer 117 T. Nishiyama Sense: A Service Navigation SystemLinked to a Real-Time AdvertisingDistribution Service 121 I. Kogiku, M. Katayama, T.Hoshiai Session4B: Modeling and Evaluation An Extensible Object Model for QoS Specification in Adaptive QoS Systems 129 Y. Matsui, S. Kihara, A. Mitsuzawa, S. Moriai, H. Tokuda QuantitativeEvaluation of Distributed Object-OrientedProgramming Environments for Real-Time Applications 133 A. P. Flores, A. Nacul, L. Silva, J. Netto, C. E. Pereira, L. Bacellar Automated Dependability Analysis of UML Designs 139 A. Bondavalli, I. Majzik, I. Mura Session5: Block Panel I Embedded Platforms for Distributed Real-Time Computing: Challenges and Results 147 J. Rufno, P. Verissimo,G.Arroz Panel 11: Object-OrientedTechniquesfor Resource-ConstrainedArchitectures Moderator: Dieter Hammer, Eindhoven University of Technology, Netherlands Panelists: Mehmet Aksit, Twente University of Technology, Netherlands Greg Bollella, IBM Network ComputingTechnical Institute, USA Edwin de Jong, Hollandse Signaalapparaten,Netherlands Julien Maisonneuve, Alcatel Corporate Research, France Sjir van Loo, Philips Research, Netherlands vi
- 5. Evaluating Architecture ImplementationAlternatives Based on AdaptabilityConcerns 155 M.Aksit, B. Tekinerdogan Distributed Shared Data Space Architecturefor Real-Time Systems 159 E. de Jong Session6: Middleware and Operating SystemsI1 An Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System 165 L. B. Becker, M. Gergeleit, E. Nett, C. E. Pereira Implementingthe Real-Time PublisherBubscriber Model on the Controller Area Network (CAN) 172 J. Kaiser, M. Mock Towards Predictable CORBA-Based Web-Services 182 A. Polze, J.Richling, J. Schwarz, M. Malek Session 7: QoS Assurance Quality-Based Compensationof Multimedia Objects 195 T. Kanezuka, H. Higaki, M. Takizawa Adaptive QoS Support for Distributed,Java-Based Applications 203 S. Chatterjee, B. Sabata, M. Brown Resource Managers for QoS in CORBA 213 D. Le Tien, 0.Villin, C. Bac An Object-Level Gateway Supporting Integrated-Property Quality of Service 223 R. Schantz, J. Zinky, D. Karr, D. Bakken, J.Megquier, J.Loyal1 Session SA: SoftwareArchitecture A Framework for Building Environment-AwareSoftware 237 T. Nakajima OPERA:A CORBA-Based ArchitectureEnabling Distributed Real-Time Simulations 241 T. Uslander, F. Lebas The PERCO Platform 245 J. Maisonneuve, S. Chabridon, P. Leveille' Session SB: Fault Tolerance Prediction of Fault-Pronenessat Early Phase in Object-Oriented Development 25:3 T. Kamiya, S. Kusumoto, K. Inoue Implementing Highly-AvailableWWW Servers Based on Passive Object Replication 259 R. Baldoni, S. Bonamoneta, C. Marchetti vii
- 6. Enhancing Replica Management Services to Tolerate Group Failures 263 P. D.Ezhilchelvan, S. K. Shrivastava Session9: Block Panel I1 In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems 271 P. Carr2re, J.-F. Hermant, G. Le Lann Panel 111: Which Models and Architectures of Distributed Real-TimeComputing Systems Suit Which ApplicationAreas? Moderator: Gerard Le Lann, INRIA, France Panelists: EmmanuelFuchs, Thomson-Airsys, France Kane Kim,University of California-Irvine, USA Hermann Kopetz, Technical University of Vienna, Austria Tom Lawrence, U.S. Air Force Research Laboratory, Rome, USA Laurent Leboucher, CNET, France Questionable Relevancy of Fixed Priority Assignment in Distributed Object Design 283 K. H. Kim Which Models and Architectures of Distributed Real-Time Computing Systems Suit Which Application Area? 286 H. Kopetz Session 10: Resource Management Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems 291 V. Kalogeraki, P. M. Melliar-Smith, L. E. Moser An Adaptive Scheduling Approach in Real-Time CORl3A 301 C.Montez, J. Fraga, R. de Oliveira, J.-M. Farines A Flexible Run-Time Support for Distributed Dependable Hard Real-Time Applications 310 E. Anceaume, G. Cabillic, P. Chevochot, I. Puaut Session 11:Analysis and Design I1 Architectural Techniques for the Description and Validation of Distributed Real-Time Systems 323 L. Thomas, T. Lambolais, R. Lesiour, A. Covadis Protocols and Ports: Reusable Inter-Object Behavior Patterns 332 B. Selic The Use of Task Graphs for Modeling Complex System Behavior 340 A. Silberman,A. D. Stoyen, K. Sundaram Author Index 351 ...Vlll