Subject: IEEE-CS TC-RTS Newsletter for Tue Nov 02, 1993 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Ragunathan Rajkumar (397 lines) Hotel registration deadline for RTSS'93............................ 3 1993 Real-Time Systems Symposium Registration and Advance Program.. 13 2. ken@minster.york.ac.uk (41 lines) Report available via FTP........................................... 400 3. Azer Bestavros (94 lines) CFP: ACM SIGPLAN LCTS-RTS Workshop ................................ 441 4. dill@hohum.stanford.edu (David Dill) (93 lines) Computer-Aided Verification (CAV'94)............................... 535 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Oct 29 18:28:38 1993 From: Ragunathan Rajkumar Subject: Hotel registration deadline for RTSS'93 We urge those of you interested in attending this year's IEEE Real-Time Systems Symposium to get your Hotel Registration done SOON. The hard deadline for hotel registration is November 9. There are two other conferences going on during the same week, and late callers may not get a reservation. The registration form is below, and the phone number is 1-800-THE-OMNI. The advance program and the symposium registration forms are also attached. Subject: 1993 Real-Time Systems Symposium Registration and Advance Program ----------------------------------------------------------------- ****************************************************************************** IMPORTANT NOTE: Those of you interested in attending this year's IEEE Real-Time Systems Symposium are urged to get your Hotel Registration done early. The hard deadline for hotel registration is November 9. There are two other conferences going on during the same week, and late callers may not get a reservation. If you are uncertain, you may still want to make your reservation because the reservation can be canceled later. The registration form is below, and the phone number is 1-800-THE-OMNI. ****************************************************************************** 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: ------------------------------------------------------------------------------ 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 Jack Stankovic 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 "Scheduling and Communication in MetaH" Pam Binns and 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: .................................................................... ============================================================================== ------------------------------------------------------------------------------ Message 2; Postmarked Wed Oct 27 11:14:14 1993 From: ken@minster.york.ac.uk Subject: Report available via FTP A report entitled "Fixed Priority Scheduling with Deadlines Prior to Completion", by Alan Burns is available by FTP from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS212.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "Standard analysis for fixed priority scheduling assumes that all the computations for each task must be completed by the task's deadline. In practice this is rarely the case. The deadline is more correctly associated with the last observable event of the task, interval events and kernel overheads (such as the context switch away from the task) can occur after the deadline. New analysis is presented that caters for this situation. The result is enhanced schedulability without modification to the preemptive behaviour of the run-time system." A number of other papers and reports written by the Real-Time Systems Research Group at York are also available; the file INDEX in the directory /pub/realtime/papers lists these. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433244 YO1 5DD, UK Fax. : +44-904-432708 ------------------------------------------------------------------------------ Message 3; Postmarked Fri Oct 29 18:28:38 1993 From: Azer Bestavros Subject: CFP: ACM SIGPLAN LCTS-RTS Workshop CALL FOR PAPERS ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems Walt Disney World Village, Orlando, Florida June 21, 1994 The LCTS-RTS Workshop, to be held in conjunction with PLDI '94 (ACM SIGPLAN Conference on Programming Language Design and Implementation) and LFP '94 (Lisp and Functional Programming), explores the interface between two dynamic areas of computer science and engineering: programming languages and real-time systems. LCTS-RTS is intended to share results and directions, and to expose members of each community to relevant work and interesting problems in the other. Directions in both fundamental and applied research in real-time computing have been changing over the last several years, in response to the need for large, flexible, powerful, and robust systems. Previous approaches have been pitched at inappropriate levels for these new applications. Large complex systems require both high-level design and low-level coding, as well as high-level specification/verification, with guarantees on translation quality. Language and compiler techniques are a major part of the solution and language researchers are beginning to explore real-time applications and environments. While hard temporal constraints complicate the adaptation, the entire range of language techniques can be brought to bear on real-time systems. Original papers relevant to this theme are requested. Appropriate topics include the following aspects of real-time systems. o Language paradigm/design issues. o Language and analysis features for modularity and reuse. o Languages for applications (e.g., imaging, multimedia, virtual reality, reactive systems). o Static analysis and language-based proof systems; handling time and resources. o Predictability versus expressivity; partial evaluation. o Schedulability and related analyses. o Parallelism and task granularity via language features and/or static analysis. o Compilers and translators; safe optimization and parallelization. o Language-based debuggers and testers. o Language support for partitioning, mapping, and scheduling. o Language handling for real-time interrupts, multi-mode operation, exceptions, and overload. o Language support for imprecise computation. o Memory management; garbage collection for real-time systems. Papers should report new research, and should not exceed 5000 words (approximately 10 pages typeset 10-point on 16-point spacing, or 15 typewritten double-spaced pages); implementation- and experiment-based papers are encouraged. We also welcome short papers describing existing research or implementations, or outlining problems and approaches to open and important issues. These shorter papers should not exceed 2000 words (4 pages). All long papers accepted will be presented at the workshop. Authors of short papers may be asked to present, or to be on panels, as time allows. All authors are encouraged to keep the exploratory emphasis of the workshop in mind when preparing papers and presentations. SUBMISSION: In either case, please submit seven (7) copies of papers, to: Dr. William Pugh, Real-Time Workshop, Department of Computer Science, University of Maryland, College Park, MD 20742 USA. Papers will be reviewed for appropriateness of content and presentation; authors will receive written comments from the program committee. January 5, 1994 is the _strict_deadline_ for receipt of submissions. Authors will be notified, with comments, by March 1. Final, camera-ready versions are due on May 9. Proceedings will be distributed at the workshop. ------------------------------------------------------------------------------ PROGRAM CO-CHAIRS | PROGRAM COMMITTEE ----------------- | ----------------- - Thomas Marlowe (Seton Hall U) | - Ted Baker (Florida State University) | - Azer Bestavros (Boston University) - William Pugh (U of Maryland) | - Ron Cytron (Washington Univ/St Louis) | - Victor Fay Wolfe (U of Rhode Island) ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ Message 4; Postmarked Wed Oct 27 11:14:14 1993 From: dill@hohum.stanford.edu (David Dill) Subject: Computer-Aided Verification (CAV'94) CALL FOR PAPERS CONFERENCE ON COMPUTER-AIDED VERIFICATION Stanford University, Stanford CA, USA June 21 - June 24, 1994 This conference is the sixth in a series dedicated to the advancement of the theory and practice of computer-assisted formal verification. Emphasis will be placed on research results that may potentially result in improved techniques, implementation issues for existing verification results, and application of methods to real verification problems. Special sessions for tutorials and demonstration of verification tools are planned. The boundaries of the conference are not rigid. In the past, papers on the following topics have been enthusiastically received: Application areas: synchronous and asynchronous circuits, computer arithmetic, protocols, distributed algorithms, real-time systems, hybrid systems. Methods based on: automata, model-checking, automated deduction. Theoretical issues: decidability of verification problems and logics, computational complexity results, verification algorithms. However, any paper that is of potential interest for computer-aided verification will be considered. SUBMISSION: Electronic submission of Postscript(tm) files is REQUIRED, except for authors who do not have reasonable access to electronic mail through Internet, BITNET, etc. Draft papers should be no more than 10 pages long (with normal font sizes, line spacing, margins, etc.) Papers should provide sufficient detail so that their technical contributions can be assessed by members of the program committee. Accepted papers will be published in the conference proceedings. Submissions must be received by January 14, 1994. Authors will be notified of acceptance or rejection by March 11, 1994. Program Chairman: David L. Dill CIS 135 Stanford, CA 94305-4070 cav@cs.stanford.edu Steering Committee: E. M. Clarke, Carnegie Mellon University, USA R. P. Kurshan, AT&T Bell Laboratories, USA A. Pnueli, Weizmannn Institute, Israel J. Sifakis, Verimag-IMAG, France Additional members of the program committee: R. Alur, AT&T Bell Labs, USA R. Brayton, U. of California, Berkeley, USA E. Brinksma, U. of Twente, The Netherlands R. Bryant, Carnegie Mellon U., USA R. Cleaveland, N. Carolina St. U. USA C. Courcoubetis, U. of Crete, Greece R. de Simone, INRIA, France A. Emerson, U. of Texas, Austin, USA M. Fujita, Fujitsu, Japan S. German, GTE Labs, USA O. Grumberg, Technion, Israel N. Halbwachs, France G. Holzmann, AT&T Bell Labs, USA K. Larsen, Aalborg U., Denmark K. McMillan, AT&T Bell Labs, USA L. Paulson, Cambridge U., United Kingdom N. Shankar, SRI International, USA F. Somenzi, U. of Colorado, Boulder, USA B. Steffen, Techical U. of Aachen, Germany P. Varaiya, U. of California, Berkeley, USA P. Wolper, U. de Liege, Belgium T. Yoneda, Tokyo Inst. of Tech., Japan ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------