ADVANCE PROGRAM
RTAS '96

• Putting Fixed Priority Scheduling Theory into Engineering Practice for Safety Critical Applications
  N. Audsley, I. Bate, A. Burns, University of York

• Building Real-Time Music Tools Visually With Sonnet
  D. Jameson, IBM T. J. Watson Research

• A Robotic Assembly Application on the Spring Real-Time System
  C. Bickford, M. Teo, G. Wallace, J. Stankovic, K. Ramamritham, University of Massachusetts

• Implementation of a Hardware/Software Platform for Real-Time Data-Intensive Applications in Hazardous Environments
  J. Conde, A. Garcia, A. Vina, Universidad de La Coruna, Spain

10:50am - 12:15am Paper Session II -- Databases and Concurrency Control

• Supporting Predictability in Real-Time Database Systems
  Y.-K. Kim, S. H. Son, University of Virginia

• AIDA-based Real-Time Fault Tolerant Broadcast Disks
  Azer Bestavros, Boston University

• A Semantic-Based Concurrency Control Protocol for Real-Time Transactions
  C.-S. Peng, K.-J. Lin, University of California - Irvine

1:45pm - 3:45pm Tutorial I

On ATM Support For Distributed Real-Time Applications
Chia Shen, Mitsubishi Electric Research Laboratory

4:15pm - 5:45pm Panel I

Evaluating Technology for Real-Time Capabilites: When theory meets practice
Arkady Kanevsky, Mitre Corporation, Moderator

6:15pm - 7:00pm IEEE TC on Real-Time Systems Business Meeting

7:00pm Reception

8:30am - 10:30am Paper Session III -- Software Engineering

• The Design of an Open System with Distributed Real-Time Requirements
  R. Ginis, V. Wolfe, J. Prichard, East Carolina University

• A. Framework for Simulation of Concurrency Control Policy in Real-Time Systems
  C. Lai, R. Callison, Oregon State University

• Building Blocks for Designing for Evolvability: Evolving Real-Time Systems
  M. Gagliardi, R. Rajkumar, L. Sha, Carnegie Mellon University

• Temporal Analysis and Object-Oriented Real-Time Software Development: A case study with ROOM/ObjecTime
  D. Gaudreau, P. Freedman, Centre de recherche informatique de Montreal, Canada

11:00am - 12:30noon Paper Session IV -- Communications

• Providing Message Delivery Guarantees in Pipelined Flit-Buffered Multiprocessor Networks
  S. Balakrishnan, F. Ozguner, Ohio State University

• Resource Management for Real-Time Communication: Making Theory Meet Practice
  A. Mehra, A. Indiresan, K. Shin, University of Michigan

• Evaluation of Wireless Soft Real-Time Protocols
  M. Markowski, A. Sethi, University of Delaware

2:00pm - 4:00pm Tutorial II

Performance Engineering Real-Time Systems
Jay K. Strosnider, Carnegie Mellon University, Presenter

4:30pm - 6:00pm Paper Session V -- Real-Time System Development and Analysis Tools

• CAISARTS: A Tool for Real-Time Scheduling Assistance
  M. Humphrey, J. Strankovic, University of Massachusetts

• DRTSS: A Simulation Framework for Complex Real-Time Systems
  M. Storch, J. Liu, University of Illinois

• Supporting the Specification and Analysis of Timing Constraints
  L. Ko, C. Healy, E. Ratliff, R Arnold, D. Whalley, Florida State University, Marion Harmon, Florida A&M University

8:00pm - 10:00pm Panel II

Future Directions and Challenges in Real-Time Systems Research
Ragunathan Rajkumar, Carnegie Mellon University, Moderator

8:30am - 10:00am Paper Session VI -- Formal Methods and Processor Scheduling

• Scalable Compositional Reachability Analysis of Real-Time Concurrent Systems
  Farn Wang, Academia Sinica, Taiwan

• Mechanical Verification of Timed Automata: A Case Study
  M. Archer, C. Heitmeyer, Naval Research Laboratory

• Adding Instruction Cache Effect to Schedulability Analysis of Preemptive Real-Time Systems
  J. Busquets-Mataix, A. Wellings, J.J. Serrano, R. Ors, P. Gil, U. Politecnica de Valencia, Spain

10:30am - 12:30noon Tutorial III

Real-Time Object-Oriented Modeling
Bran Selic, ObjecTime Limited, Presenter

12:30noon - 2:00pm Lunch

2:00pm - 4:00pm Paper Session IV -- Operating Systems and Distributed Systems

• Predictable Communication Protocol Processing in Real-Time Mach
  C. Lee, K. Yoshida, C. Mercer, R. Rajkumar, Carnegie Mellon University

• Efficient Worst Case Timing Analysis of Data Caching
  S. Kim, S. Min, R. Ha, Seoul National University

• EMERALDS: A Microkernel for Embedded Real-Time Systems
  K. Zuberi, K. Shin, University of Michigan

• RTCAST: Lightweight Multicast for Real-Time Process Groups
  T. Abdelzaher, A. Shaikh, F. Jahanian, K Shin, University of Michigan
  ****** Best Student Paper Award Winner ******

Tutorial Descriptions

Tutorial I

This tutorial will give a brief introduction of the emerging ATM technology. Then the problem of applying ATM technology in designing distributed industrial plant control applications with integrated real-time communication requirements will be considered. In particular, it first examines (1) the design space using current ATM service categories and their corresponding traffic models, and (2) the mathematical and practical implications of the traffic models. It then presents a taxonomy of the cell scheduling algorithms available to implement the service categories that can provide performance guarantees in the ATM layer. Through this examination, the gap between what is usually assumed in research and what the actual ATM network will provide will be made clear. It next shows how real-time communication can be mapped onto ATM service categories, and demonstrates the limitations of ATM services. Schemes which can be employed to overcome the limitations and some current research issues will be discussed. Finally, issues in supporting the IETF QoS guarantee standards RSVP and Integrated Services over ATM will be briefly presented. A comparison between the Internet style QoS guarantee and the QoS guarantee required by distributed hard real-time systems will be drawn.

Tutorial II

It is not uncommon to have serious performance problems when developing complex real-time/multimedia systems. Part of the problem is the lack of a simple, scaleable technique for accurately modeling the performance properties of large, complex systems. Discrete event simulation techniques, which are commonly used, scale poorly with system size and complexity. In this tutorial we outline a performance engineering strategy based upon simple, yet accurate analytic models. Our performance engineering approach which will enable practitioners with little training to establish and maintain performance baselines for complex real-time/multimedia systems. The approach has four key components: a unified engineering framework for reasoning about timing correctness on shared system resources (OS/CPUs, buses, networks and disks), a systems integration framework (Distributed Pipelining) which supports the composition of arbitrarily large systems with fully predictable timing properties, a Performance Engineering toolset that hides the complexity while exposing the power and utility of our approach, and a Performance Engineering process that integrates the methodology into the systems development process. We will summarize each of these key components and then go through a set of design and evaluation exercises using the SEW tool set. The methodology has been and is being applied at IBM, Loral, IBM, Texas Instruments and Siemens for desktop DSP subsystems, accoustic suites for submarines, air traffic control systems, and patient monitoring systems. The SEW toolset has runs on a laptop which combined with an LCD plate supports interactive system design and evaluation exercises.

Tutorial III

The intricacy of most real-time software systems is simply a reflection of the bewildering complexity of the real-world environments in which they are embedded. This complexity, combined with strict constraints on response time and performance, requires special modeling capabilities not found in general-purpose software development methods.

Real-Time Object-Oriented Modeling (ROOM) is a practical method (used on more than 100 projects) that blends the advantages of the object paradigm with advanced modeling concepts expressly designed for developing real-time software. It places special emphasis on the higher "architectural" levels that are key to constructing reliable, comprehensible, and evolvable software. ROOM is also characterized by its capacity to exploit computer-based automation (through executable models, component reuse, and automatic code generation techniques) in order to improve product quality and team productivity.

The objective of the tutorial is to familiarize students with how the object paradigm can be successfully exploited in the development of real-time software.

Conference Organizers

General Chair:

Program Chair:

Treasurer:

Publicity Chair:

Local Arrangements Chair:

Ex-Officio: (RTS-TC Chairs)

Program Committee

      Ted Baker           Florida State University
      Alan Burns          University of York, UK
      Rebecca Callison    Oregon State University
      David Garlan        Carnegie Mellon University
      Richard Gerber      University of Maryland
      Connie Heitmeyer    Naval Research Laboratory
      Michelle M. Hugue   Opsimath Research
      Farnam Jahanian     University of Michigan
      Michael B. Jones    Microsoft Research
      Dilip Kandlur       IBM T. J. Watson Research Center
      Arkady Kanevsky     Mitre Corporation
      Tei-Wei Kuo         National Chung Cheng University, ROC
      Jane Liu            University of Illinois
      Doug Locke          Loral Federal Systems
      Sias Mostert        University of Stellenbosch, South Africa
      Douglas Niehaus     University of Kansas
      Raj Rajkumar        Software Engineering Institute/CMU
      Kang G. Shin        University of Michigan
      Jack Stankovic      University of Massachusetts
      Jay Strosnider      Carnegie Mellon University
      Sandra R. Thuel     AT&T Bell Laboratories
      Farn Wang           Academia Sinica, ROC 

Registration Form

Print this form and mail to:

                   Prof. Wei Zhao
                   RTAS'96
                   Dept of Computer Science
                   Texas A&M University
                   College Station, TX 77843-3112
                   Phone: 409 845-5098
                   Fax: 409 847 8578
                   Email: realtime@cs.tamu.edu.
                             
Name:    __________________________________
Affiliation _______________________________
Address:   ________________________________
Address:   ________________________________
Phone: ____________  Fax:  ________________
Email: ____________________________________
IEEE Membership No:   _____________________
                             
Fees:                     Before May 20       After May 20
IEEE Members                 $335                  $410
Non-Members                  $425                  $510
Full-time Students           $160                  $200
                             
Registration can be done through email. The email address is 
realtime@cs.tamu.edu. Conference registration includes all the 
events of the symposium. To receive student rate, students are 
required to have advisor's name and signature at the time of 
registration.
                             
Advisor Name/Signature _______________________
                             
Written request for refunds, subject to a processing fee, must be 
made no later than May 20, 1996. Payment can be made by check, 
money order, or credit card. Please make checks or money orders 
payable, in US currency, to RTAS'96.
                             
Credit Card:
[] Visa        [] Mastercard    [] American Express
                             
Credit Card Number: _______________________
Cardholder Name:   ________________________
Credit Card Expiration Date:_______________
Total Charges Authorized:__________________
Signature:  _______________________________

Hotel Registration Form

Mail to:    Holiday Inn
	    1200 Beacon Street
	    Brookline, MA 02146
	    Phone: 617 277-1200
	    Fax:   617 734-6991. 

For the special conference rate, please book before May 20, 1996 
and mention RTAS'96. 
                             
Name:  __________________________________
Affiliation______________________________
Address:  _______________________________
Phone: _____________ Fax: _______________
Arrival Date:  __________________________
Departure Date:   _______________________
                             
Accommodation desired:  
      [ ] Single $106   	          [ ] Double $106

Parking, sales and occupancy taxes are extra. Check-in is after 
2:00pm, check-out is before 12:00noon 

One night's deposit is required with each reservation. A valid 
major credit card guarantee is acceptable in lieu of cash deposit.
Please check form of payment.

[] Visa        [] Mastercard    [] American Express
                             
Credit Card Number: ____________________
Cardholder Name:   _____________________
Credit Card Expiration Date:____________
Total Charges Authorized:  _____________
Signature:  ____________________________

Local Information

• From the east by car:
  Mass Pike 90 to exit 18. Follow Cambridge signs. Take right onto Storrow Drive. Take Kenmore Square exit. First right Beacon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles right hand side.

• From the south by car:
  Take 93 south to Storrow Drive. Follow Storrow Drive to Kenmore Square exit. Exit on left, bear right when exiting to Kenmore Square. At first light take a right on Beancon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles down on the right.

• From the north by car:
  Take 95 North to split in highway and follow signs for 93/95 North to Boston. Follow 93 North to Storrow Drive exit. Follow Storrow Drive to Kenmore Square exit. Exit on left, bear right when exiting to Kenmore Square. At first light take a right on Beancon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles down on the right.

• From Logan Airport by car:
  Take Summer Tunnel to route 93 North. Follow 93 North to Storrow Drive exit. Follow Storrow Drive to Kenmore Square exit. Exit on left, bear right when exiting to Kenmore Square. At first light take a right on Beancon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles down on the right.

• From Logan Airport by train ("T")
  Take Shuttle Bus to "T" station. Take the Blue Line to Government Center stop. Go upstairs and transfer to the Green Line on a "C" (Cleveland Circle) Train out of Boston. The Holiday Inn is the 4th stop above the ground (the Saint Paul Street stop).

(To be provided.)