ISORC 2001 Final Program May 1 18:00 Registration 19:00 Wine and Cheese Historischer Eiskeller May 2 08:00-08:45 Registration 08:45-09:10 Opening Herrenkrug Festsaal Prof. Dr. Edgar Nett, Symposium Co-Chair Prof. Dr. Klaus Erich Pollmann, President, University of Magdeburg Prof. Dr. Wolfgang Schroeder-Preikschat, Program Committee Co-Chair 09:10-10:40 Keynotes Herrenkrug Festsaal Dr. Greg Bolella, SUN Microsystems, USA The Next Frontier for Java Technology Dr. Kelvin Nilsen, USA Real-Rime Programming with Java-Technologies 10:40-11:00 Coffee Break 11:00-12:40 Session 1 State-of-the-Art in Real-time Systems Herrenkrug Festsaal Session Chair: Hermann Kopetz A Profile for High-Integrity Real-Time Java Programs Peter Puschner, Andrew J. Wellings Design and Implementation of a SCI-based Real-Time CORBA Stefan Lankes, Michael Pfeiffer, Thomas Bemmerl Consistent Design of Embedded Real-time Systems with UML-RT Jochen M. Kuester, Joachim Stroop Distributed TT Simulation Scheme Facilitated by TMO Programming Kane Kim 12:40-02:00 Lunch Break Historischer Eiskeller 02:00-03:40 Session 2A Java/Hardware Kaiser Otto I Room Session Chair: Jörg Kaiser Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the Java Virtual Machine David Hardin Deterministic Java in Tiny Embedded Systems Anders Nilsson, Torbjoern Ekman Real-Time Garbage Collection for a Multithreaded Java Microcontroller S. Fuhrmann, M. Pfeffer, U. Brinkschulte, J. Kreuziger, Th. Ungerer Strategies for Improving Connection Management in a Java-based, GIOP ORB Masood Mortazavi, Feng Hong Session 2B Dependability G.-Ph. Telemann Room Session Chair: Bernd Kleinjohann Safe Object Oriented Programming of Distributed Real Time Systems in PEARL Wolfgang A. Halang, Carlos E. Pereira, Alceu Heinke Frigeri Performance Evaluation of a Fault-tolerant Mechanism based on Replicated Distributed Objects for CORBA Michiharu Takemoto, Takayuki Nakamura On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems Delano M. Beder, Brian Randell, Alexander Romanovsky, Cecilia M.F. Rubira Designing a Service of Failure Detection in Asynchronous Distributed Systems Roberto Baldoni, Fabio Zito 03:40-04:00 Coffee Break 04:00-05:40 Panel I Hardware/Software Co-Design for Automotive Systems G.-Ph. Telemann Room Moderator: Franz Rammig, U. of Paderborn/C-Lab, Germany Panelists: Hermann Kopetz, T. U. of Vienna, Austria Jakob Axelsson, Volvo, Sweden Peter Hofmann, DaimlerChrysler, Germany Lionel Passeron, PSA, France Robert Leinfellner, dSPACE, Germany Jean-Luc Roux, Telelogic, France 07:00 Banquet Herrenkrug Festsaal May 3 09:00-10:40 Session 3A Networks and Protocols (I) Kaiser Otto I Room Session Chair: Tom Lawrence A Model and Architecture for Conducting Hierarchically Structured Actions Paul D. Ezhilchevan, S. K. Shrivastava, M. C. Little An Adaptive Buffer Management Algorithm for Enhancing Dependability and Performance in Mobile-Object-based Real-Time Computing May T. W. Ip, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon, Dian Hui Wang Ordered Delivery of Messages in Object-based Systems Youhei Timura, Katsuya Tanaka, Makoto Takizawa The Java Fieldbus Control Framework - Object oriented control of fieldbus devices Dieter Buehler, Gerd Nusser, Wolfgang Kuechlin, Gerhard Gruhler Session 3B Embedded Systems G.-Ph. Telemann Room Session Chair: Wolfgang Halang Context-Sensitive Middleware for Real-Time Software In Ubiquitous Computing Environments Stephen S. Yau, Fariaz Karim Design and Implementation of Distributed Object-Oriented Infrastructures for Networked Home Appliances on Commodity Operating Systems Tatsuo Nakajima, Kouta Soejima, Masahiko Matsuda, Toru Lino, Taketoshi Hayashi Assessing the Real-Time Properties of Windows CE 3.0 Christian M. Netter, Luiz F. Bacellar Object-Oriented Real-Time Computing for Reusable Avionics Software David C. Sharp 10:40-11:00 Coffee Break 11:00-12:40 Session 4A Networks and Protocols (II) Kaiser Otto I Room Session Chair: Katsuya Tanaka Randomized Multivalued Consensus Paul Ezhilchevan, Achour Mostefaoui, Michel Raynal Concurrent Read/Write: Real-Time Theory and Practice Horst F. Wedde, Sabine Boehm, Wolfgang Freund Analysis and Estimation of the Quality of Service of Group Communication Protocols A. Coccoli, A. Bondavalli, F. Di Giandomenico On Evaluating Interaction and Communication Schemes for Automation Applications based on Real-Time Distributed Objects Carlos E. Pereira, L. B. Becker, C. Villela, C. Mitidieri, J. Kaiser Session 4B Architecture G.-Ph. Telemann Room Session Chair: Ray Paul An Architecture Supporting Loose and Close Cooperation of Distributed Autonomous Systems Michael Mock The Use of Layers and Planes for Architectural Design of Communication Systems Dominikus Herzberg, Andre Marburger JTRON: An Object-Oriented Real-Time System based on a Hybrid Architecture Yukikazu Nakamoto, Shoichi Hachiya Minimal Invasive Monitoring Daniel Mahrenholz 12:40-02:00 Lunch Break Historischer Eiskeller 02:00-03:40 Session 5A Real-Time and Object Orientation Kaiser Otto I Room Session Chair: Andreas Polze A CORBA-based Middleware Solution for UAVs James L. Paunicka, David E. Corman, Brian R. Mendel Use of RT CORBA in the U.S. Army Edgar V. Shrum Efficient Java Monitors Anders Blomdell Object-Orientation in Parallel VSIPL Architecture Yuriy Sheynin, Anna Novoselova Session 5B Modelling (I) G.-Ph. Telemann Room Session Chair: Bhavani Thuraisingham An Approach to Modeling and Verification of Real-Time Systems Roman Gumzej, Matjaz Colnaric Specifying a Certification Process for Software Components with UML Eugen Brenner, Ivo Derado Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear Logic Francois Taiani, Mario Paludetto, Jerome Delatour ATC : Actors with Temporal Constraints Boualem Laichi, Yamina Sami 03:40-04:00 Coffee Break 04:00-05:40 Panel II Real-Time Standards in CORBA, Java, and UML G.-Ph. Telemann Room Moderator: Bran Selic, Rational, Canada Panelists: Carlos O’Ryan, U. of California, Irvine, USA Pär Emanuelson, Ericsson, Sweden Uwe Brinkschulte, IPR - U. of Karlsruhe, Germany Morgan Bjorkander, Telelogic, Sweden Jerome Charousset, Trialog, France Heinz-Josef Eikerling, Siemens SBS C-LAB, Germany 07:00 Social Event Boat excursion on the river Elbe including buffet May 4 09:00-10:40 Session 6A Scheduling Session Chair: Yukikazu Nakamoto Scheduling Imprecise Tasks in Real-Time Distributed Systems Romulo Silva de Oliveira, Joni da Silva Fraga, Jean-Marie Farines Soft Real-Time Transactions Scheduling in a Wireless Environment Samia Saad-Bouzefrane, Bruno Sadeg, Laurent Amanton Response Time Analysis of Composable Micro-Protocols Joao Ventura, Joao Rodrigues, Luis Rodrigues Session 6B CORBA, Real-Time Databases Kaiser Otto I Room Session Chair: Michael Mock CORBA for Real-Time High-Performance and Embedded Systems C. Hrustich Achieving High Performance in CORBA-based Systems with Limited Heterogeneity Imran Ahmad, Shikaresh Majumdar Real-Time Data Mining of Multimedia Objects Bhavani Thuraisingham Developing a Triggering System for Real-Time Databases in Distributed Environment Hye-Sook Yoon, Hyuk Han, Young-Kuk Kim, Sung-Il Jin 10:40-11:00 Coffee Break 11:00:12:40 Panel III Industry Issues G.-Ph. Telemann Room Moderator: Carlos E. Pereira, U. F. Rio Grande do Sul, Brazil Panelists: Bran Selic, Rational, Canada Ricardo Sanz Bravo, U. of Madrid, Spain Michael von der Beeck, BMW, Germany Michael Kircher, Siemens AG, Germany 12:40-02:00 Lunch Break Historischer Eiskeller 02:00-03:40 Session 7A RT Java, UML-RT Kaiser Otto I Room Session Chair: Michael Franz Solutions to Make Java-RMI Time Predictable Miguel de Miguel, Madeleine Faugere Region-based Memory Management for Real-Time Java Teresa Higuera, Valerie Issarny, Michel Banatre, Gilbert Cabillic, Jean-Philippe Lesot, Frederic Parain Integrating UML-RealTime and IEC 61131-3 with Function Block Adapters Torsten Heverhagen, Rudolf Tracht Combining Data Flow Equations with UML/Realtime Lutz Bichler, Ansgar Radermacher, Andreas Schuerr Session 7B Modelling (II) G.-Ph. Telemann Room Session Chair: Young-Kuk Kim Complex Real-Time Systems Analysis Design with Extended Activity Diagrams and Adaptive Workflow Models E. Chang, E. Gautama, Tharam S. Dillon Modelling of Multimedia Streaming Services based on the TMO Structuring Scheme Eun-Hwan Jo, Moon Hae Kim, Jung-Guk Kim Developing Simulation Models of Open Distributed Control Systems by Using Object-Oriented Structural and Behavioral Patterns Toyoaki Tomura, Satoshi Kanai, Kiyoshi Uehiro, Susumu Yamamoto Scenario and Property Checking of Real-Time Systems Charles Andre, M-A. Peraldi-Frati, J-P. Rigault 03:40 Closing