Subject: IEEE-CS TC-RTS Newsletter for Fri Jul 30, 1993 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. krithi@nirvan.cs.umass.edu (krithi) (295 lines) CFP: 12th IFAC Workshop: DISTRIBUTED COMPUTER CONTROL SYSTEMS ..... 3 CFP: 2nd Intl Workshop on CONFIGURABLE DISTRIBUTED SYSTEMS......... 187 2. koren@SHASHA.CS.NYU.EDU (Gilad Koren) (33 lines) Looking for a text book for a RT course............................ 298 3. ken@minster.york.ac.uk (49 lines) Report available via FTP........................................... 331 4. Aenne Strassner (248 lines) CFP: Real Time and Fault Tolerant Systems.......................... 379 5. krithi@nirvan.cs.umass.edu (krithi) (321 lines) Program: 12th SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS............ 628 6. ken@minster.york.ac.uk (45 lines) Technical Report available via FTP................................. 949 7. krithi@nirvan.cs.umass.edu (krithi) (514 lines) Program: 3rd RESPONSIVE COMPUTER SYSTEMS WORKSHOP.................. 994 CFP: 24th Intl Symposium on Fault-Tolerant Computing............... 1286 8. David Dill (93 lines) CFP: CAV 94 ....................................................... 1508 9. stankovi@sssup2.sssup.it (183 lines) CFP: RTS'94........................................................ 1600 10. best@cs.bu.edu (Azer Bestavros) (17 lines) Technical reports available........................................ 1784 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Tue Jul 6 11:11:52 1993 From: krithi@nirvan.cs.umass.edu (krithi) Subject: CFP: 12th IFAC Workshop: DISTRIBUTED COMPUTER CONTROL SYSTEMS __________________________________________________________________ | | | 12th IFAC Workshop on | | | | DISTRIBUTED COMPUTER CONTROL SYSTEMS | | | | DCCS'94 | | | | Toledo, Spain, 28--30 September, 1994 | | FIRST ANNOUNCEMENT AND CALL FOR PAPERS | |________________________________________________________________| SPONSORED BY: International Federation of Automatic Control (IFAC), Technical Committee on Computers. INTERNATIONAL PROGRAMME COMMITTEE Chair: Prof. M.G. Rodd University of Wales, Swansea SA2 8PP United Kingdom E-mail: eerodd@pyr.swan.ac.uk Members: A. Bondavalli (Italy) A. Burns (United Kingdom) A. Crespo (Spain) F. Cristian (USA F. DePaoli (Italy) M. A. Inamoto (Japan) H. Kopetz (Austria) W.H. Kwon (Korea) G. Le Lann (France) I. MacLeod (South Africa) A. Mok (USA) L. Motus (Estonia) S. Narita (Japan) D. Powell (France) R. Puigjaner (Spain) K. Ramamrithan(USA) R. Reyero (Spain) G. Suski (USA) T. Williams (USA) G. Zhao (Singapore) NATIONAL ORGANIZING COMMITTEE General Chair: Prof. J.A. de la Puente ETSI Telecomunicacion Universidad Politecnica de Madrid E-28040 Madrid, Spain E-mail: jpuente@gic.tat.upm.es Members: A. Alonso S. Dormido A. Jimenez J.A. Cerrada SCOPE The Workshop will consist of formal presentations, discussion and informal meetings covering recent advances and current issues in theory, applications, and technology of distributed computer control systems. The topics to be covered include, but are not restricted to: * The role of real-time in DCSS specifications. * Analysis and design methods for DCCS, including software design methods for predictable behaviour. * Real-time distributed operating systems and databases. * Real-time communication system architectures, including MAP and Fieldbus. * Current and future impact of advanced computer system architectures. * Testing and validation of DCCS, including timing properties. * Dependability issues of DCCS. * Industrial applications and experience with DCCS. PARTICIPATION Attendance will be limited by invitation to a maximum of 60 participants. Preference will be given to those who submit abstracts or express interest in organising specific sessions or panel discussions. Participants are requested to register in advance not later than 30 June 1994. LOCATION Toledo is located 70 km south of Madrid. It can be easily reached by train or motor car from Madrid. LANGUAGE English will be the working language for the workshop and will be used for all printed material, presentations and discussions. No simultaneous translation will be provided. EXTENDED ABSTRACTS Offers of papers are welcomed from individuals and groups on the topics outlined above. Ten copies of an extended abstract (1000--2000 words) should be received by the workshop secretariat not later than 1 March 1994. Please include e-mail and fax number with the author's address. The invitations to the Workshop will be based on the assessment of the extended abstracts by the Programme Committee. The abstracts should outline the contribution that the author intends to make at the Workshop. PAPERS Full papers are to be prepared according to the instructions that will be sent to the authors together with the letter of invitation. Accepted papers must be presented in person at the Workshop. Each registered participant will be provided with a copy of the preprint volume including all accepted papers. COPYRIGHT The copyright of all accepted papers is automatically transferred to IFAC. Papers published in IFAC preprint volumes will also be considered for publication in the IFAC Journals Automatica and Control Engineering Practice , which have priority access to all such material. ORGANIZERS DCCS'94 is an IFAC event organized by CEA-IFAC, the Spanish National Member Organization of IFAC, with the support of: Universidad Politecnica de Madrid. Universidad Nacional de Educacion a Distancia. Fundacion Universidad-Empresa. Ada-Spain. CORRESPONDENCE All correspondence should be addressed to: DCCS'94 Secretariat Fundacion Universidad-Empresa Serrano Jover, 5-7 E-28015 Madrid, Spain Tel: +34 1 542 9003 Fax: +34 1 547 0652 E-mail: dccs94@gic.tat.upm.es ----------------------------------------------------------------------------- IMPORTANT DATES Extended abstracts due by ...................... 1 March 1994 Selection and invitation ....................... 15 May 1994 Registration ................................... 30 June 1994 Full papers due by ............................. 30 June 1994 Workshop ............................... 28--30 September 1994 ----------------------------------------------------------------------------- RELATED EVENT The 2nd IFAC/IFIP/IMACS Symposium on Artificial Intelligence in Real Time Control (AIRTC'94) will be held in Valencia, 3-5 October, 1994 . ============================================================================== DCCS'94 Reply form Please send this form before 1 March 1994 Name: ______________________________________ First name: ________________ Position: _______________________________________________________________ Organization: ___________________________________________________________ Address: ________________________________________________________________ ________________________________________________________________ ________________________________________________________________ Postal Code: ______________City: ________________________________________ Country: ________________________________________________________________ Fax: __________________________ Phone: _____________________________ E-mail: ________________________________________________________________ _ |_| I am planning to attend the DCCS'94 Workshop |_| I intend to submit an abstract. Preliminary title: Date: ============================================================================== Postmarked Thu Jul 8 08:49:12 1993 From: krithi@nirvan.cs.umass.edu (krithi) Subject: CFP: 2nd Intl Workshop on CONFIGURABLE DISTRIBUTED SYSTEMS CALL FOR PAPERS: SECOND INTERNATIONAL WORKSHOP ON CONFIGURABLE DISTRIBUTED SYSTEMS March 21-23, 1994 Software Engineering Institute, CMU Pittsburgh, PA The workshop will be concerned with methods, tools and techniques for configuring and managing software for distributed applications. These applications are usually configured by programmers who must identify the desired software components, bind them together and then map them onto the underlying host architectures. Therefore, papers addressing any aspect of this configuration process are invited. Like the previous workshop, papers addressing the issues of dynamic reconfiguration --- that is, controlling how the logical configuration evolves during execution --- are of particular interest. o Language and tool support for configuration and reconfiguration o Configuration (and reconfiguration) management o Specification and modeling of reconfigurable systems o Instrumentation and visualization of distributed systems o Methods for software maintenance in highly-available configurations o Configuration of mixed-language applications o Methods to identify network components/services for use in configurations o Use of multi-media / hyper-media in configurations o Performance criteria for managing allocations and reconfiguration o Tools and techniques for managing very large scale configurations We invite submission of case studies, documenting substantial experiences which can contribute to our community's understanding of configurable distributed systems. These papers should be identified as such by the author, and will be reviewed based upon their potential for helping communicate `lessons learned.' A proceedings will be published in time to be available at the meeting. Based upon feedback solicited at the meeting from attendees, the program committee will select a subset of papers to be submitted as a special issue of a suitable journal or as a book. (Papers selected from the previous meeting, held in London, appeared in the March 1993 issue of the IEE's Software Engineering Journal.) Prospective authors are invited to consider the summary from our last meeting, as reported in Conferences section of IEEE Computer Magazine, in the September 1992 issue. INSTRUCTIONS TO AUTHORS: Five copies of the complete paper should be submitted to either of the two program chairs. Papers must be written in English, and should be no more than twenty pages (double spaced) in length, including figures; please clearly identify the name, postal and email addresses of the main contact author. Because we are also interested in the most timely reports of research achievements, we will also accept extended abstracts for consideration; these should be at least five pages in length, and should clearly articulate the main points and results which would appear in the full paper, should it be accepted. Electronic submission of Postscript by email is desirable. Please feel free to contact CDS@cs.umd.edu for further information. The address for submission of hardcopy is: James Purtilo University of Maryland Computer Science Department A.V. Williams Building College Park, MD 20742, USA purtilo@cs.umd.edu 301 405 2706 DATES: August 20, 1993 Deadline for submission November 5, 1993 Authors are notified December 17, 1993 Final papers are due for proceedings GENERAL CHAIR: Mario Barbacci, CMU SEI PROGRAM COMMITTEE: Amnon Barak Hebrew U. Judy Bishop U. Pretoria Flaviu Cristian USC Anthony Finkelstein Imperial College David Garlan CMU Hassan Gomaa George Mason U. Christine Hofmeister Siemens Laboratory Jeff Kramer (*) Imperial College David Lamb Queens University Rich Leblanc Georgia Tech Jeff Magee Imperial College Mirek Malek U. Texas Naftaly Minsky Rutgers Joann Ordille Bell Labs James Purtilo (*) U. Maryland Krithi Ramamritham U. Mass Francois Rouaix INRIA Rick Schlicting U. Arizona Santosh Shrivastava Newcastle Ian Sommerville Lancaster David Stotts U. North Carolina Alex Wolf U. Colorado ----- (*) Program Committee Co-chair ------------------------------------------------------------------------------ Message 2; Postmarked Fri Jul 9 19:18:42 1993 From: koren@SHASHA.CS.NYU.EDU (Gilad Koren) Subject: Looking for a text book for a RT course Dear realtimers. I am scheduled to give a graduate course in "Real-Time Systems" next semester. I plan to concentrate on scheduling but other topics (OS/applications/ languages etc.) will be also covered. Any suggestion for a text book? An undergraduate textbook ? If you do not know of a good text book can you recommend a good reference book for preparing such a course? Thanks Gilad Koren koren@cs.nyu.edu /-----------------------------------------------------------------------\ Gilad Koren Courant Institute, NYU 251 Mercer Street New York NY 10012 Tel : (212) 998-3525 FAX : (212) 995-4123 e-mail: koren@cs.nyu.edu \-----------------------------------------------------------------------/ ------------------------------------------------------------------------------ Message 3; Postmarked Mon Jul 12 10:01:19 1993 From: ken@minster.york.ac.uk Subject: Report available via FTP A report entitled "A Practical Method for Increasing Processor Utilisation" 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: dual.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The report is an extended version of the paper presented at the 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, in June 1993. The abstract of the report is as follows: "Static priority schemes have the disadvantage that processor utilisations less than 100% must be tolerated if a system is to be guaranteed off-line. By comparison earliest deadline scheduling can theoretically utilise all of a processors capacity, although in practice run-time overheads are increased that undermine this advantage. In this paper a dual priority scheme is proposed: a task may execute in two phases; each phase has a static priority assigned, the transition from one phase to another is made at a fixed offset in time from the release of the task. Utilisations equal to 100% can now be obtained whilst retaining an essentially static priority model. Examples of the scheme are given and some of its properties investigated. Implementation issues are also considered." 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 4; Postmarked Thu Jul 15 07:53:53 1993 Subject: CFP: Real Time and Fault Tolerant Systems From: Aenne Strassner Sender: best@cs.bu.edu First Announcement and Call for Papers Third International School and Symposium * Formal Techniques in Real Time and Fault Tolerant Systems organized jointly with the Working Group Provably Correct Systems (ProCoS) 19-23 September 1994, Schleswig near Kiel, Germany Special Themes: Hybrid Systems Correctness by Construction of Real Time and Fault Tolerant Processes Computer Aided Verification Tools and/or Algorithms * Proceedings previous Symposia: at Warwick, ed. M. Joseph LNCS 331 Springer Verlag : at Nijmegen, ed. J. Vytopil LNCS 571 Springer Verlag * Some of the Nijmegen's invited talks and School lectures were also published by Kluwer Academic Publishers, 1993 in `Formal Techniques in Real-Time and Fault-Tolerant Systems', ed. J. Vytopil The use of computers in safety-critical applications is increasing rapidly, as is interest in the theoretical foundations for the design of reliable systems. Such systems are used in embedded applications and in interconnected networks. They are characterized both by their complexity and by the crucial need to manage this complexity using systematic principles of design. Formal techniques constitute the foundation of a systematic design. They have beneficial applications throughout the engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware which embeds the system into its environment. The meetings during the school and symposium are devoted to considering the problems and the solutions in safe system design and to examining how well the use of formal techniques for design, analysis and verification serves in relating theory to practical realities. School and Symposium take place at Schleswig, an ancient Baltic harbour situated at the original border between the Holy Roman Empire and the Danish Kingdom. It has beautiful musea, an old dome, and offers splendid opportunities for boating in a lovely fjord surrounded by an idyllic landscape. School 19-20 September 1994 The lectures and tutorials will be directed at practicing systems designers, safety engineers, and those who set professional standards for their work. Part of the school concerns lectures presented by members of the ProCoS project, which is devoted to provably correct systems. This part is organized and introduced by C.A.R. Hoare. Lecturers and topics for the School C. Courcoubetis (FRT, Heraklion) Probability and Real Time F. Cristian (UCSD, San Diego) Fault Tolerance R. Kurshan (AT&T/Bell Labs, New Jersey) Verification Tools and Algorithms Nancy Leveson (ICS, Seattle) Formal Modeling and Safety Analysis of Reactive Systems J.S. Moore (CLInc, Austin) Acl2: The New Boyer-Moore Theorem Prover A. Pnueli (Weizmann Inst., Rehovot) Verification of Hybrid Systems C.A.R. Hoare (Univ. of Oxford) The ProCoS Model A.P. Ravn (DTH, Lyngby) Requirements to Specifications E.R. Olderog (Univ. of Oldenburg) Specifications to Programs M. Fraenzle (Univ. of Kiel) Programs to Machine Code Symposium 21-23 September 1994 Invited Speakers: M.O. Rabin (Harvard Univ., Cambridge, Mass., and Hebrew Univ., Jerusalem) General Asynchronous Computation through Randomization J. Hooman (Eindhoven Univ.) Correctness by Construction of Real Time and Fault Tolerant Processes L. Lamport (DEC Lab., Palo Alto) Specifying and Verifying Fault Tolerant Systems A. Mok (Univ. of Texas, Austin) Specification and Correctness of Hard Real Time Systems A. Pnueli (Weizmann Inst., Rehovoth) Verification of Hybrid Systems J. Rushby (SRI, Stanford) Computer Aided Verification Tools F. Schneider (Cornell Univ., Ithaca, N.Y.) Verifying Hybrid Systems Ch. Zhou (IIST, Macau) Linear Duration Invariants Panel Organizer: G. Le Lann (INRIA, Les Chesnay) Tools Demonstration Organizer: Bettina Buth (Univ. of Kiel) Papers and extended abstracts (up to 20 pages) are invited for the Symposium on the development and use of formal techniques and mathematical reasoning in real time and/or fault tolerant system design, covering all stages from requirements analysis to hardware and the interfaces between. In addition to general topics, special themes of this conference will be - real time, - fault tolerant hybrid systems (discrete / continuous), - hardware/software co-design, - other mixed paradigm implementations, - interfaces between theories, technologies and levels of abstraction, - correctness by construction. Six copies of each submission should be sent to the Programme Committee Chairman. Papers will be refereed and the final choice of papers will be made by the Programme Committee. Accepted papers will be published as LNCS of the Springer Verlag. Deadlines: Papers to reach W.-P. de Roever by 1st of March, 1994 Final selection by 15th of May, 1994 Camera-ready copy by 1st of July, 1994 Programme Committee: O. Babaoglu (Univ. of Bologna) F. Cristian (UCSD, San Diego) M. Fraenzle (Univ. of Kiel) C.A.R. Hoare (Univ. of Oxford) J. Hooman (Univ. of Eindhoven) M. Joseph (Univ. of Warwick) B. Kurshan (AT&T/Bell Labs, New Jersey) I. Lee (Univ. of Pennsylvania) Nancy Lynch (MIT Cambridge, Mass.) A. Mok (Univ. of Texas, Austin) E.R. Olderog (Univ. of Oldenburg) A. Pnueli (Weizmann Inst., Rehovot) A.P. Ravn (DTH, Lyngby) W.-P. de Roever (Univ. of Kiel, Chairman) F. Schneider (Cornell Univ., Ithaca, N.Y.) J. Sifakis (IMAG-LGI, Grenoble) J. Vytopil (Kath. Univ., Nijmegen) Organizing Committee: M. Joseph (Univ. of Warwick) H. Langmaack (Univ. of Kiel, Chairman) A. Pnueli (Weizmann Inst., Rehovoth) A.P. Ravn (DTH, Lyngby) W.-P. de Roever (Univ. of Kiel) J. Vytopil (Kath. Univ., Nijmegen) If you have any questions, if you intend to submit a paper for the Symposium, or if you simply want to keep informed, please send an e-mail or postcard. Do not forget to give your full address. Local addresses for correspondence and local organization Hans Langmaack Willem-Paul de Roever Symposium secretary: Aenne Strassner Institut fuer Informatik und Praktische Mathematik, Haus II Christian-Albrechts-Universitaet zu Kiel Preusserstr. 1-9, D-24105 Kiel, Germany e-mail: FTRTFT@informatik.uni-kiel.d400.de phone: ++49-431-5604-74 (-27) fax: ++49-431-566143 ------------------------------------------------------------------------------ Message 5; Postmarked Thu Jul 15 16:37:01 1993 From: krithi@nirvan.cs.umass.edu (krithi) Subject: Program: 12th SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS 12th SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS Oct. 6 (Wed), 1993 - Oct. 8 (Fri), 1993 Princeton, New Jersey SPONSORS: IEEE Computer Society TC on Distributed Processing IEEE Computer Society TC on Fault-Tolerant Computing IFIP WG 10.4 on Dependable Computing SYMPOSIUM CHAIR: Geneva Belford, University of Illinois, Urbana-Champaign (belford@cs.uiuc.edu) SYMPOSIUM VICE-CHAIR: Farokh Bastani, University of Houston PROGRAM COMMITTEE CHAIR: David Taylor, University of Waterloo (dtaylor@grand.uwaterloo.ca) THEME: The theme of the symposium is reliability of distributed and parallel systems, including distributed applications, distributed operating systems, and distributed databases. STATE-OF-THE ART TALKS: This year's program will feature a series of state-of-the-art survey presentations starting on Wednesday, Oct 6th. TOOLS SESSION: Demonstration of state-of-the-art software tools for analyzing the performance and reliability of distributed systems has also been planned for Wednesday October 6th. A WORKSHOP on ADVANCES IN PARALLEL AND DISTRIBUTED SYSTEMS will also be held on Wednesday Oct 6th. It will serve as a forum for disseminating research and experience in the emerging areas of parallel databases, mobile computing systems, large-scale computing, multimedia applications, and reliability/performance evaluation. The workshop will bring together leading researchers and developers in these areas and will strive toward setting future research directions. Please contact Program Chair Bharat Bhargava (bb@cs.purdue.edu) or Program Vice-Chair, Abdelsalam (Sumi) Helal, (helal@rainbow.uta.EDU) for further details. STATE-OF-THE-ART TALKS Wednesday, October 6 8:00- 8:30am Registration 8:30-10:30am Replication/Consensus Protocols, Geneva Belford, University of Illinois, Urbana-Champaigne Configurable Distributed Database Systems: Living with Failures and Surviving Catastrophes, Bharat Bhargava, Purdue University, and Sumi Helal, University of Texas, Arlington 10:30-11:00am Break 11:00am-12:00noon Network Management Protocols for Fault Handling in Telecommunications Networks, by Malathi Veeraraghavan, AT&T Bell Laboratories 12:00noon- 1:30pm Lunch 1:30- 3:30pm Abstractions for Constructing Dependable Distributed Systems, Rick Schlichting, University of Arizona Self-Stabilizing Distributed Systems, Farokh Bastani, University of Houston 3:30- 4:00pm Break 4:00- 6:00pm Distributed System-Level Diagnosis, Ron Bianchini, Carnegie Mellon University Building Real-time Systems that are Predictable yet Flexible, Krithi Ramamritham, University of Massachusetts, Amherst 6:30pm RECEPTION TECHNICAL SESSIONS: Thursday, October 7 8:00- 9:00am Registration 9:00-10:30am Opening Session / State-of-the-Art Presentation Real-Time Reliable Distributed Systems, Doug Jensen, Digital Equipment Corporation 10:30-11:00am Break 11:00am-12:00noon Session 1: Prototype Systems; Chair: Gary Craig Group Membership Protocols: Specification, Design, and Implementation, F. Jahanian, R. Rajkumar, S. Farkhouri APRICOTS: A Prototype Implementation of a ConTract-System Managing of the Control-Flow and the Communication-System, F. Schwenkreis 12:00noon-1:30pm Lunch 1:30- 3:00pm Session 2: Mathematical Techniques; Chair: Bill Sanders An Algorithm for Combinatorial Performance and Availability Analysis M. Veeraraghavan, K. Trivedi A Compositional Proof Theory for Fault Tolerant Real-Time Systems H. Schepers, R. Gerth Bayesian Analysis for Fault Location in Homogeneous Distributed Systems Y. Chang, L. Lander, H.-S. Lu, M. Wells 3:00- 3:30pm Break 3:30- 5:00pm Session 3: Panel; Moderator: Bharat Bhargava, Purdue University 6:30pm BANQUET Friday, October 8 8:30- 9:30am State-of-the-Art Presentation Reliability Assessment Techniques and Tools, Kishor Trivedi, Duke University 9:30-10:00am Break 10:00am-12:00noon Session 4: Checkpointing; Chair: Rick Schlichting Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory, M. Singhal, G. Richard II Rollback Based on Vector Time, S. Peterson, P. Kearns Lazy Checkpoint Coordination for Bounding Rollback Propagation, Y.-M. Wang, W. Fuchs Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs, D. Johnson 12:00noon- 1:30pm Lunch 1:30- 3:00pm Session 5: Agreement Protocols; Chair: Ron Bianchini An O(1) Quorum Consensus Protocol Tailored for Client-Server Architecture, K. Soufi, G. Belford An Approach to Constructing Modular Fault-Tolerant Protocols, M. Hiltunen, R. Schlichting Using Atomic Broadcast to Implement A Posteriori Agreement for Clock Synchronization, L. Rodrigues, P. Verissimo, A. Casimiro 3:00- 3:30pm Break 3:30- 5:00pm Session 6: Security; Chair: Walt Heimerdinger A Secure Two-Phase Locking Protocol for Distributed Database Systems, S. Son, R. David Some Remarks on Protecting Weak Keys and Poorly Chosen Secrets from Guessing Attacks, G. Tsudik, E. Van Herreweghen Constructing Secure Distributed Systems Using Components, Q. Shi PROGRAM COMMITTEE: Anish Arora Joanne Bechta Dugan Bharat Bhargava Ron Bianchini Ken Birman Gary Craig Eduardo Fernandez Bob Geist Walt Heimerdinger Sushil Jajodia K.-J. Lin Mike Liu Edgar Nett David Powell Calton Pu Bill Sanders Rick Schlichting Santosh Shrivastava Basil Smith Sang H. Son Anand Tripathi TOOLS FAIR CHAIR: Kishor Trivedi, Duke University FINANCE CHAIR: Ing-Ray Chen, University of Mississippi LOCAL ARRANGEMENTS CHAIR: Malathi Veeraraghavan, AT&T Bell Laboratories PUBLICITY CHAIR: Krithi Ramamritham, University of Massachusetts, Amherst REGISTRATION CHAIR: Yennun Huang, AT&T Bell Laboratories AWARDS CHAIR: Leszek Lilien, AT&T Bell Laboratories TC LIAISON: Kane Kim, University of California, Irvine CONFERENCE/WORKSHOP REGISTRATION FORM: ______________________________________________________________________ |Early registration for either the conference or the workshop must be | |received by September 10, 1993. Payment must be remitted by check or| |money order in U.S. currency only, payable to SRDS-12. | | | |Please circle applicable charges. | | | | | | Workshop Symposium Workshop+Symposium | |Advance Registration (until 9/10) | | Members $150 $330 $380 | | Non-Members $190 $410 $460 | | Students $75 $150 $175 | |Late Registration (after 9/10) | | Members $180 $390 $440 | | Nonmembers $225 $490 $540 | | Students $75 $150 $175 | | | | | |Total Enclosed $__________ | | | |Please return registration form and fee to: | | Yennun Huang, Attn: SRDS-12, Rm. 3D-539, AT&T Bell Labs. | | 600 Mountain Avenue, Murray Hill, NJ 07974 | | TEL: (908) 582-5406, FAX: (908) 582-3063 | | | |PLEASE TYPE OR PRINT | |Name _________________________________ | |Company __________________________________ | |Address____________________________________________________________ | |City/State/Zip/Country ____________________________________________ | |IEEE/CS Membership Number (required for member rate) ______________ | | | |Conference registration fees include conference attendance (technical| |sessions, state-of-the-art talks, and tools fair), refreshments at | |breaks, reception, banquet, and one copy of the proceedings. | |Workshop registration fees include workshop attendance, refreshments | |at breaks, and one copy of the workshop proceedings. | |Note: Student registrations are not available for authors. | |_____________________________________________________________________| HOTEL RESERVATION INFORMATION Nassau Inn, 10 Palmer Square, Princeton, NJ 08542 Tel: (609)-921-7500 FAX: (609)921-9385 Rates: $90 for single/double occupancy, one bed $135.00 for double occupancy/two beds The cutoff dates for reservations at these special rates is Tuesday, September 14, 1993 at 5:00 pm EST. Please call or fax your reservation requests and mention IEEE COMPUTER SOCIETY SPECIAL RATES FOR SRDS. For further information about local arrangements, please contact Malathi Veeraraghavan, at AT&T Bell Laboratories (mv@boole.att.com). ------------------------------------------------------------------------------ Message 6; Postmarked Wed Jul 21 12:46:12 1993 From: ken@minster.york.ac.uk Subject: Technical Report available via FTP A report entitled "Scheduling Hard Real-Time Multi-Media Disk Traffic", by K. Tindell and A. 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: YCS204.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 report we show how existing real-time scheduling theory, developed to analyse the scheduling of processors and network communications, can also be applied to the problem of guaranteeing the performance of multi-media information streams read from a disk drive. We develop simple analysis that is independent of disk layout information; a small example is analysed, using a simple tool embodying the analysis. The analysis is then extended to take account of disk layout information; the example is then re-analysed using this less pessimistic model. One of the advantages of the proposed approach is that it gives a precise means of determining the impact of buffer size on disk utilisation." 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 7; Postmarked Wed Jul 21 14:01:07 1993 From: krithi@nirvan.cs.umass.edu (krithi) Subject: Program: 3rd RESPONSIVE COMPUTER SYSTEMS WORKSHOP THIRD INTERNATIONAL WORKSHOP ON RESPONSIVE COMPUTER SYSTEMS September 29 - October 1, 1993 The Mountain Club on Loon Kancamagus Highway Lincoln, New Hampshire, USA Sponsored by: U.S. Office of Naval Research In cooperation with: IEEE CS-TC on Fault-Tolerant Computing IEEE CS-TC on Real-Time Systems ORGANIZERS General Chairman Miroslaw Malek ECE Department The University of Texas Austin, TX 78712-1084 Tel: +1-512-471-5704 Fax: +1-512-471-0954 malek@emx.cc.utexas.edu Program Chairman Donald Fussell CS Department Taylor Hall 2.124 The University of Texas Austin, TX 78712-1188 Tel: +1-512-471-9719 Fax: +1-512-471-8885 fussell@cs.utexas.edu Local Arrangements Robert Swarz The MITRE Corporation 202 Burlington Road Bedford, MA 01730-1420 Tel: +1-617-271-2847 Fax: +1-508-358-1124 rswarz@mitre.org PROGRAM COMMITTEE T. Anderson (UK) F. Cristian (USA) Y. Kakuda (Japan) H. Kopetz (Austria) G. Le Lann (France) A. Mok (USA) K. Palem (USA) F. Panzieri (Italy) R. Popescu-Zeletin (Ger.) D. Rosenkrantz (USA) J. Stankovic (USA) H. Tokuda (Japan/USA) PRELIMINARY PROGRAM OBJECTIVES Until recently, the disciplines of parallel/distributed computing, fault-tolerant computing, and real-time systems have, to a large extent, evolved separately. As computer users demand more timeliness and dependability, there is an urgent need to integrate the theory and practice of real-time systems, fault-tolerant computing, and parallel/distributed computing. We call such integrated systems ``responsive'' since they have to respond to internal guiding programs or external inputs in a timely, dependable, and predictable manner. Responsive systems raise a significant number of fundamental issues of theoretical and practical relevance. The focus of this workshop is on concepts, methods, algorithms, and tools for such systems. Active researchers in the areas of distributed and parallel systems, fault-tolerant computing, and real-time systems are invited to participate. To ensure a vigorous exchange of ideas, the workshop attendance will be limited. Preprints of full papers will be distributed at the workshop. LOCATION Loon Mountain is a 3000-foot peak in the White Mountain National Forest. Local attractions include horseback riding, biking, hiking, fishing, gondola rides, nature walks, golf, tennis, and swimming. This area of New England is famous for breathtaking beauty, particularly during the peak foliage season of late September and early October. During this period, the tree-covered slopes of the White Mountains are ablaze in the bright red and gold colors that typify autumn in New England. TRANSPORTATION Loon Mountain is on Route 112 in Lincoln, New Hampshire, 3 miles east of Interstate Route 93, Exit 32. From Boston's Logan International Airport, follow I-93 north for approximately 2 hours; from the Manchester NH airport, it's about 1-1/4 hours. Daily bus transportation from the Boston airport to Lincoln is available -- for information call Concord Trailways at 800-639-3317 or (+1) 603-228-3300. For those planning car rentals, reserve early. Cars are very scarce in Boston and Manchester during the foliage season, when tourists converge on New England just to drive through the gorgeous countryside. SCHEDULE TUESDAY -- SEPTEMBER 28, 1993 5:00-7:00 P.M. Registration 7:00-10:00 Reception WEDNESDAY -- SEPTEMBER 29, 1993 8:00-9:00 a.m. Breakfast and Registration 9:00-9:15 Opening Remarks Miroslaw Malek, General Chairman Donald Fussell, Program Chairman 9:15-10:15 Keynote Address -- Michael Rabin, Harvard University, USA A New Paradigm for Fault-Tolerant and Asynchronous Computing 10:15-10:30 Break 10:30-12:00 Session 1 -- Distributed Systems A Lower Bound for the k-Set Agreement Problem, S. Chaudhuri, M. Herlihy, N. Lynch and M. Tuttle - MIT, USA Serializability Among Autonomous Transaction Managers, Nandit Soparkar, Henry F. Korth and Abraham Silberschatz - Bell Labs and MITL, USA Computational Aspects of QoS in an Object-Based, Distributed Systems Architecture, Jean-Bernard Stefani - CNET, France 12:00-1:30 Lunch 1:30-3:00 Session 2 -- Formal Models Self-Stabilizing Real-Time Decision Systems, Marco Schneider - University of Texas, USA A Coloured Petri-Net Model with Specification Timed Mechanisms, B. Zouari - C.N.R.S., France Correct and Robust Decision Systems for High Complexity Critical Control Systems, J.C. Browne, E.A. Emerson, M. Gouda, D. Miranker, A. Mok, S. Chodrow, R.-H. Wang, D. Tsou and L. Obermeyer - University of Texas, USA 3:00-3:30 Break 3:30-5:00 Session 3 -- Multiprocessor Systems Design and Performance Evaluation of a Fault-Tolerant, Hard-Real-Time Parallel Processor, Bob Clasen, Rick Harper and Ed Czeck - Draper Laboratory and Northeastern University, USA Responsiveness Analysis of Fault-Tolerant Processor Arrays, Chang Chen, Yoshiaki Kakuda, Tohru Kikuno and An Feng - Osaka U., Japan, and Xerox, USA Management of Testing Policies for Fault Location of Failures Dependent upon Operation Time in Multiprocessor Systems, Yu Lo Cyrus Chang and Leslie Lander - SUNY Binghamton, USA 6:00-10:00 Dinner THURSDAY, SEPTEMBER 30, 1993 8:00-9:00 Breakfast 9:00-10:30 Session 4 -- Scheduling A Global Scheduling with Alternative Chance for Distributed Hard Real-Time System, Jin-Cherng Lin and Chen-Chou Lin - Tatung, R.O.C. Fixed Priority Scheduling of Periodic Tasks in Dynamic Hard Real-Time Systems, D.-W. Park, A. Kanevsky and S. Natarajan - Texas A&M, USA RED: Robust Earliest Deadline Scheduling, G. Buttazzo and J. Stankovic - Scuola Superiore S. Anna, Italy 10:30-11:00 Break 11:00-12:30 Session 5 -- Fault Tolerance Maximizing Mean Time to Failure in k-Resilient Systems with Repair, J. Fridman and S. Rangarajan - Northeastern University, USA Adaptable Fault Tolerance for Real-Time Systems, A. Bondavali, J. Stankovic and L. Strigini - IEI-CNR, Italy Software Fault-Tolerance for Control Applications, M. Bodson, J.P. Lehoczky, R. Rajkumar, L. Sha, M. Smith and J. Stephen - CMU, USA 12:30-2:00 Lunch 2:00-3:00 Session 6 -- Real-Time Systems Software-based Cache Partitioning for Real-Time Applications, A. Wolfe - Princeton University, USA A Family of Speculative Concurrency Control Algorithms for Real-Time Databases, A. Bestavros and S. Braoudakis - Boston University, USA 3:00-3:30 Break 3:30-5:00 Panel Discussion 6:00-10:00 Banquet FRIDAY, OCTOBER 1, 1993 8:00-9:00 a.m. Breakfast 9:00-11:00 Session 7 -- Communications Comparing How Well Asynchronous Atomic Broadcast Protocols Perform, Flaviu Cristian, Richard de Beijer and Shivakant Mishra - UCSD, USA Verifying Performance Bounds of Communication Protocols, I. Schieferdecker and A. Wolisz - GMD FOKUS, Germany Hard Real-Time Reliable Multicast in the DEDOS System, Dick Alstein and Peter van der Stok - Eindhoven, The Netherlands Deadlock Detection for CSP-type Communications, Peter Ladkin and Barbara Simons - IBM, USA 11:00-11:30 Open Forum 11:30-1:00 Lunch ------------------------------------------------------------------------------ RCS 3 REGISTRATION Send Registration to: Robert Swarz The MITRE Corporation 202 Burlington Road Bedford, MA 01730-1420 USA Fax: (+1) 508-358-1124 Tel: (+1) 617-271-2847 Email: rswarz@mitre.org Return this form by 1 September along with a $200 registration fee ($250 for late registration), payable in U.S. funds. All meals are included in the registration fee. Special Dietary Requirements:________________________________________________ Hotel reservations must be made by 1 September by corresponding directly with The Mountain Club on Loon, Kancamagus Highway, Lincoln, NH 03251, Tel. 800-229-7829 or (+1) 603-745-8111, or by fax (+1) 603-745-2317. Mention the ``Responsive Computer Systems Workshop.'' A $50 deposit or credit card number will be required to hold your room. ``Club'' rooms are $70 and include a double bed. ``Studio'' rooms are $90 and include a full kitchen as well as one double and two single beds. A connected club and studio room (``suite'') is available for $135. ******************************************************************************* ******************************************************************************* Postmarked Wed Jul 21 14:01:07 1993 From: krithi@nirvan.cs.umass.edu (krithi) Subject: CFP: 24th Intl Symposium on Fault-Tolerant Computing CALL FOR PAPERS FTCS-24 The Twenty-Fourth Annual International Symposium on Fault-Tolerant Computing Austin, Texas, USA June 15-17, 1994 Sponsored by IEEE Computer Society and The University of Texas at Austin The Fault-Tolerant Computing Symposium is the world's premier forum for the presentation and discussion of state-of-the-art developments in computing systems. The symposium scope addresses system, software and hardware issues, including: architectures, design, implementation, specification, modeling, test, diagnosis theory and practice, evaluation and validation of dependable and fault-tolerant computing systems. In addition to regular paper presentations and panel discussions, the symposium offers exhibitions and demonstrations of software tools and highly dependable systems. Major topics include, but are not limited to: Fault-Tolerant Architectures, Fault Tolerance in On-line Transaction Processing Systems, Distributed Systems, Real-Time Systems, Responsive Systems, Safety-Critical Systems, Computer Security, Software Fault Tolerance, Testing and Verification, Formal Methods, Fault Diagnosis, Dependability Modeling and Prediction, Defect Tolerance, Fault Injection, Case Studies, Application-Based Fault Tolerance, Concurrent Error Detection, VLSI Design, and Computer Networks. INFORMATION FOR AUTHORS All submitted material (written in English) will be refereed and should be typed in 1-1/2 spaced, 12-point font. All accepted material will appear in the proceedings. PAPERS should not exceed 20 pages, including figures and text. PANEL proposals should include the topic(s), a maximum two-page description of the panel objectives, names and addresses of the probable panelists. The proposed panel chair should include a one-page biographical sketch. For SOFTWARE DEMONSTRATIONS, the submission should be a 5 - 10 page description of the software, its context and objective, and of the planned demonstration. Sun workstations and Macintoshes connected to a video projector will be available. Please indicate on a separate sheet the requirements for the demonstration. These manuscripts must be marked "Software Demonstration." SUBMISSIONS Six copies of a one-page abstract and a list of five keywords should be submitted to Program Cochair Anton T. Dahbura before November 1, 1993. Mark the envelope "FTCS-24 submission." Abstracts will be used for referee assignments. Please submit your abstracts on time to get the best possible reviewing coverage. Six copies of the papers, panel proposals, and software demonstrations should be submitted to Program Cochair Anton T. Dahbura by December 1, 1993, and should be accompanied by 10 copies of a title page which includes: the title, author name(s), affiliations, mailing address, phone number, fax number and e-mail, a maximum 150-word abstract, five keywords, an approximate word count, and a declaration that the material has been cleared through author affiliations. For multi-authored submissions, the principal contact should be indicated. Mark the envelope "FTCS-24 submission." Submissions arriving late or not conforming to length guidelines, or papers published or submitted elsewhere will be returned without review. Notification of acceptance or rejection of all submissions will be made by March 15, 1994. EXHIBITS Exhibitors from both industrial and academic communities are encouraged. This will be an opportunity to present advanced products to an informed and sophisticated audience. Proposals must be submitted to Exhibits Chair M. Ray Mercer by March 1, 1994, on the official application form available from the Exhibits Chair. ************************************************************************ General Chair Miroslaw Malek The University of Texas at Austin Dept. Electrical & Computer Engr. Austin, TX 78712-1084 USA ftcs@pine.ece.utexas.edu with cc to malek@emx.cc.utexas.edu Tel. + (1) 512 471 5704 Fax + (1) 512 471 0954 Vice Chair Donald S. Fussell The University of Texas at Austin Dept. of Computer Sciences Austin, TX 78712-1188 USA fussell@cs.utexas.edu Tel. + (1) 512 471 9719 Fax + (1) 512 471 8885 Program Cochairs Anton T. Dahbura Motorola Inc. Cambridge Research Center One Kendall Square, Building 200 Cambridge, MA 02139 USA atd@mcrc.mot.com Tel. + (1) 617 621 0928 Fax + (1) 617 621 0932 Takashi Nanya Tokyo Institute of Technology Department of Electrical Engineering 2-12-1, O-okayama, Meguro-ku Tokyo 152, JAPAN nanya@cs.titech.ac.jp Tel. + (81) 3 3726 1111, Ext. 3041 Fax + (81) 3 3729 1399 Conference Coordinator Billene Mercer Conference Management Services 3024 Thousand Oaks Drive Austin, TX 78746 USA askcms@pine.ece.utexas.edu Tel. + (1) 512 327 4012 Fax + (1) 512 327 8132 Local Arrangements Chair Earl E. Swartzlander, Jr. The University of Texas at Austin Dept. Electrical & Computer Engr. Austin, TX 78712-1084 USA e.swartzlander@compmail.com Tel. + (1) 512 471 5704 Fax + (1) 512 471 0954 Exhibits Chair M. Ray Mercer The University of Texas at Austin Dept. Electrical & Computer Engr. Austin, TX 78712-1084 USA r.mercer@compmail.com Tel. + (1) 512 471 1804 Fax + (1) 512 471 5445 Publication Chair Douglas Blough University of California, Irvine Dept. of Electrical and Computer Engineering Irvine, CA 92717 USA blough@balboa.eng.uci.edu Tel. + (1)714 856 5017 Fax + (1) 714 856 4152 Publicity Chair Stephen A. Szygenda The University of Texas at Austin Dept. Electrical & Computer Engr. Austin, TX 78712-1084 USA Tel. + (1) 512 471 1653 Fax + (1) 512 471 5907 Ex Officio Jacob A. Abraham, FTC-TC Chair The University of Texas at Austin Computer Engineering Research Center 2201 Donley Drive, Suite 395 Austin, TX 78758 USA Tel. + (1) 512 471 8000 Fax + (1) 512 471 8967 Program Committee J. Arlat (F) R. Bianchini (USA) B. Bose (USA) S. Budkowski (F) R. Chillarege (USA) K. Echtle (D) K. Fuchs (USA) H. Fujiwara (J) K. Furuya (J) J. Goldberg (USA) A. Goyal (USA) A. Hlawiczka (PL) A. Ivanov (CAN) N. Jha (USA) T. Kikuno (J) V. Kumar (USA) J. Lala (USA) J. Meyer (USA) M. Nicolaidis (F) D. Powell (F) D. K. Pradhan (USA) B. Randell (UK) S. Rangarajan (USA) S. M. Reddy (USA) R. Redinbo (USA) A. Reibman (USA) D. Rennels (USA) N. Saxena (USA) R. Schlichting (USA) L. Simoncini (I) A. Somani (USA) R. Swarz (USA) D. Taylor (CAN) C. Walter (USA) W. Zwaenepoel (USA) ****************************************************************************** ------------------------------------------------------------------------------ Message 8; Postmarked Fri Jul 30 08:53:34 1993 Sender: best@cs.bu.edu (Azer Bestavros) Subject: CFP: CAV 94 From: David Dill PRELIMINARY 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 somewhat flexible. 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 contribution 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 R. P. Kurshan, AT&T Bell Laboratories A. Pnueli, Weizmannn Institute, Israel J. Sifakis, LGI-IMAG, France Additional members of the program committee: R. Alur, AT&T Bell Labs, USA R. Bryant, Carnegie Mellon U., USA R. Brayton, U. of California, Berkeley, 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-Sylvania 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 ------------------------------------------------------------------------------ Message 9; Postmarked Fri Jul 9 05:56:05 1993 Subject: CFP: RTS'94 From: stankovi@sssup2.sssup.it -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= David Powell David.Powell@laas.fr LAAS-CNRS, 7 Avenue du Colonel Roche Tel: +33/61 33 62 87 31077 Toulouse, France Fax: +33/61 33 64 11 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= RRR TTTTT SSS // 999 4 R R T S S 9 9 44 R R T S 9 9 4 4 RRR T S 9999 4 4 RR T S 9 444444 R R T S S 9 9 4 R R T SSS 999 4 CALL FOR PAPERS* THE REAL-TIME SYSTEMS CONFERENCE/EXHIBITION JANUARY 11-14, 1994 PORTE MAILLOT - PARIS ( * La version francaise de l'appel aux communications est ) ( disponible sous format papier aupres de NEUF ASSOCIES. ) ORGANISATION BIRP PH. GRANGE CONSEIL NEUF ASSOCIES 25 rue d'Astorg 12 av. des Pres 75008 PARIS 78180 MONTIGNY LE BX Tel: 33(1)44 51 55 00 Tel: 33(1)45 20 44 72 Tel: 33(1)30 64 92 20 Fax: 33(1)47 42 75 68 Fax: 33(1)45 20 44 82 Fax: 33(1)30 43 70 53 REAL-TIME SYSTEMS 94: A UNIQUE TRADE SHOW "Only real-time, but all of real-time", could be the description of RTS'94, a complete and original event. An exhibition, a forum for debates and product presentations, a platform for application presentations, seminars, scientific conferences, theme days (on quality, on simulation...) will make RTS'94, in the light of the first edition's success, the major event of the beginning of 94. THE EXHIBITION With over 2000 m2 of exhibition space, the exhibition will present a complete panorama of vendors: hardware manufacturers and distributors, software editors, systems houses and integrators. THE RTS'94 CONFERENCE A complete programme of scientific papers and in-depth technical seminars will complement the exhibition, providing high level technical information. The RTS '94 Scientific Committee Tom ANDERSON Newcastle University Albert BENVENISTE INRIA-Rennes Christophe BINOT Elf Philippe CHRETIENNE Institut Blaise Pascal/LITP Jean-Pierre COUDREUSE CNET Lannion Jean DELCOIGNE CEA/DTA-DEIN Gerard GUIHO GEC Alsthom Transport Guy JUANOLE LAAS-CNRS Claude KAISER CNAM Andras KEMENY Direction de la Recherche - Renault Yvon KERMARREC ENST de Bretagne Bertrand LABORDE CNES Gerard LE LANN INRIA Pierre PARAYRE DGA/DEI Radu POPESCU-ZELETIN GMD-FOKUS/TU-Berlin David POWELL LAAS-CNRS Luca SIMONCINI University of Pisa/IEI del CNR Xuan TRUONG THANH Framatome Structure and Themes of the sessions The two days of RTS'94 conferences, held on January 13 and 14 1994, will be divided into eight half day sessions. Two sessions will run in parallel during each half day. Each session will deal with a specific theme. The format of each session will be divided into presentations followed by a round table discussion. In general, the first presentation will be a "state-of-the-art" communication, regrouping the different aspects of the session's theme. These communications will only be programmed if the level of competence of potential speakers permits it. The themes selected for the technical conferences, by the Scientific Committee, for this year are the following: - Real-time operating systems - Scheduling - Real-time systems networks - Test and validation techniques - Languages - Operating safety and fault tolerance - Embedded real-time systems applications - Software engineering The length of each presentation will be 30 mn for "classic" scientific contributions, or 45 min for "state-of-the-art" presentations. The official languages are French and English. A simultaneous translation service will be offered. SUBMISSION OF PAPERS We invite you to submit your paper proposals by sending detailed summaries in the following format: Length: 3 to 4 pages (French or English) Structure*: 1 - Outline of the problem (1/2 page minimum) 2 - Known results by the author on the subject (1/2 page minimum) 3 - Conclusion and/or contribution of the proposed solutions * except for "state-of-the-art" presentation papers Three copies of an extended abstract should to be submitted to "Neuf Associes", with a completed submission form (see below). Note: Persons interested in giving a seminar are invited to contact the organisers as soon as possible at: 33(1)30 64 92 20. DEADLINES Submissions will be accepted until July 30 1993. The proposals will be examined by the Scientific Committee and selected on the basis of their quality, originality and the adherence to the themes of the conference. Authors of accepted submissions will be notified by October 1st, 1993. The complete texts must be received by November 15 1993. ------------------------------------------------------------------------ SUBMISSION FORM RTS'94 CONFERENCE RETURN TO: Neuf Associes 12 avenue des Pres 78180 MONTIGNY LE BRETONNEUX - France Tel: 33 (1) 30 64 92 20 Fax: 33 (1) 30 43 70 53 Name of the main author:................................................ Title: ................................................................. Company or Organisation: ............................................... Department-Division: ................................................... Complete address:....................................................... ........................................................................ ........................................................................ Telephone: ......................... Fax: .............................. Names of co-authors Titles: Companies or organisations: ........................................................................ ........................................................................ ........................................................................ Presentation title (in both English and French if possible): ........................................................................ ........................................................................ ........................................................................ Category: (please check the category corresponding to your submission) o Real-time operating systems o Scheduling o Real-time systems networks o Languages o Test and validation techniques o Software engineering o Dependability and fault tolerance o Embedded real-time system applications ------------------------------------------------------------------------------ Message 10; Postmarked Fri Jul 30 13:56:40 1993 From: best@cs.bu.edu (Azer Bestavros) Subject: Technical reports available Two technical reports describing and evaluating Speculative Concurrency Control algorithms for time-constrained/responsive databases are now available via anonymous FTP from cs.bu.edu. They are: cs.bu.edu:/bestavros/realtime/papers/TR-92-017-scc-family.ps.Z cs.bu.edu:/TR-93-001-scc-2s-perf.ps.Z Above files are in compressed PostScript. --Azer ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------