Subject: IEEE-RTTC digest for Thu Nov 12, 1992 ------------------------------------------------------------------------------ ##### ##### ##### ##### #### ##### ##### ### # # # # # # # # # # # # # # # # # # # # #### #### #### #### #### # # # # # # # # # # # # # # # # # # # # # # ##### ##### ##### ##### # # # # ### ------------------------------------------------------------------------------ The Electronic Newsletter of the IEEE Technical Committee on Real-Time Systems ------------------------------------------------------------------------------ Table of Contents Line ----------------- ---- 1. Insup Lee (303 lines) 13th IEEE Real-Time Systems Symposium: Advance Program............. 3 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<* START OF THE IEEE-RTTC NEWSLETTER *>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Oct 9 10:46:51 1992 From: Insup Lee Subject: 13th IEEE Real-Time Systems Symposium: Advance Program ADVANCE PROGRAM AND REGISTRATION INFORMATION 13th IEEE Real-Time Systems Symposium Arizona Biltmore Hotel Phoenix, Arizona 85016 December 2-4, 1992 --------------------------------------- ----- Wednesday, December 2, 1992 ----- --------------------------------------- (8:30 - 9:15) On-site registration (9:15 - 9:30) Introduction and Remarks Session 1: (9:30 - 10:30) Mutual Exclusion Timing-Based Mutual Exclusion Nancy Lynch, MIT Nir Shavit, MIT and Tel-Aviv University Results about Fast Mutual Exclusion Rajeev Alur, Gadi Taubenfeld AT&T Bell Laboratories Session 2: (11:00 - 12:30) Information Sharing and Databases Transaction Scheduling in Multiclass Real-Time Database Systems HweeHwa Pang, Miron Livny, Michael J. Carey University of Wisconsin - Madison Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications Tei-Wei Kuo, Aloysius K. Mok University of Texas at Austin Performance Effects of Information Sharing in a Large Distributed Multiprocessor Real-Time Scheduler Hongyi Zhou, Karsten Schwan, Ian F. Akyildiz Georgia Institute of Technology Session 3: (2:00 - 3:30) Systems and Implementation Monitoring Timing Constraints in Distributed Real-time Systems Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Jahanian IBM Thomas J. Watson Research Center A Retargetable Technique for Predicting Execution Time Marion G. Harmon, Florida A & M University T. P. Baker, David B. Whalley, Florida State University Preemptability in Real-Time Operating Systems Clifford W. Mercer, Hideyuki Tokuda Carnegie Mellon University Session 3: (4:00 - 5:30) Scheduling I Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems Kevin Jeffay University of North Carolina at Chapel Hill Mode Changes In Priority Pre-emptively Scheduled Systems A. Burns, K. W. Tindell, A. J. Wellings University of York, UK An Optimal Algorithm for Scheduling Soft-Aperiodic Tasks in Fixed-Priority Preemptive Systems John P. Lehoczky, Sandra Ramos-Thuel Carnegie Mellon University -------------------------------------- ----- Thursday, December 3, 1992 ----- -------------------------------------- Session 5: (9:00 - 10:30) Performance Evaluation and Allocation Adaptive Threshold-based Scheduling for Real-Time and Non-Real-Time Traffic Samuel T. Chanson, Wenjing Zhu University of British Columbia Bounds on the Performance of Heuristic Algorithms for Multiprocessor Scheduling of Hard Real-Time Tasks Fuxing Wang, Krithi Ramamritham, John A. Stankovic University of Massachusetts Allocation of Periodic Task Modules with Precedence and Deadline Constraints in Distributed Real-Time Systems Chao-Ju Hou, Kang G. Shin University of Michigan Session 6: (11:00 - 12:30) Specification and Verification An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness C. Courcourbetis, University of Crete D. Dill, Stanford University N. Halbwachs, IMAGE Institute H. Wong-Toi, Stanford University A Simple Assertional Proof System for Real-Time Systems A. Udaya Shankar University of Maryland A Proof Theory for Asynchronously Communicating Real-Time Systems P. Zhou, J. Hooman Eindhoven University of Technology Session 7: (2:00 - 3:30) Communication Scheduling Real-Time Communication on Dual Link Networks Lui Sha, Software Engineering Institute Shirish S. Sathaye, J. K Strosnider, CMU Optimal Synchronous Capacity Allocation for Hard Real-Time Communications with the Timed Token Protocol Baio Chen, Gopal Agrawal, Wei Zhao Texas A&M University Priority Forwarding Scheme for Real-Time Multistage Interconnection Networks Kenji Toda, Kenji Nishida, Shuichi Sakai, Toshio Shimada Electrotechnical Laboratory Session 8: (4:00 - 5:20) Synopses I A Virtual Memory System Implementation for Real-Time Applications Chirag Bakshi QMS Corp. The Programmer's View of MARS H. Kopetz, G. Fohler, G. Gr"unsteidl, H. Kantz, G. Pospischil, P. Puschner, J. Reisinger, R. Schlatterbeck, W. Sch"utz, A. Vrchoticky, R. Zainlinger Technische Universitat Wien A Small Real-Time Kernel Proven Correct Ronald M. Tol University of Groningen Real-Time Process Server for the Micro-Kernel Based Alcatel Elin Operating System (AEOS) Christian Koza Alcatel Austria - ELIN ------------------------------------ ----- Friday, December 4, 1992 ----- ------------------------------------ Session 9: (9:00 - 10:30) Bounds and Synthesis Bounds on the Time to Detect Failures Using Bounded-capacity Message Links Stephen J. Ponzio MIT An Upper and a Lower Bound for Tick Synchronization Marios Mavronicolas Harvard University The Input-Output Control of Real-Time Discrete Event Systems Gerard Hoffmann, Howard Wong-Toi Stanford University Session 10: (11:00 - 12:20) Synopses II A Car Control System Exploiting Fieldbus DLL Protocol Features S. Cavalieri, A. DiStefano, O. Mirabella, Universita' di Catania - Facolta' di Ingegneria The Airplane Information Management System: An Integrated Real-Time Flight-deck Control System Kevin Driscoll and Kenneth Hoyme Honeywell Real-Time Monitoring and Diagnosing of Robotic Assembly with Self-Organizing Neural Maps L A. Syed, H.A. ElMaraghy, N. Chagneux McMaster University Provable Transient Recovery for Frame-Based, Fault-Tolerant Computing Systems Ben L. Di Vito, ViGYAN, Inc. Ricky W. Butler, NASA Session 11: (2:00 - 3:30) Scheduling II On-line Scheduling of Imprecise Computations to Minimize Error Wei-Kuan Shih, Jane W. S. Liu University of Illinois D-Over: an optimal on-line scheduling algorithm for overloaded real-time systems Gilad Koren, Dennis Shasah New York University Scheduling Distance-Constrained Real-Time Tasks Ching-Chih Han, Kwei-Jay Lin University of Illinois ======================== Please fill out the following information, and return with the registration fee to: Linda Buss Route 1 Box 187B Menomenie, WI 54751 Please Type or Print Name: ___________________________________________________________ Company: ________________________________________________________ Address: ________________________________________________________ ________________________________________________________ ________________________________________________________ City/State/Zip/Country: _________________________________________ Daytime Phone Number: ___________________________________________ Email Address: __________________________________________________ IEEE Membership Number: _________________________________________ Circle applicable charges: Registration Fees for Real-Time Systems Symposium Advance Registration (on or before November 20, 1992) IEEE Member $240.00 Non-Member $320.00 Full-TimeStudent $75.00 Late Registration (after November 20, 1992) IEEE Member $300.00 Non-Member $390.00 Full-TimeStudent $90.00 Registration Fees for Workshop on Imprecise Computation on Tuesday, December 1, 1992 IEEE Member $50.00 Non-Member $65.00 Late Registration (after November 20, 1992) IEEE Member $60.00 Non-Member $80.00 ==================================== Hotel Registration Information: The conference and workshop will be held at the: Arizona Biltmore Hotel 24th Street and Missouri Phoenix, Arizona 85016 Reservations Telephone: 1-800-950-0086 Facsimile: 1-602-381-7600 Telephone: 1-602-955-6600 Attendees should request the special conference rate of $115.00 for either a single or double room for the "REAL TIME SYSTEMS SYMPOSIUM". Reservations must be received by the HOTEL (mail, telephone, or fax) by Tuesday, November 10. Reservations received by the hotel after that date will be considered for the conference rate on a space available basis. Attendees may extend their stay up to three days before or after the symposium at the same special conference rate. An additional $4.00 /day will be added to each room charge to provide local phone access, health club privileges, newspaper, and transportation to local shopping. The current applicable sales/room tax is 10.25%. Golf tee times on one of the hotels' two golf courses can be reserved at $50.00 (including cart). For information on a trip to the Grand Canyon on Saturday or golf at the hotel, please contact the Conference Registrar, Linda Buss at (715) 235-0487 or fax request to (715) 232-6244. _____________________________________________________________________________ ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<<* END OF THE IEEE-RTTC NEWSLETTER *>>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The IEEE-RTTC repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the IEEE-RTTC repository is: cs.bu.edu Contributions to this forum should be sent by E-mail to: IEEE-RTTC@cs.bu.edu Requests or inquiries should be sent by E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------