January 15-17, 2003
Guadalajara, Mexico
Program
Technical Program
Tuesday, January 14, 2003
5.30 pm Registration
5.30 pm - 7.00 pm Workshop Reception
Wednesday, January 15, 2003
8.00 am Registration
8.30 am Opening of the Workshop
8.45 am - 10.35 am: 1. Fault Tolerant Systems
Chair: Michel Raynal8.45 am : Event-Driven Support of Real-Time Sentient Objects
Paulo Verissimo and A. Casimiro, University of Lisboa, Portugal
9.05 am : Operating System Supports to Enhance Fault Tolerance of Real-Time Systems
Yukikazu Nakamoto, NEC Networks Development Laboratories, Tokyo, Japan
9.25 am : Asynchrony and Real-Time Dependable Computing
Gerard Le Lann, INRIA, Le Chesnay Cedex, France
9.45 am : Algorithms for Dependable Hard Real-Time Systems
Peter Puschner, Technische Universitat Wien, Vienna, Austria
10.05 am : Crash-Tolerant Total Ordering: An Optimal Protocol and an Efficient Implementation
Paul Ezhilchelvan*, D. Palmer and M. Raynal**
*University of Newcastle, UK
**IRISA, Rennes Cedex, France
10.25 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
10:35 am - 10:50 am : Coffee Break (15 mins.)
10.50 am - 12.00 pm: 2. Enhanced Object Models
Chair: Makoto Takizawa10.50 am : TMO Based Scheme for Distributed Real-Time Multimedia Processing
Doo-Hyun Kim, ETRI, Korea
11.10 am : Reliable Compare&Swap for Fault-Tolerant Synchronization
P. R. Parvedy and Michel Raynal, IRISA, Rennes Cedex, France
11.30 am : Modeling of a Real-Time Distributed Network Management Based on TMN and the TMO Model
Moon-Hae Kim, Konkuku University, Korea &
Sun-Hwa Lim, ETRI and Jung-Kuk Kim, HUFS
11.50 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
12:00 pm - 1:30 pm Group Lunch (covered by registration)
1.30 pm - 3.00 pm: 3. Mobile Computing
Chair: Magda El Zarki1.30 pm : Self*: A Data-Flow Oriented Component Framework for Pervasive Dependability
Christof Fetzer and K. Hogstedt, AT&T Research Laboratories, Florham Park, NJ
1.50 pm : A Service Oriented Architecture for Ubiquitous Computing
Cristiano di Flora, Domenico Cotroneo and Stefano Russo, Universita' di Napoli, Italy
2.10 pm : Software Infrastructure for Building Large-Scaled Smart Environments
Tatsuo Nakajima, E. Tokunaga, H. Ishikawa, D. Ueno and M. Kurahashi, Waseda University, Japan
2.30 pm : Query Plans with Roaming Sources: Shifting Streams of Data
A. Chen, K. C. Lui and Richard Muntz, University of California, Los Angeles, CA
2.50 pm : SESSION CLOSING WITH DISCUSSION (Session Chair)
3.20 pm - 4.30 pm: 4. Timing and Execution Analysis
Chair: Stephen Yau3.20 pm : Timing Analysis of Optimized Code
R. Kirner and Peter Puschner, Technical University of Vienna, Austria
3.40 pm : Automatic Flow Analysis for Worst-Case Execution Time Calculation
Jan Gustafsson, B. Lisper, N. Bermudo and C. Sandberg, Malardalen University, Sweden
4.00 pm : Search-Based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development
Hans-Gerhard Gross and Nikolas Mayer, Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
4.20 pm : SESSION CLOSING WITH DISCUSSION (Session Chair)
4.30 pm - 6.00 pm: 5. Web Services - "Middleware for Middleware"
Chair: Roberto Baldoni4.30 pm : Multi-Party Authentication Protocol for Web Services
D. Zhang and Jie Xu, University of Durham, UK
4.50 pm : Portal Replication for Availability of Web Applications Via SOAP
S. Woodman, Graham Morgan and S. Parkin, University of Newcastle, UK
5.10 pm : Verification of Web Services Using an Enhanced UDDI Server
Wei Tsek Tsai*, Ray Paul**, Z. Cao* and B. Xiao*
*Arizona State University, Tempe, AZ, USA
**Department of Defense, Washington DC, USA
5.30 pm : Object and Process Migration in .NET
P. Troger and Andreas Polze, University of Potsdam, Germany
5.50 pm : SESSION CLOSING WITH DISCUSSION (Session Chair)
Thursday, January 16, 2003
8.00 am - 9.50 am: 6. Configurable Embedded System Support
Chair: Paulo Verissimo8.00 am : (Re-)Configurable Real-Time Operating Systems and Their Applications
C. Boke, M. Gotz, T. Heimfarth, D. E. Kebbe, Franz J. Rammig and S. Rips, Universitat Paderborn, Germany
8.20 am : A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems
C. Shelton and Phil Koopman, Carnegie Mellon University, Pittsburgh, PA
8.40 am : Architectural solutions for enhancing the real-time behavior of distributed embedded systems
Carlos E. Pereira, UFRGS, Brazil & M. Gotz, University of Paderborn, Germany
9.00 am : ORB Middleware Evolution for Networked Embedded Systems
Christopher Gill, V. Subramonian, J. Parsons, H.-M. Hunag, S. Torri, Washington University, St. Louis
D. Niehaus, University of Kansas, Lawrence
D. Stuart, Boeing, St. Louis, MO
9.20 am : A Word for Operational Flexibility in Distributed Safety-Critical Systems
Luis Almeida, Universidade de Aveiro, Portugal
9.40 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
10.10 am - 11.15 am: 7. Security and Fault Tolerance
Chair: Helen Gill10.10 am : Security and Middleware
Anders Andersen, Gordon Blair, P. H. Myrvang and T. Stabell-Kulo, University of Tromso, Norway
10.30 am : The Starfish System: Providing Intrusion Detection and Intrusion
Tolerance for Middleware Systems
Kim P. Kihlstrom, Westmont College, Santa Barbara, CA &
Priya Narasimhan, Carnegie Mellon University, Pittsburgh, PA
10.50 am : Mirror Hopping Approach for Selective Denial of Service Prevention
P. Sharma, P. Shah and Sourav Bhattacharya, Arizona State University, Tempe, AZ
11.10 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
11.15 am - 12.00 pm: 8. Quality of Service (QoS)
Chair: Jan Gustafsson11.15 am : QoS Modeling Language for High Quality Systems
Miguel A. de Miguel, Ciudad Universitaria, Madrid, Spain
11.35 am : Handling QoS in a Dynamic Real-Time Environment
Carlos Almeida, IST-UTL, Universidade Tecnica de Lisboa, Portugal
11.55 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
1.15 pm - 3.05 pm: 9. Middleware
Chair: Gerard LeLann1.15 pm : Towards Composable Distributed Real-Time and Embedded Software
K. Balasubramanian, N. Wang and C. D. Gill, Washington University, St. Louis, MO, USA
Doug C. Schmidt, University of California, Irvine, CA, USA
1.35 pm : A Passive Real-Time Object Replication Scheme and Its Implementation Into a Middleware Architecture
Jeff Liu, Wright State University, Dayton, OH &
Yuqing Li & Kane Kim, University of California, Irvine, CA
1.55 pm : Infrastructure for Virtual Enterprises in Large-Scale Open Systems
Joni Fraga, Ricardo Rabelo, Frank Siqueira, Carlos Montez, Romulo Oliveira, UFSC, Brazil
2.15 pm : A Directory Enabled Middleware Framework for Distributed Systems
J. Wickramasuriya and Nalini Venkatasubramanian, University of California, Irvine, CA, USA
2.35 pm : Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquituous Computing Environments
Stephen S. Yau, W. Wang and D. Huang, Arizona State University, Tempe, AZ ;
2.55 pm : SESSION CLOSING WITH DISCUSSION (Session Chair)
3.05 pm - 4.15 pm: 10. Multicast & Group Communication
Chair: Paul Ezhilchelvan3.05 pm : Group Communication in Distributed Multimedia Objects
Tomoya Enokido, Takuya Tojo, SeiIchi Hatori and Makoto Takizawa, Tokyo Denki University, Japan
3.25 pm : Middleware Support for Multicast-based Data Dissemination: A Working Reality
Panos K. Chrysanthis*, V. Liberatore** and K. Pruh*
*University of Pittsburgh, Pittsburgh, PA, USA
**Case Western Reserve University, Cleveland, OH, USA
3.45 pm : An Efficient Real-Time Multicast Protocol RFRM
Y. S. Hong and J. H. No, Dongguk University, Korea
4.05 pm : SESSION CLOSING WITH DISCUSSION (Session Chair)
4.30 pm: Group Excursion (covered by registration)
Friday, January 17, 2003
8:00 am - 8.30 am Invited Talk
Helen Gill, National Science Foundation
Embedded Systems Research and High Confidence Systems
8.30 am - 10.00 am 11. Case Studies and Practical Experiences
Chair: Arif Ghafoor8.30 am : Compliant Control and Software Agents for Internet Robotics
D. Rosas, A. Covitch, M. Kose, Vincenzo Liberatore and W. S. Newman
Case Western Reserve University, Cleveland, OH
8.50 am : Evolving Product Lines of Object-Oriented Real-Time Systems
Guillermo Jimenez Perez, ITESM-Campus, Mexico
Don Batory, University of Texas at Austin, TX
9.10 am : Using Coordinated Atomic Actions for Building Complex Web Applications: A Learning Experience
A. F. Zorzo, P. Periorellis, Pontifical Catholic University of RS, Brazil &
Alexander Romanovsky, University of Newcastle Upon Tyne, England
9.30 am : Challenges in Building Layers of Information Abstractions that are Scalable for Real-Time Dissemination Systems
Scott Arthur Moody, Boeing Phantom Works, Seattle, WA
9.50 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
10.15 am - 11.25 am: 12. Data Dissemination and Communication
Chair: Franz Rammig10.15 am : Modeling Publish/Subscribe Communication Sytems: Towards a Formal Approach
Roberto Baldoni, M. Contenti, S. Tucci Piergiovanni and A. Virgillito, Universita di Roma "La Sapienza", Rome, Italy
10.35 am : An Interactive Object-Based Multimedia System for IP Networks
Magda El Zarki, L. Cheng, H. Liu and X. Wei, University of California, Irvine, CA, USA
10.55 am : Multimedia Document Communication over Wireless Network
B. Shafiq, S. Baqai, H. Fahmi, S. Kokhai and Arif Ghafoor
11.15 am : SESSION CLOSING WITH DISCUSSION (Session Chair)
11.30 am - 12.30 pm
Panel: Object-Orientation and Real-Time: A Valuable Combination or Incompatible Concepts?
Chair: Peter Puschner
Participants: TBD12:30 pm - 12.45 pm Closing of the Workshop