From: Squish Subject: CONF: Adv. program & Registration/IEEE Real-Time Systems Symposium '93 Thought this might be of some relevances or interest. - squish The advance program for the 14th IEEE Real-Time Systems Symposium is below. It is followed by the symposium registration form and the hotel reservation form. 14th IEEE Real-Time Systems Symposium ===================================== December 1-3, 1993 Raleigh-Durham, North Carolina Sponsored by the IEEE Computer Society and the Technical Committee on Real-Time Systems GENERAL CO-CHAIRS PROGRAM COMMITTEE MEMBERS ----------------- ------------------------- Susan Davidson & Insup Lee Rajiv Alur John Lehoczky University of Pennsylvania Thomas Bihari Joseph Leung Ken Birman Jane Liu PROGRAM CHAIR Alan Burns Doug Locke ------------- Flaviu Cristian Nancy Lynch Farnam Jahanian Richard Gerber Miroslaw Malek IBM T J Watson Research Center Connie Heitmeyer Sang Son Steve Howell Jack Stankovic TREASURER Kevin Jeffay Satish Tripathi --------- Dilip Kandlur Victor Wolfe Walter Heimerdinger Hermann Kopetz Honeywell PUBLICITY CHAIR EX-OFFICIO REGISTRATION CHAIR --------------- ---------- ------------------- Ragunathan Rajkumar Kang Shin Linda Buss Software Engineering Institute RTS-TC Chair Workshop on the Role of Real-Time in Multimedia/Interactive Computing Systems ----------------------------------------------------------------------------- The conference will be preceded by the Workshop on the Role of Real-Time in Multimedia/Interactive Computing Systems, to be held November 30, 1993 at the Omni Durham. Contact Jay Strosnider (jks@ece.cmu.edu) for details. A demo/video session held in the evening will be open to conference attendees. A D V A N C E P R O G R A M ------------------------------- DECEMBER 1, 1993 ---------------- Registration 8:00 - 8:45 Introduction (General Co-Chairs, PC chair) 8:45 - 9:00 Session I. Formal Methods and Tools 9:00 - 10:30 "Automatic Symbolic Verification of Embedded Systems" Rajeev Alur, AT&T Bell Labs; Thomas A. Henzinger, Pei-Hsin Ho, Cornell University "MT: A Toolset for Specifying and Analyzing Real-Time Systems" P. Clements, C. Heitmeyer, B. Labaw, A. Rose - NRL "Symbolic Model Checking for Event-Driven Real-Time Systems" Jin Yang, Aloysius K. Mok, Farn Wang - University of Texas Break 10:30 - 11:00 Session II. Communication 11:00 - 12:00 "The Probability of Guaranteeing Synchronous Real-Time Messages with Arbitrary Deadlines in an FDDI Network" Sanjay Kamat, Nicholas Malcolm, Wei Zhao - Texas A&M University "A Bandwidth Allocation Scheme for Time Constrained Message Transmission on a Slotted Ring LAN" Sarit Mukherjee, Debanjan Saha, Manas C. Saksena, Satish K. Tripathi - Univ. of Maryland Lunch 12:00 - 1:30pm Session III. Databases and Information Processing 1:30 - 3:30pm "How to get serializability for real time transactions without having to pay for it" Marc H. Graham - Software Engineering Institute, CMU "Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems Juhnyoung Lee, Sang H. Son - University of Virginia "SSP: A Semantics-Based Protocol for Real-Time Data Access" Tei-Wei Kuo, Al Mok - University of Texas "Object-based Semantic Real-Time Concurrency Control" Victor F. Wolfe, Lisa B. Cingiser - Univ. of Rhode Island Break 3:30 - 4:00pm Session IV. Architecture and Implementation 4:00 - 4:30pm "A Dual-Mode Instruction Prefetch Scheme for Improved Worst Case and Average Case Program Execution Times" M.Lee, S.L. Min, C.Y. Park, Y.H. Bae, H. Shin, C.S. Kim - Seoul National University "The Spring Scheduling Co-Processor: Desing, Use, and Performance" 'Douglas Niehaus, Krithi Ramamritham, John A. Stankovic authors2 'Gary Wallace, Charles Weems, W. Burleson, Jason Ko - U. Mass "Acquisition and Service of Temporal Data for Real-Time Plant Monitoring" H. Shimakawa, Hideji Ohnishi, I. Mizunuma, M. Takegaki - Mitsubishi Electric Corporation DECEMBER 2, 1993 ---------------- Session V. Operating Systems 8:30 - 10:30 "Integrated Management of Priority Inversion in Real-Time Mach" Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa Hideyuki Tokuda - Japan Advanced Institute of Sience and Technology and CMU "The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronization Problem" Hermann Kopetz, Johannes Reisinger - Technical University of Vienna "Architectural Considerations in the Design of Real-Time Kernels" Siu Ling Ann Lo, Norman C. Hutchinson, Samuel T. Chanson - University of British Columbia "Queuing Spin Lock Algorithms to Support Timing Predictability Travis S. Craig - University of Washington Break 10:30 - 11:00 Session VI. Scheduling I 11:00 - 12:00 "On-Line Scheduling of Hard Deadline Aperiodic Tasks in Fixed-Priority Systems" Sandra Ramos-Thuel and John P. Lehoczky, Carnegie Mellon University "Competitive On-Line Scheduling for Multiprocessor Real-Time Systems" Gilad Koren and Dennis Shasha, New York University Lunch 12:00 - 1:30pm Panel: "Real-Time Communications: New Challenges" 1:30 - 3:00pm Chair: Doug Reeves A panel of industry, goverment and universities representatives to discuss real-time issues in communication networks. Break 3:00 - 3:30pm Synopsis Session VII. Software Implementation and Tools 3:30 - 5:30pm "PERTS: A Prototyping Environment for Real-Time Systems" J.W.S. Liu, J.L. Redondo, Z. Deng, T.S. Tia, R. Bettati A. Silberman, M. Storch, R. Ha, W.K. Shih - Univ. of IIlinois "The implementation of a Synchronous Execution Machine on Chorus Micro-Kernel" Raphael Bernhard, Laurent Hazard, Francois Horn, Jean-Bernard Stefani - CNET/France Telecom "The Honeywell Aerospace Compiled Kernel" Steve Vestal - Honeywell Systems and Research Center "Hartik: A Real Time Kernel for Robotics Applications" G. C. Buttazzo - Scuola Superiore S. Anna "Reliability and Performance of Event-Triggered Task Activation for Hard Real-Time Systems" Stefan Poledna - BOSCH AG Dec. 3, 1993 ------------ Session VIII. Scheduling II 8:30 - 10:00 "Accounting for Interrupt Handling Costs in Dynamic Priority Task Systems" Kevin Jeffay, Donald L. Stone - Univ. of North Carolina "Scheduling Slack Time in Fixed Priority Preemptive Systems" R.I. Davis, K.W. Tindell, A. Burns - University of York "Semantics-Based Compiler Transformations for Enhanced Schedulability" Richard Gerber and Seongsoo Hong - Univ. of Maryland Break 10:00 - 10:30 Synopsis Session IX. Experimental Systems and Applications 10:30 - 12:00 "Validation of Design for Space Launch Vehicles" 'Bruno J. Jambor, George W. Eger, Steven D. Layton Martin Marietta Launch Systems "Highly Multi-Tasking Real-Time Systems and their Evaluation" Terunnao Soneoka, Ayaru Oizumi, Koichi Suda Nippon Telegraph & Telephone "The Use of Preemptive Priority-Based Scheduling for Space Applications" C.M. Bailey, E.Fyfe (British Aerospace), T. Vardanega (ESTEC) and A.J. Wellings (University of York) "Real-Time Issues In Computer Music" Roger B. Dannenberg (CMU), David H. Jameson (IBM T.J. Watson Research) Lunch 12:00 - 1:30pm Session X. Specification and Verification 1:30 - 3:30pm "Really Visual Temporal Reasoning" Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, G. Kutty - Univ. of California at Santa Barbara "RTSL: A Formal Language for Real-Time Schedulability Analysis" Andre N. Fredette,Rance Cleveland - NC State "Specification and Verification of a Distributed Real-Time Arbitration Protocol" Josef Hooman - Eindhoven University of Technology "A New Petri Net Based Formalism for Specification, Design and Analysis of Real-Time Systems" G. Bruno, A. Castella, I. Pavesio, M.P. Pescarmona Politecnico di Torino =============================================================================== RTSS 1993 Conference Registration Form ------------------------------------------------------------------------------ Mail to: Linda Buss Phone: (715) 235-0487 RTSS '93 Registration Fax: (715) 232-6244 Rt. 1 Box 187B Email: rtss93@cis.upenn.edu Menomonie, WI 54751 ------------------------------------------------------------------------------ Name: ............................ Affiliation: ........................ Address: ......................... Phone: .............................. ................................... Fax: ................................ ................................... Email: .............................. ................................... IEEE Membership No: ................. ------------------------------------------------------------------------------ Workshop Fees: Symposium Fees: Category Before Nov 20 After Nov 20 Category Before Nov 20 After Nov 20 -------- ------------- ------------ -------- ------------- ------------ IEEE Members $60 $70 IEEE Members $275 $340 Non-Members $80 $90 Non-Members $360 $440 (No student rates available.) Full-time Students $75 $95 Workshop Fee: $ ........ Symposium Fee: $ ........ Total Due: $ ........ This year, registrations can also be done through email (rtss93@cis.upenn.edu). Conference registration includes admission to conference, copy of proceedings, continental breakfasts, coffee breaks, and the welcoming reception on Wednesday night. The workshop fees include continental breakfast, coffee breaks and a copy of the workshop proceedings. The student fee includes all the events. To receive student rate, students are required to have advisor's name and signature at the time of registration. Advisor name: .................... Signature: ............................ Written requests for refunds must be postmarked no later than November 20, 1993. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Registrations after 11/20/93 will be accepted on-site only. NOTE: To save on postage, receipts will be given out at the conference. ------------------------------------------------------------------------------ Please notify us of any special meal requirements: Kosher ___ Vegetarian ___ ------------------------------------------------------------------------------ Payment can be made by check, money order, or credit card. Please make checks or money orders payable, in US currency, to RTSS '93. Credit Card: VISA ____ MasterCard ____ American Express ____ Credit Card Number: ................... Cardholder Name: ..................... Credit Card Expiration Date: ........... Total Charges Authorized: ............ Signature: .................................................................... ============================================================================== RTSS 1993 Hotel Reservation Form Deadline: November 9, 1993 ------------------------------------------------------------------------------ Mail to: Omni Durham Hotel Phone: (800) THE-OMNI Attn: Reservation Department or: (919) 683-6664 201 Foster Street Durham, NC 27701 Fax: (919) 683-2046 ------------------------------------------------------------------------------ Please complete all the information (type or print), and mail directly to the hotel. If faxing or phoning reservation, please mention RTSS '93. RTSS '93 rates for each room for single or double occupancy are $65, plus 11% sales and occupancy tax. There is a $10 charge per additional person. Accommodation desired: Single $65 ____ Double $65 ____ Name: Phone: Address: Arrival Date: Departure Date: Share Room With: Check-in is after 3:00pm, check-out is 12:00 noon. ------------------------------------------------------------------------------ A block of rooms has been reserved until November 9th, 1993. After this date, room reservations will be accepted on a space available basis. The above special rates will also apply at least three days prior to and three days after the meeting dates based on availability to those who wish to extend their visit. 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: Total Amount Enclosed: Signature: ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ Ragunathan (Raj) Rajkumar Phone: (412) 268-8707 Software Engineering Institute Fax: (412) 268-5758 Carnegie Mellon University Email: rr@sei.cmu.edu