Subject: IEEE-CS TC-RTS Newsletter for Wed Oct 13, 1993 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. stankovi@ocean.cs.umass.edu (Jack Stankovic) (31 lines) Real-Time Systems Journal Announcement ............................ 2 Real-Time Technical Committee Meeting.............................. 17 2. DAVE TURNER (36 lines) survey of predictable communication................................ 34 3. ken@minster.york.ac.uk (93 lines) Technical report available via FTP................................. 70 4. Frank Mueller (45 lines) Tech Report: "Predicting Instruction Cache Behavior"............... 163 5. welch@vienna.njit.edu (Lonnie Welch) (120 lines) CFP: Second WPDRTS................................................. 208 6. Teodor Rus (247 lines) AMAST Workshop on Real-Time Systems................................ 327 7. Flaviu Cristian (428 lines) call for papers.................................................... 575 DCCA-4: Fourth IFIP Working Conference Advance Program............. 670 8. Ragunathan Rajkumar (376 lines) 14th IEEE Real-Time Systems Symposium.............................. 1002 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Wed Oct 13 08:27:13 1993 Subject: Real-Time Systems Journal Announcement From: stankovi@ocean.cs.umass.edu (Jack Stankovic) Real-Time Systems Journal Announcement -- Jack Stankovic The Real-Time Systems Journal has expanded its publication frequency from 4 to 6 issues per year. A negotiation with Kluwer (publisher of the Journal) has resulted in a special subscription rate for members of the TC. The official announcement will appear next month detailing the exact rate and how to subscribe. Postmarked Wed Oct 13 08:27:13 1993 Subject: Real-Time Technical Committee Meeting From: stankovi@ocean.cs.umass.edu (Jack Stankovic) Real-Time Technical Committee Meeting - Jack Stankovic The annual meeting of the RTTC will occur during the RTSS in Raleigh-Durham, Dec 1-3, 1993. I encourage all of you to attend the RTSS and the TC meeting. We will discuss many issues pertinent to the TC. Hope to see you there. [The Advance Program for RTSS appears at the end of this Newsletter --Azer] ------------------------------------------------------------------------------ Message 2; Postmarked Thu Sep 23 06:31:48 1993 From: DAVE TURNER Subject: survey of predictable communication ---------------------------------------------------------------------------- SURVEY OF PREDICTABLE COMMUNICATION FOR HARD REAL-TIME SYSTEMS ---------------------------------------------------------------------------- Research at the University of Northumbria is currently conducting a survey of of communication systems that allow predictable or bounded delays to be determined for interprocessor message passing. We are interested in results of any research into models of communication or protocols that can provide such assurances. Information on papers or references to work in this area would be of great assistance and would be gratefully received. It is anticipated that a summary of the responses would be produced and submitted to a later edition of the newsletter. David M Turner Department of Computing Northumbria University Ellison Building Ellison Place Newcastle Upon Tyne NE1 8ST England email dave.turner@uk.ac.unn telephone 091 227 4662 - office fax 091 227 4561 ------------------------------------------------------------------------------ Message 3; Postmarked Thu Sep 30 07:01:25 1993 From: ken@minster.york.ac.uk Subject: Technical report available via FTP A report entitled "Implementing Analysable Hard Real-time Sporadic Tasks in Ada 9X" by A. Burns and A.J. Wellings 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: YCS209.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: In this paper we illustrate how systems containing hard real-time sporadic tasks can be analysed for their worst case behaviour. In order to undertake this schedulability analysis, it is necessary to define the minimum inter-arrival time and/or maximum arrival frequency of sporadic tasks. Furthermore, at run-time it is essential to ensure that sporadic tasks are not invoked more often than has been guaranteed by the analysis. We assume that sporadics are invoked by interrupts and that interrupts can be masked under software control. Sporadic tasks are often analysed using the notion of bandwidth preserving sporadic servers within the Rate Monotonic Scheduling Analysis scheme. At run-time this requires the underlying kernel to support complex execution time monitoring mechanisms. Unfortunately such mechanisms are not generally supported by Ada 9X. This paper shows that by using Deadline Monotonic Scheduling Analysis there is no need to resort to bandwidth preserving sporadic servers, and the facilities available in Ada 9X can be used. 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. Additionally we have made available two papers accepted for RTSS93 in order that those attending the symposium who are interested in the work are able to be familiar with the contents. The paper entitled: "Scheduling Slack Time in Fixed Priority Pre-emptive Systems" by R. Davis, K. Tindell, and A. Burns is stored in the file: RTSS93_DTB.ps.Z and has the following abstract: This paper addresses the problem of jointly scheduling tasks with both hard and soft time constraints. We present a new analysis which builds upon previous research into slack stealing algorithms. Our analysis determines the maximum processing time which may be stolen from hard deadline periodic or sporadic tasks, without jeopardising their timing constraints. It extends to tasks with characteristics such as synchronisation, release jitter and stochastic execution times, as well as forming the basis for a family of optimal and approximate slack stealing algorithms. The paper entitled "The Use of Preemptive Priority-Based Scheduling for Space Applications" by C.M. Bailey and E. Fyfe (British Aerospace Space Systems Ltd, Communication Satellites Division, Stevenage, UK), T. Vardanega (ESTEC, European Space Agency, Noordwijk, The Netherlands), A.J. Wellings (Real-time Systems Research Group, Department of Computer Science, University of York) is stored in the file: RTSS93_BFVW.ps.Z and has the following abstract: In January 1991, the European Space Agency commissioned a study into the practicality of using process-based scheduling techniques in an on-board application environment, with Ada as the implementation language. This short paper summarises the results of that study. -- 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 4; Postmarked Thu Oct 7 15:44:09 1993 From: Frank Mueller Subject: Tech Report: "Predicting Instruction Cache Behavior" The technical report "Predicting Instruction Cache Behavior" is available via anonymous ftp. Please edit the file before printing or previewing: The ASCII abstract precedes the postscript and has to be cut out. ftp-site: ftp.cs.fsu.edu internet#: 128.186.121.27 directory: /pub/techrpts file: whalley_93_091.ps.Z Authors: Frank Mueller, David Whalley, Marion Harmon. Title: Predicting Instruction Cache Behavior Abstract: It has been claimed in the past that the execution time of a task can often be predicted more accurately on an uncached system than on a system with cache memory. This work shows that instruction caching can be exploited to gain execution speed without sacrificing predictability. Assume a non-preemptive system where a task corresponds to the code executed between context switch points and cannot be interrupted. A new method called Static Cache Simulation is introduced that statically predicts the caching behavior of a portion of the instruction cache references of the task. This method can be used to show that the execution time of a task in the presence of instruction caches (and in the absence of data caches) is faster than that of an uncached system, independent of the input data. But at the same time, the execution time of a task may become less predicatable in a cached system. This problem can be resolved by adding a fetch-from-memory bit into the instruction encoding which indicates whether an instruction shall be fetched from the instruction cache or from main memory. This bit-encoding approach provides a portion of the speedup in execution time of conventional caches without sacrificing predictability. The ability to predict the caching behavior of a large percentage of the instruction references can potentially be very useful for predicting the execution time of large code segments on machines with instruction caches. Frank ------------------------------------------------------------------------------ Message 5; Postmarked Tue Sep 21 21:42:17 1993 From: welch@vienna.njit.edu (Lonnie Welch) Subject: CFP: Second WPDRTS Call for Papers The Second Workshop on Parallel and Distributed Real-Time Systems April 28-29, 1994 Cancun, Mexico Program Co-Chairs: Dieter K. Hammer, Technische Universiteit Eindhoven Lonnie R. Welch, New Jersey Institute of Technology Program Committee: Giovanni Cantone, University of Rome at Tor Vergata Klaus Ecker, Technical University of Clausthal Loe Feijs, Philips Research Robert Harrison, Naval Surface Warfare Center Mathai Joseph, University of Warwick Joerg Kaiser, GMD Jan van Katwijk, Delft University of Technology Gerard Le Lann, INRIA Jane W. S. Liu, University of Illinois Mike Rodd, University of Wales Kang G. Shin, University of Michigan Behrooz Shirazi, University of Texas Sang Son, University of Virginia John A. Stankovic, University of Massachusetts Robert Steigerwald, U. S. Air Force Academy Alexander D. Stoyenko, New Jersey Institute of Technology Kenji Toda, MITI Electrotechnical Laboratory Jan Vytopil, University of Nijmegen There is an increasing requirement for real-time systems to exploit parallel and distributed computer platforms, to meet timing constraints and to increase fault tolerance. Unfortunately, it is often the case that researchers focus on problems relevant to parallel processing only, optimizing average case behavior, while overlooking the guarantee of timeliness and reliability. A similar phenomenon also occurs often in real-time research, wherein techniques are developed that apply only to single processor systems. Thus, we perceive a need for collaboration between researchers in the field of parallel and distributed processing, and the field of real-time and reliable systems. To encourage discussion of research results from these fields in a forum where scientists from each field are present, a two day workshop will be held at IPPS '94 (The IEEE 8th International Parallel Processing Symposium, April 26-29 1994, Cancun, Mexico). Topics of interest (as they relate to real-time) for papers to be presented at the workshop include, but are not limited to: -Scheduling, Resource Allocation, and Optimization -Fault Tolerance -Complex Systems Engineering and Reengineering -Extraction and Exploitation of Parallelism -Compiler Techniques -Object-Oriented Techniques -Architecture and Hardware -Multiprocessor and Distributed Operating Systems -Artificial Intelligence -Parallel Algorithms -Communication Systems and Protocols -Case Studies and Applications -Specification and Verification Methods -Development Techniques and Tools Submissions should not exceed 2500 words (about 10 pages) and must be received by December 15, 1993 by the program co-chair located closest to you. North American Co-Chair: Lonnie R. Welch The Real-Time Computing Laboratory Dept. of Computer and Information Science New Jersey Institute of Technology University Heights Newark, NJ 07102 Vox: (201) 596-5683 / Fax: (201) 596-5777 Internet: welch@vienna.njit.edu European Co-Chair: Dieter K. Hammer Dept. of Mathematics and Computing Science Technische Universiteit Eindhoven P. O. Box 513 NL-5600 MB Eindhoven The Netherlands Vox: 31 40 474416 / Fax: 31 40 463992 Internet: wsindh@win.tue.nl IPPS is sponsored by The IEEE Computer Society Technical Committee on Parallel Processing in cooperation with ACM SIGARCH. The workshop on Parallel and Distributed Real-Time Systems is sponsored by The U.S. Naval Surface Warfare Center, and is held in cooperation with The IEEE Computer Society Technical Committee on Parallel Processing and with The IEEE Computer Society Technical Committee on Real-Time Systems. ------------------------------------------------------------------------------ Message 6; Postmarked Tue Sep 21 21:42:17 1993 Subject: AMAST Workshop on Real-Time Systems From: Teodor Rus PROGRAM First AMAST International Workshop on Real-Time Systems 1-3 November 1993, Iowa City, Iowa, USA Organizing Committee: Maurice Nivat, University of Paris VII, France Charles Rattray, University of Stirling, Scotland Teodor Rus, University of Iowa, Iowa City, IA, USA Giuseppe Scollo, University of Twente, The Netherlands Aim: Dedicated real-time applications form one of the areas of great practical accomplishment of current computer technology. Real-time applications, however, bring to the fore new and intriguing questions regarding program specification, verification, and development. Correctness of solutions to the problems raised by real-time programming is particularly important due to the catastrophic nature of failure in real-time systems. This motivates the extensive work in the past decade on the formal theory of specification, verification, and development of real-time systems. At the same time, the AMAST movement, initiated in 1989 and aiming to use algebraic methodology for the development of software technology, has started to show practical results. The goal of this workshop is to expand the AMAST results to real-time system development, by: 1. Providing a forum for a dialog on the suitability of using algebraic methodology for real-time system development. 2. Tracing the directions of a unifying approach for real-time system development within the framework provided by universal algebra. 3. Promoting the integration of real-time system development within software technology based on the new algebraic methodology which is emerging from an AMAST approach. It is the intention of the organizers to publish the research reported at this workshop in a "Handbook on Real-Time System Development" in the AMAST Series in Computing. The feasibility of this project will be discussed in the special sessions scheduled during the workshop. We invite contributions to these discussions and submissions to the handbook from all attendees of the workshop. All meetings of this workshop will take place at the Iowa Memorial Union, room 256, Lucas-Dodge. Each talk presented at this workshop will be 50 minutes long, followed by 10 minutes discussion. Supplementary discussion time will be provided in special sessions. Continental breakfast will be served each morning 8:30-9:00 at the meeting room. Lunch will be served each day 12:30-1:30 in BF 236, Second Floor, Iowa Memorial Union. ==================================================================== This conference is sponsored by grants from the Office of Naval Research, ESPRIT Basic Research Programme, University of Iowa, and University of Twente. Monday, November 1-st, 9:00-12:30 Session 1 8:00-8:30 Registration and breakfast at conference room. 8:30-9:00 Opening address by Prof. David J. Skorton, Vice President for Research, The University of Iowa. 1. 9:00-10:00 Finite Automata, Omega-Languages and Distributed Systems, by Maurice Nivat, University of Paris 7, France. 10:00-10:15 Coffee break 2. 10:15-11:15 Issues in the Specification and Verification of Telephone Systems by Luigi Logrippo, Department of Computer Science, University of Ottawa, Ottawa, Ont, Canada K1N 6N5. 11:15-11:30 Coffee break 3. 11:30-12:30 On the Design of Timed Systems by Juan Quemada, Departamento de Ingenieria Telematica, Universidad Politecnica de Madrid, Spain. 12:30-1:30 Lunch break Monday, November 1-st, 1:30-5:00 Session 2 4. 1:30-2:30 Visual Tools for Verifying Real-Time Systems by Jonathan Ostroff, Department of Computer Science, York University, 4700 Keele Street, North York, Ontario, Canada, M3J 1P3. 2:30-2:45 Coffee break 5. 2:45-3:45 Integrating State Machines, Temporal Logic, and Algebraic Models of Data by Armen Gabrielian, UniView Systems, Mountain View, California, USA. 3:45-4:00 Coffee break 6. 4:00-5:00 Towards Full Timed LOTOS by Tommaso Bolognesi, C.N.R. Instituto CNUCE, 36, Via S. Maria, 56100 - Pisa, Italy. 5:00-8:00 Dinner 8:00-10:00 Special session Tuesday, November 2-nd, 9:00-12:30 Session 3 7. 9:00-10:00 Refining and Abstracting Time Information by Steve Schneider, Oxford University, England. 10-10:15 Coffee break 8. 10:15-11:15 Real-Time System = Discrete System + Clock Variables, Part I by Rajeev Alur, AT&T Bell Labs, Murray Hill, New Jersey, USA and Tom Henzinger, Department of Computer Science, Cornell University, Ithaca, New York, USA. 11:15-11:30 Coffee break 9. 11:30-12:30 Real-Time System = Discrete System + Clock Variables, Part II by Rajeev Alur, AT&T Bell Labs, Murray Hill, New Jersey, USA and Tom Henzinger, Department of Computer Science, Cornell University, Ithaca, New York, USA. 12:30-1:30 Lunch Tuesday, November 2-nd, 1:30-5:00 Session 4 10. 1:30-2:30 An Experience with the Formal Description in LOTOS and Prototyping of the Airbus A320 Flight Warning Computer by Hubert Garavel, VERIMAG, Miniparc-ZIRST, rue Lavoisier, 38330 Montbonnot St Martin, France and Rene-Pierre Hautbois, Aerospatiale A/DL/EP, M 8621, 316 route de Bayonne, 31060 Toulouse cedex 03 France. 2:30-2:45 Coffee break 11. 2:45-3:45 Specification and Proof in Real-time CSP by Jim Davies, Department of Computer Science, University of Reading, Reading RG6 2AH, England. 3:45-4:00 Coffee break 12. 4:00-5:00 The Priority Inversion Problem and Real-Time Symbolic Model Checking by Edmund Clarke and Sergio V. Campos, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA. 7:00-9:00 Workshop-Dinner Wednesday, November 3-rd, 9:00-12:30 Session 5 13. 9:00-10:00 Using Synchronized Transition Systems to Develop Real-Time Software: An Experiment by Didier Begay, University of Bordeaux I, LaBRI, 351, cours de la Liberation 33405 Talence, France. 10:00-10:15 Coffee break 14. 10:15-11:15 Verification of the Easylink Protocol by Frits Vaandrager and Indra Polak, CWI and University of Amsterdam, The Netherlands. 11:15-11:30 Coffee break 15. 11:30-12:30 Performance Analysis and True Concurrency Semantics by Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, and Diego Latella, Department of Computer Science, University of Twente, The Netherlands. 12:30-1:30 Lunch Wednesday, November 3-rd, 1:30-5:00 Session 6 16. 1:30-2:30 Using Iterative Symbolic Approximation for Timing Verification by David Dill and Howard Wong-Toi, Department of Computer Science, Stanford University, Stanford, CA, USA. 2:30-2:45 Coffee break 17. 2:45-3:45 Analysis, Synthesis, and Optimization of Real-Time Systems in a Temporal Logic Framework by Dan Ionescu, Department of Electrical Engineering, University of Ottawa, Ottawa, Ontario, Canada K1N 6N5. 3:45-5:00 Administrative matters and departure General Information All speakers at this workshop have been invited. Their presentations represent some of the best known research directions in real-time system development and we hope that their work will be of interest to a large audience. So, we would encourage all those who believe that they can benefit from these presentations to attend this workshop, to contribute to the discussions, and to further the development of real time systems. Location: The conference will be held at the Conference Center of the University of Iowa, Iowa Memorial Union. All meetings will be held in Room 256, Lucas-Dodge, at that location. Transportation: 1. The airport that services Iowa City is at Cedar Rapids, 25 miles from Iowa City. The closest international airport from Cedar Rapids is Chicago. Limousine services between Cedar Rapids airport and Iowa City are available. 2. Interstate 80 is the easiest access route to Iowa City. Exit 244, Dubuque Street, leads you to downtown Iowa City. Climate: It usually rains in Iowa City on November 1-st. However, considering the amount of rain we have had so far maybe it will be sunny this time. Registration: Registration fees is $150; this includes the Workshop-Dinner, breakfast, lunch, coffee and refreshments, and the program and other documents distributed at the conference site. Student registration is $50 and does not include the Workshop-Dinner. Hotel Reservation: For hotel reservation please call 319-335-3513, Iowa House, indicating that you are attending the First AMAST International Workshop on Real-Time Systems. A block of rooms have been already reserved for you at $52-single and $58 double, a night. They will be assigned to the attendees on the basis of first come first served. The alternative is Holiday Inn - downtown Iowa City - which is within walking distance from the Iowa Memorial Union. The number to call is 319-337-4058, reservations. The Center for Conferences and Institutes is handling the registration and the other arrangements. For more information about reservation and registration contact: Bobby C Davis or Lisa Barnes Center for Conferences and Institutes The University of Iowa, Iowa Memorial Union Iowa City, Iowa 52242 Phone (319)335-3220 Note: The University of Iowa does not discriminate in its educational programs and activities on the basis of race, national origin, color, sex, age, or disability. The University also affirms its commitment to providing equal opportunities and equal access to University facilities without reference to affectional preference. For additional information on nondiscrimination policies, contact the Coordinator of Title IX and Section 504 in the Office of Affirmative Action, telephone (319)335-0705, 202 Jessup Hall, The University of Iowa, Iowa City, Iowa 52242-1316. If you are a person with disability who requires reasonable accommodations in order to participate in this program, please contact the sponsoring department at (319)335-3231 to discuss your needs. ------------------------------------------------------------------------------ Message 7; Postmarked Sun Oct 3 06:05:32 1993 From: Ted Baker Subject: call for papers 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) ------------------------------------------------------------------------------ Postmarked Sun Oct 3 06:05:32 1993 Subject: DCCA-4: Fourth IFIP Working Conference Advance Program From: Flaviu Cristian Advance Program and Registration Information DCCA-4: Fourth IFIP Working Conference on Dependable Computing for Critical Applications January 4-6, 1994 Catamaran Resort Hotel, San Diego, California, USA Organized by the IFIP Working Group 10.4 on Dependable Computing and Fault-tolerance, in cooperation with: IFIP Technical Comittee 11 on Security and Protection in Information Processing Systems IEEE Computer Society Technical Committee on Fault-tolerant Computing EWICS Technical Committee 11 on Systems Reliability, Safety and Security University of California at San Diego This is the fourth Working Conference on this topic, following the successful conferences held in August 1989 at Santa Barbara (USA), in February 1991 at Tucson (USA), and in September 1992 in Mondello (Italy). As evidenced by papers that were presented and discussed at those meetings, critical applications of computing systems are concerned with service properties relating to both the nature of proper service and the system's ability to deliver it. These include thresholds of performance and real-time responsiveness, continuity of proper service, ability to avoid catastrophic failures, and prevention of deliberate privacy intrusions. The notion of dependability, defined as the trustworthiness of computer service such that reliance can justifiably be placed on this service, enables these various concerns to be subsumed within a single conceptual framework. Dependability thus includes as special cases such attributes as reliability, availability, safety, and security. In keeping with the goals of the previous conferences, the aim of this meeting is to encourage further integration of methods and tools for specifying, designing, implementing, assessing, validating, operating, and maintaining computer systems that are dependable in the broad sense. Of particular, but not exclusive interest, are presentations that address combinations of dependability attributes, e.g., safety and security or fault-tolerance and security, through studies of either a theoretical or an applied nature. As a Working Conference, the program is designed to promote the exchange of ideas by extensive discussions. All paper sessions end with a 30 minute discussion period on the topics covered by the session. In addition, three panel sessions have been organized. The first, entitled "Formal Methods for Safety in Critical Systems" will explore the role of formal methods in specifying and assessing system safety. The second, entitled "Qualitative versus Quantitative Assessment of Security?" debates of the role that methods based on mathematical logic and stochastic process theory ought to play in assessing system security. The third panel "Common Techniques for Fault-tolerance and Security" explores techniques that are useful for attaining both fault-tolerance and security. ADVANCE PROGRAM Monday, January 3 7-10pm Welcome Reception Tuesday, January 4 9:00-9:15am Opening Remarks F. Cristian, General Chair G. Le Lann, T. Lunt, Program Co-chairs 9:15-10:45am Session 1: Formal Methods for Critical Systems Chair: M. Melliar-Smith (U of California, Santa Barbara, US) W. Tursky, Warsaw University, Poland: On Doubly Guarded MultiprocessorControl System Design G. Bruns, S. Anderson, U of Edinburgh, UK: Using Data Consistency Assumptions to Show System Safety 10:45-11:00am Break 11:00-12:30am Panel Session 1: Formal Methods for Safety in Critical Systems Moderator: Ricky Butler (NASA Langley, US) Panelists: S. Miller (Rockwell Collins, US), M. J. Morley (British Rail/Cambridge, UK), S. Natarajan (SRI International, Menlo Park, US), F. Schneider (Cornell U, US). 12:30-1:30pm Lunch 1:30-3:00pm Session 2: Combining The Fault-tolerance, Security and Real-time Aspects of Computing Chair: C. Landwehr (NRL, Washington DC, US) P. Boucher et al, SRI International, US: Tradeoffs Between Timeliness and Covert Channel Bandwith in multilevel-Secure, Distributed Real-Time Systems K. Echtle, M. Leu, Dortmund U, Germany: Fault-Detecting Network Membership Protocols for Unknown Topologies 3:30-4:00pm Break 4:00-6:00pm Session 3: Secure Systems Chair: P. G. Neumann (SRI International, Menlo Park, US) J. Millen, MITRE: Denial of Service: A Perspective R. Kailar, V. Gligor, S. Stubblebine: U of Maryland, US: Reasoning About Message Integrity R. Kailar, V. Gligor, U of Marland, L. Gong, SRI: On the Security Effectiveness of Cryptographic Protocols Wednesday, January 5 9:00-10:30am Session 4: Assessment of Dependability Chair: W. Howden (U of California, San Diego) C. Garrett, S. Guarro, G. Apostolakis, UCLA, US: Assessing the Dependability of Embedded Software Using the Dynamic Flowgraph Methodology A. Aboulenga, TRW and D. Ball, MITRE, US: On Managing Fault-tolerance Design Risks 10:30-11:00am Break 11:00-12:30 Panel Session 2: Qualitative versus Quantitative Assessment of Security Moderator: T. Lunt (SRI International, Menlo Park, US) Panelists: M. Dacier (LAAS, Toulouse, France), B. Littlewood (City U, London, UK), J. McLean (NRL, US), C. Meadows (NRL, US), J. Millen (MITRE, US) 12:30-1:30pm Lunch 1:30-3:00pm Session 5: Basic Problems in Distributed Fault-tolerant Systems Chair: F. B. Schneider (Cornell U, Ithaca, US) C. Walker, M. Hugue, N. Suri, Allied Signal Aerospace, US: Continual On-Line Diagnosis of Hybrid Faults A. Azadmanesh, R. Kieckhafer, U of Nebraska, US: The General Convergence Problem: A Unification of Synchronous and Asynchronous Systems 3:30-4:00pm Break 4:00-6:00pm Session 6: Specification and Verification of Distributed Protocols Chair: R. Schlichting (U Arizona, Tucson, US) O. Babaoglu, U of Bologna, Italy, M. Raynal, IRISA, France: Specification and Verification of Behavioral Patterns in Distributed Computations P. Zhou, J. Hooman, Eindhoven Univ, The Netherlands: Formal Specification and Compositional Verification of an Atomic Broadcast Protocol H. Schepers, J. Coenen, Eindhoven Univ, The Netherlands: Trace-Based Compositional Refinement of Fault-Tolerant Distributed Systems 6:30-10pm: Banquet; after dinner speaker: P. G. Neumann, SRI Int, US Thursday, January 6 9:00-10:30am Session 7: Design Techniques for Robustness Chair: J. Meyer (U. Michigan, Ann Arbor, US) N. Kanawati, G. Kanawati, J. Abraham, U of Texas, US: A Modular Robust Binary Tree R. Rowell, BNR, V. Nair, SMU, Texas, US: Secondary Storage Error Correction Utilizing the Inherent Redundancy of Stored Data 10:30-11:00am Break 11:00-12:30 Panel Session 3: Common Techniques in Fault-Tolerance and Security Moderator: C. Levitt (U of California, Davis, US) Panelists: Y. Deswartes (LAAS, Toulouse, France), B. Littlewood(City U, London, UK), C. Meadows (NRL, US), B. Randell (U of Newcastle upon Tyne, UK), K. Wilen (U of California, Davis, US) 12:30-1:30pm Lunch 1:30-3:00pm Session 8: Real-Time Systems Chair: L. Sha (SEI, Pittsburgh, US) M. Goemans, I. Saias, N. Lynch, MIT, US: A Lower Bound for Faulty Systems without Repair S. Ramos-Thuel, J. Strosnider, CMU, US: Scheduling Fault Recovery Operations for Time-Critical Applications 3:30-4:00pm Break 4:00-6:00pm Session 9: Evaluation of Dependability Aspects Chair: K. Trivedi (Duke U, Durham, US) G. Miremedi, J. Torin, Chalmers Univ, Sweden: Effects of Physical some Software Implemented Error Detection Techniques J. Dugan, Univ of Virginia, M Lyu, Bellcore, US: System-Level Reliability and Sensitivity Analysis for Three Fault-Tolerant System Architectures J. Carrasco, U Polit de Caalynya, Barcelona, Spain: Improving Availability Bounds Using the Failure Distance Concept REGISTRATION INFORMATION Registration fees are $445 before December 4, 1993 and $495 afterwards. We will accept a check if it is drawn on a US bank. You may also wire money to the DCCA bank account: Wescorp Federal Credit Union, ABA 122- 04-12-19, credit account of USE Credit Union: 32-22-81-691S-025, account UCSD 4TH DCCA, 142665100. If you register by mail, please make the check out to DCCA-4 and mail with the following registration form to: DCCA-4 University of California, San Diego Department of Computer Science and Engineering 9500 Gilman Drive m/s 0114 La Jolla, CA 92093-0114 USA If you wire money, then please follow up with a letter to the above address, or an e-mail message to dcca@cs.ucsd.edu, or a fax to +1-619- 534-7029, or a telephone call to Keith Marzullo, +1-619-534-3729. --------------REGISTRATION FORM---------------------------------------- Name:__________________________________________________________________ Affiliation:___________________________________________________________ Address:______________________________________________________________ Telephone number:_____________________________________________________ E-mail address:_______________________________________________________ Dietary restrictions:_________________________________________________ Registration fees are $445 before number additional reception December 4, 1993 and $495 afterwards. tickets ($35 each):_____ Included in these fees are all lunches, the banquet, and the reception for one number additional banquet person. You may purchase additional tickets ($65 each):_____ tickets at the following prices: number additional lunch tickets ($60 each):_____ ---------------------------------------------------------------------- HOTEL INFORMATION The conference will be held at the Catamaran Resort Hotel on Mission Bay (3999 Mission Blvd., San Diego, CA 92109). Please call the hotel to make your room reservations. A block of rooms have been reserved until December 4, 1993 at a rate of $90 for one or two persons, and $15 for each additional person above 2. The phone numbers are +1 619 488-1081, fax +1 619 490-3328. There are flights from most major US cities to the San Diego airport. Transportation from the airport is provided by a company called Super Shuttle, which can be reached by using up the courtesy phone at the Reservation Board near the baggage claim area to call the Catamaran Resort Hotel. The fare is $6 per person, one way. You can also take a taxi, which should cost $10-$15 one way. All conference events except the banquet will be at the Catamaran Resort Hotel, and lunches will be served at the hotel. The banquet will be aboard the authentically recreated 1800's sternwheller Willaims D. Evans which docks near the hotel. Conference participants may receive telephone calls at the hotel: +1 619 488-1081, +1 619 488-0901 fax. The hotel is right on the beach on Mission Bay. Winters in San Diego are mild, with daytime temperatures in the low 70's (22-24C) and nighttime temperatures around 50 (10C). Winter is the season in which San Diego gets most of what little rain it gets, so bring an umbrella just in case there is a shower. CONFERENCE ORGANIZATION General Chair F. Cristian, U of California, San Diego, USA Program Co-chairs G. Le Lann, INRIA, France T. Lunt, SRI International, USA Local Arrangements/Publicty Chair K. Marzullo, U of California, San Diego, USA Program Committee J. Abraham, U of Texas at Austin, USA A. Avizienis, U of California, Los Angeles, USA D. Bjoerner, UNUIIST, Macau R. Butler, NASA Langely, USA A. Costes, LAAS-CNRS, Toulouse, France M-C. Gaudel, LRI, France V. Gligor, U of Maryland, USA L. Gong, SRI International, USA H. Ihara, Hitachi, Japan J. Jacob, Oxford U, UK S. Jajodia, George Mason U, USA J. Lala, CS Draper Lab, USA C. Landwehr, NRL, USA K. Levitt, U of California, Davis, USA C. Meadows, NRL, USA, J. McLean, NRL, USA M. Melliar-Smith, U of California, Santa Barbara, USA J. Meyer, U of Michigan, Ann Arbor, USA J. Millen, MITRE, USA D. Parnas, McMaster U, Canada B. Randell, U of Newcastle upon Tyne, UK G. Rubino, IRISA, France R. Schlichting, U of Arizona, Tucson, USA J. Stankovic, U of Massachussetts, Amherst, USA P. Thevenod, LAAS-CNRS, Toulouse, France Y. Tohma, Tokyo Inst. of Technology, Japan Ex-officio J-C. Laprie, LAAS-CNRS, France IFIP WG 10.4 Chair ------------------------------------------------------------------------------ Message 8; Postmarked Fri Oct 8 12:31:47 1993 Subject: 14th IEEE Real-Time Systems Symposium From: Ragunathan Rajkumar 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: .................................................................... ============================================================================== 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: ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------