Subject: IEEE-RTTC digest for Fri Oct 09, 1992 ------------------------------------------------------------------------------ ##### ##### ##### ##### #### ##### ##### ### # # # # # # # # # # # # # # # # # # # # #### #### #### #### #### # # # # # # # # # # # # # # # # # # # # # # ##### ##### ##### ##### # # # # ### ------------------------------------------------------------------------------ The Electronic Newsletter of the IEEE Technical Committee on Real-Time Systems ------------------------------------------------------------------------------ Table of Contents Line ----------------- ---- 1. best@cs.bu.edu (Azer Bestavros) (94 lines) Call for papers.................................................... 3 2. Insup Lee (303 lines) Re: IEEE-RTTC digest for Wed Sep 09, 1992 ......................... 96 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<<* START OF THE IEEE-RTTC NEWSLETTER *>>>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Sep 11 16:45:22 1992 From: best@cs.bu.edu (Azer Bestavros) Subject: Call for papers IEEE Workshop on Parallel and Distributed Real-Time Systems April 13, 1993 Newport Beach, California Program Co-Chairs: Alexander D. Stoyenko, New Jersey Institute of Technology Lonnie R. Welch, New Jersey Institute of Technology Program Committee: Wolfgang A. Halang, Fern University Dieter K. Hammer, University of Eindhoven Gary M. Koob, Office of Naval Research Phillip Laplante, Fairleigh Dickinson University Harold W. Lawson, Lawson Publishing & Consulting Ted G. Lewis, Oregon State University Jane W. S. Liu, University of Illinois Krithi Ramamrithan, University of Massachusetts Parameswaran Ramanathan, University of Wisconsin Karsten Schwan, Georgia Institute of Technology Kang G. Shin, University of Michigan Bruce Shriver, Consultant John A. Stankovic, University of Massachusetts There is a need for collaboration between the researchers in the field of parallel and distributed processing, and the field of real-time systems. Parallel and distributed processing techniques can be applied in real-time systems to meet timing constraints and to increase fault tolerance. To encourage discussion of research results from these fields in a forum where scientists from each field are present, the Real-Time Computing Laboratory at NJIT is organizing a one day workshop to be held at The 7th International Parallel Processing Symposium (April 13-16 in Newport Beach, California). Topics of interest for papers to be presented at the workshop include, but are not limited to: -Assignment of Tasks to Processors -Compiler Techniques -Complex Systems Engineering -Scheduling and Resource Allocation -Architecture and Hardware -Operating Systems -Fault Tolerance -Communications -Case Studies and Applications -Tools -Parallel Algorithms Submissions should not exceed 2500 words (about 10 pages) and must be received by November 30, 1992. Notification of review decisions will be mailed by January 15, 1993. Papers may be submitted to either program co-chair at: The Real-Time Computing Laboratory Dept. of Computer and Information Science New Jersey Institute of Technology University Heights Newark, NJ 07102 (201) 596-5765 alex@vienna.njit.edu (201) 596-5683 welch@vienna.njit.edu Fax: (201) 596-5777 Co-Sponsored by: IEEE Computer Society Technical Committee on Parallel Processing IEEE Computer Society Technical Committee on Real-Time Systems Institute for Systems Integration at NJIT Real-Time Computing Laboratory at NJIT ------- End of Forwarded Message ------------------------------------------------------------------------------ Message 2; Postmarked Thu Sep 24 15:20:56 1992 Subject: Re: IEEE-RTTC digest for Wed Sep 09, 1992 From: Insup Lee 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 ------------------------------------------------------------------------------