------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 17th IEEE REAL-TIME SYSTEMS SYMPOSIUM / \ / __/__/ __//_/ December 3-6, 1996 -- Washington, DC ------------------------------------------------------------------------------- TABLE OF CONTENTS A. RTSS96 ADVANCE PROGRAM AND CALL FOR PARTICIPATION technical sessions workshop and exhibition work-in-progress session B. CHAIRMEN'S MESSAGES C. REGISTRATION FORM D. HOTEL INFORMATION A. ADVANCE PROGRAM & CALL FOR PARTICIPATION IEEE Real-Time Systems Symposium December 3-6, 1996 Washington, DC Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems IEEE RTSS'96 Home Page http://cs-www.bu.edu/pub/ieee-rts/rtss96 ------------------------------------------------------------------------------- Tuesday, December 3 ------------------------------------------------------------------------------- Workshop on Resource Allocation in Multimedia Systems contact Kevin Jeffay (jeffay@cs.unc.edu) for details. ------------------------------------------------------------------------------- Wednesday, December 4 ------------------------------------------------------------------------------- 8:00 - 9:00am Registration and continental breakfast 9:00 - 9:15am Opening Address and Welcome General Chairs: Alan Burns and Yann-Hang Lee Program Chair: Sang H. Son 9:15 - 10:45am Session 1: Scheduling I Bounding Completion Times of Jobs with Arbitrary Release Times and Variable Execution Times Jun Sun and Jane W.S. Liu On Task Schedulability in Real-Time Control System D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin A Multiframe Model for Real-Time Tasks Al Mok and Deji Chen 10:45 - 11:15am Coffee break 11:15 - 12:30pm Session 2: Experimental Systems and Applications Middleware for Distributed Real-Time Systems on ATM Networks Ichiro Mizunuma, Chia Shen, and Morikazu Takegaki Analysing APEX Applications Neil Audsley and Andy Wellings Operating System Extensions for Dynamic Real-Time Applications Steven Sommer and John Potter 12:30 - 2:00pm Lunch 2:00 - 4:00pm Session 3: Formal Methods Approximate Reachability Analysis of Timed Automata Felice Balarin Correctness of Vehicle Control Systems - A Case Study H.B. Weinberg and Nancy Lynch Getting Rid of Useless Clocks, Reducing the Number of Clock Variables of Timed Automata Conrado Daws and Sergio Yovine Predictability of Real-Time Systems: A Process-Algebraic Approach V. Natrajan and Rance Cleaveland 4:00 - 4:30pm Coffee break 4:30 - 5:30pm Session 4: Synchronization A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems J. Anderson and S. Ramamurthy Optimizing FIFO, Scalable Spin Lock Using Consistent Memory I. Rhee 5:30 - 7:10pm Work in Progress I 7:20 - 9:00pm Banquet ------------------------------------------------------------------------------- Thursday , December 5 ------------------------------------------------------------------------------- 8:00 - 8:45 Continental breakfast 8:45 - 10:30 Session 5: Invited Talks on System Requirements 10:30 - 11:00 Coffee break 11:00 - 12:00 Session 6: Tools The MSP.RTL Real-Time Scheduler Synthesis Tool Al Mok, Duu-Chung Tsou, and Ruud C.M. de Rooij Tool Support for the Construction of Statically Analysable Hard Real-Time Ada Systems T. Vardanega 12:00 - 1:30pm Lunch 1:30 - 3:30pm Session 7: Communications Structuring Communication Software for Quality-of-Service Guarantees Ashish Mehra, Atri Indiresan, and Kang G. Shin Multirate Scheduling for Guaranteed and Predictive Services in ATM Networks Debanjan Saha, Sarit Mukherjee, and Satish K. Tripathi Message Transmission with Timing Constraints in Ring Networks Ching-Chih Han and Kang G. Shin On Supporting Time-Constrained Communications in WDMA-based Star-Coupled Optical Networks H. Tyan, J. Hou, B. Wang, and C. Han 3:30 - 4:00pm Coffee break 4:00 - 5:30pm Session 8: Scheduling II Real-Time Queueing Theory John P. Lehoczky Optimal Pinwheel Schedulers using The Single Number Reduction Technique C. Hsueh and K-J. Lin Integrated Scheduling of Multimedia and Hard Real-Time Tasks H. Kaneko, J. Stankovic, S. Sen and K. Ramamritham 5:30 - 6:10pm Work in Progress II 6:10 - 7:00pm IEEE Real-Time Systems TC meeting ------------------------------------------------------------------------------- Friday, December 6 ------------------------------------------------------------------------------- 8:30 - 9:00am Continental breakfast 9:00 - 10:30am Session 9: Databases Commit Processing in Distributed Real-Time Database Systems R. Gupta, J. Haritsa, K. Ramamritham, and S. Seshadri Value-cognizant Admission Control for RTDBS Azer Bestavros and Sue Nagy Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics M. Xiong, R. Sivasankaran, J. Stankovic, K. Ramamritham, D. Towsley 10:30 - 11:00am Coffee break 11:00 - 12:30pm Session 10: Timing Analysis Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe Analysis of Cache-related Preemption Delay in Fixed-priority Preemptive Scheduling C. Lee, J. Hahn, Y. Seo, S. Min, R. Ha, S. Hong, C. Park, M. Lee, and C. Kim A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time Tai-Yi Huang, Jane W.-S. Liu, and David Hull 12:30 - 2:00pm Lunch 2:00 - 4:00 Sessions 11: Resource Allocation and System Implementation A Proportional Share Resource Allocation Algorithm for Real-Time, Time-Shared Systems Ion Stoica, Hussein Abdel-Wahab, and Kevin Jeffay Visual Assessment of a Real-Time Systems Design: A Case Study N. Kim, M. Ryu, S. Hong, M. Saksensa, C. Choi, and H. Shin Optimizing Interprocess Communication for Embedded Real-Time Systems S. Poledna High Availability in the Real-Time Publisher/Subscriber Inter-Process Communication Model Ragunathan Rajkumar and Mike Gagliardi ---------------------------------------------- Workshop and Exhibition ---------------------------------------------- Workshop on Resource Allocation Problems in Multimedia Systems is being organized to be held immediately before the symposium, December 3. For more information about the workshop, contact Kevin Jeffay (jeffay@cs.unc.edu). An exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. Any industrial and university groups wishing to participate in the exhibition should contact with Doug Locke at doug.locke@lmco.com. --------------------------------------------- Work-In-Progress Session --------------------------------------------- Contributions to a special Work-In-Progress (WIP) session of RTSS'96 are sought. RTSS'96 WIP will be devoted to the presentation of new and on-going projects in real-time systems and applications. The prime purpose of this session is to provide researchers an opportunity to discuss their evolving ideas and gather feedback thereon from the real-time community at large. The RTSS'96 WIP session will be held on Wednesday, December 4, 1996, and will consist of 10-minute presentations of all accepted submissions. Also, accepted submissions will be included in a special RTSS'96 WIP proceedings which will be distributed to all RTSS'96 conference participants, and will be available electronically from the IEEE-CS TC-RTS Home Page on the WWW. Submissions to RTSS'96 WIP should describe original on-going work and should be limited to 2,000 words. Submissions dealing with real-time issues in applications such as multimedia, networking, middleware services, and process control, as well as reports describing on-going system building efforts in such applications are strongly encouraged. Please send all submissions via Email to RTSS'96 WIP Chair: Azer Bestavros Computer Science Dept Email: best@cs.bu.edu Boston University Phone: (617) 493-2823 The deadline for submissions is October 15, 1996. Notification of acceptance will be sent out on November 1, 1996. For more information, please contact RTSS'96 WIP Chair or check the RTSS'96 WIP Home Page at: http://cs-www.bu.edu/pub/ieee-rts/rtss96/wip ------------------------------------------------------------------------------- B. THE CHAIRMEN'S MESSAGE: The Real-Time Systems Symposium is a forum for exchanging information on recent technological advances and practices in real-time computing. It has always been the premier international conference in the field of real-time systems - a field that is becoming an essential discipline in the field of computer science and engineering. As the demand for the functionalities and reliabilities of real-time systems continue to grow, our intellectual and engineering abilities are being challenged to come up with practical solutions to the problems faced in design and development of complex real-time systems. The interest in this important field is confirmed by the high number of quality submissions. Following the tradition of RTSS, parallel sessions are avoided to give participants the opportunity to have full interactions with speakers and to exchange ideas with all other participants. As a consequence, many good papers had to be rejected. The technical program for this year's symposium maintains its outstanding quality. It covers the latest research and development in scheduling, operating systems, communications, timing analysis, system development, databases, formal methods, and applications. To encourage the dissemination of findings in experimental development work, we have five synopsis papers as in previous RTSSs. The symposium will be preceded by the Workshop on Resource Allocation Problems in Multimedia Systems, to be held on December 3. For more information about the workshop, contact Kevin Jeffay (jeffay@cs.unc.edu). A special Work-In-Progress (WIP) session will be organized by Azer Bestavros (best@cs.bu.edu) which is devoted to the presentation of new and on-going projects in real-time systems and applications. In addition, an exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. For the details of the exhibition, contact Doug Locke (locke@lfs.loral.com). C. REGISTRATION Advance registrations should be made by filling the registration form included in the program and mailing it to one of the following: Linda BUSS Route 1, Box 187B, Menomonie, WI 54751 USA E-mail registration can be done by sending the registration form to: rtss96@cis.ufl.edu For credit card payment, please include the name on the credit card, the number of the credit card, the type of the credit card, the expiration date on the credit card, and your signature. On site registration fees can be paid by check, major credit cards, or cash at the Symposium Secretariat. Symposium Registration Fees: --------------------------- Advance (before November 15, 1996) Late (after November 15, 1996) Member: US$ 375 US$ 450 Non-member: US$ 475 US$ 570 Full-time student: US$ 165 US$ 200 Workshop Registration Fees: ---------------------- Advance (before November 15, 1996) Late (after November 15, 1996) Member: US$ 100 US$ 120 Non-member: US$ 125 US$ 150 Full-time student: US$ 100 US$ 120 Notes: ----- 1. Symposium registration includes admission to symposium, a copy of symposium proceedings, coffee-breaks, and banquet on Wednesday night. 2. Full-time students are asked to provide a verification of their status, either during registration or at the conference. 3. Extra ticket for Wednesday's banquet can be purchased at US $65/ea. 5. Written requests for refunds must be postmarked no later than November 15, 1996. Refunds are subject to a US$ 50 processing fee. All no-show registration will be billed in full. Registration after 11/15/96 will be accepted on-site only. . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . 1996 IEEE Real-Time Systems Symposium Registration Form First Name:_________________________ Last Name:_____________________________ Title :_____________________________ Position:______________________________ Affiliation:_________________________________________________________________ Address:_____________________________________________________________________ City:_______________________________ State:_________________________________ Country:____________________________ Zip/Postal Code:_______________________ Phone:______________________________ Fax:___________________________________ E-Mail:_____________________________ Payment: Symposium registration fee: Category___________________ $___________ IEEE/ACM Membership no:___________________ Workshop registration fee: $___________ Extra banquet tickets: ($65/ea) $___________ Extra symposium proceedings: ($40/ea) $___________ Total amount: $___________ . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . D. HOTEL INFORMATION CONFERENCE HOTEL ================ The JW Marriott Hotel is located at 14th Street and Pennsylvania Avenue NW, two blocks from the White House; next door to the National Theater; two blocks from the Mall area; within walking distance to the National Gallery, the Air and Space Museum, the Renwick, Hirschhorn and the other Smithsonian Institutions. The hotel is also one block from the Metro Center stop, and it adjoins the Shops at National Place, which includes 110 stores and 18 restaurants. DIRECTIONS TO THE JW MARRIOTT ============================= By Metro, From Amtrak Union Station or National Airport ------------------------------------------------------- The easiest, most hassle-free way to get to the JW Marriott, from either Union Station or National Airport, is by using the Metro. The Metro Center Station is located at 13th and G streets NW, and the hotel is on 14th between E and F streets. From National Airport, take the Blue line to Metro Center; from Union Station take the Red Line to Metro Center. Exit at 12th and G; walk 2 blocks West on G (away from the Capitol Building, toward the White House); turn left on 14th, and walk one block to the hotel on the left. By Car, from National Airport ----------------------------- >From National Airport follow the signs to Washington, DC (via George Washington Parkway). Take the I-395/Route 1 North exit, which goes over the 14th Street Bridge. Merge to the left lane on the 14th Street Bridge, and follow this lane to 14th Street. The hotel will be 8 blocks down 14th Street, on the right side at the corner of 14th Street and Pennsylvania Avenue. By Car, from BWI Airport ------------------------ >From BWI Airport follow the signs to the Baltimore-Washington Parkway (South). Continue on the Baltimore-Washington Parkway to the New York Avenue exit, which is also Route 50. Follow New York Avenue to 7th Street, NW. Turn left on 7th Street and go approximately 7 blocks to E Street, NW. Turn right on E Street. Continue on E Street to 14th Street, NW. Turn right on 14th Street. The hotel driveway is a quick right as soon as you turn onto 14th Street. By Car, from Dulles Airport --------------------------- >From Dulles International Airport follow the signs to Route 66 east toward Washington. Follow Route 66 to the Theodore Roosevelt Bridge (Route 50). Once you cross the bridge, this street becomes Constitution Avenue. Continue on Constitution Avenue NW, for approximately 14 blocks to 12th Street NW. Turn left on 12th. Go about 6 blocks on 12th Street NW, crossing Pennsylvania Avenue to E Street NW. Turn left on E street. Go one block to 14th Street, and turn right. The hotel is at the corner of 14th and E. By Car, from Points North (New York, Baltimore, Delaware) --------------------------------------------------------- Take Interstate 95 South, following the signs for Washington DC. Approximately 25 miles south of Baltimore, 95 will fork off with 495 (the Beltway). Make sure you stay in the far left lanes, following the signs for 95 South. Continue on 95 South in the direction of Washington. Signs for the Baltimore-Washington Parkway appear approximately four miles past the 95/495 fork. Take exit 22B to the Baltimore-Washington parkway, heading south. Continue on the Baltimore-Washington Parkway to the New York Avenue exit, which is also Route 50. Follow New York Avenue to 7th Street, NW. Turn left on 7th Street and go approximately 7 blocks to E Street, NW. Turn right on E Street. Continue on E Street to 14th Street, NW, Turn right on 14th Street. The hotel driveway is a quick right as soon as you turn onto 14th Street. By Car, from Points South (Richmond, Raleigh) --------------------------------------------- Take Interstate 95 North, following signs for Washington DC. At Springfield, Northern Virginia, take I-395 North (495 also intersects at this point). Stay on 395N, following signs for Washington, Route 1, and the 14th Street Bridge. While crossing the bridge, merge to left lane, and follow this lane to 14th Street. The hotel will be 8 blocks down 14th Street, on the right side at the corner of 14th Street and Pennsylvania Avenue. ============================================================================= Hotel Reservation Information Deadline: November 11, 1996 ------------------------------------------------------------------------------ JW Marriott Hotel Phone: 800-228-9290 Attn: Reservations or: 202-393-2000 1331 Pennsylvania Avenue NW Washington, DC 20004 Fax: 202-626-6991 ------------------------------------------------------------------------------ Please phone in your reservation, and make sure you mention "RTSS" for the conference rate of $120.00. Alternatively, complete the information below (type or print), and mail this form directly to the hotel. RTSS rates for each room for single or double occupancy are $120, plus 11% sales tax and $1.50 occupancy tax. Accommodation desired: Single $120 ____ Double $120 ____ Non Smoking Room ____ Smoking Room ____ Name: Phone: Address: Arrival Date: Departure Date: Check-in is after 4:00pm, check-out is 12:00 noon. ------------------------------------------------------------------------------ A block of rooms has been reserved until November 11th, 1996. After this date, room reservations will be accepted on a space available basis. For attendees who plan on staying at the JW Marriott over the weekends before and/or after the conference: we suggest taking advantage of any discounted weekend rates offered by the hotel. One night's deposit is required with each reservation. A valid major credit card guarantee is acceptable in lieu of a cash deposit. Please check the form of payment: VISA ____ MASTERCARD ____ AMERICAN EXPRESS ____ DINERS CLUB ____ DISCOVER ____ Check/Money Order ____ Credit Card Number:_______________________________ Credit Card Expiration Date (Month/Year): _____________ Total Amount Enclosed:________________________ Signature:________________________________ ------------------------------------ Cut Here -------------------------------- RTSS 96 Organizing committee Members General Chairs Alan Burns, UK Yann-Hang Lee, USA Program Chair Sang H. Son, USA Treasurer Walt Heimerdinger, USA Publicity Chair Steve Liu, USA Industrial Chairs Doug Locke, USA Local Arrangements Chair Richard Gerber, USA Ex-Officio Al Mok, USA Program Committee Azer Bestavros, USA Richard Gerber, USA Ching-Chih Han, USA Hans Hansson, Sweden Jennifer Hou, USA Farnam Jahanian, USA Mathai Joseph, UK Dilip Kandlur, USA Hermann Kopetz, Austria Insup Lee, USA John Lehoczky, USA Jorg Liebeherr, USA Kwei-Jay Lin, USA Jane Liu, USA Doug Locke, USA Keith Marzullo, USA Raj Rajkumar, USA Karsten Schwan, USA Alan Shaw, USA Heonshik Shin, Korea Kang Shin, USA Jack Stankovic, USA Kenji Toda, Japan Farn Wang, Taiwan Vic Wolfe, USA Hui Zhang, USA