FTCS-25 SILVER JUBILEE CONFERENCE PROGRAM ******************************************************************* THE FOLLOWING TEXT CONTAINS THE PROGRAM OF THE 25th INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING TO BE HELD FROM JUNE 27-30, 1995 IN PASADENA CALIFORNIA. IT ALSO CONTAINS A REGISTRATION FORM ALONG WITH HOTEL AND TRANSPORTATION INFORMATION. A MORE COMPLETE VERSION CAN BE OBTAINED FROM THE ANONYMOUS FTP SITE ftp.cs.ucla.edu: /pub/ftcs25. A POSTSCRIPT FILE (PROGRAM.PS) OR THIS TEXT FILE (PROGRAM.TXT) IS AVAILABLE THERE. YOU CAN REGISTER VIA REGULAR MAIL, FAX OR EMAIL FOR THIS CONFERENCE, BUT DO SO BEFORE BEFORE JUNE 2, 1995 TO AVOID LATE REGISTRATION FEES. IF YOU NEED ADDITIONAL INFORMATION CONTACT DAVE RENNELS VIA EMAIL AT rennels@cs.ucla.edu OR AL AVIZIENIS AT aviz.cs.ucla.edu. ******************************************************************* INTRODUCTION The 25th IEEE International Symposium on Fault-Tolerant Computing returns to Pasadena where the first Symposium was held in 1971. FTCS is the major international forum in computing system dependability. During the twenty four annual Symposia held since 1971, 1328 papers were presented and published in 24 volumes of Proceedings that have formed the core of the discipline of fault tolerance. Special First Day Program - In addition to a full program of submitted papers, FTCS-25 will be marked by a special first day program. Invited speakers will review the key accomplishments to date and look ahead to the challenges of the next quarter century. Special Sessions - Besides the first day program, regular paper presentations, and panel discussions, the Symposium also offers special sessions on i) practical experience in fault-tolerant computing such as design and deployment of a system, failure and recovery field data, and correlation of field data with model predictions, and ii) demonstrations of software tools and systems. Topics - Major topics include but are not limited to: Fault- Tolerant Architectures, Fault-Tolerance in On-Line Transaction Processing Systems, Distributed Systems and Real-Time Systems, Safety-Critical Systems, Software Fault Tolerance, Testing and Verification, Dependability Modeling and Prediction, Defect Tolerance, and Concurrent Error Detection in VLSI Circuits. Four-Volume Proceedings - In addition to the regular Digest of Papers, three additional volumes are being compiled covering: the papers of the special first-day session, a history of the fault- tolerant computing field, and a selection of influential papers over the last 25 years. Exhibits - Two kinds are planned for FTCS25. A special room of historical exhibits will supplement the customary exhibits from industrial and academic organizations. ******************************************************************* ******************************************************************* SPECIAL FIRST DAY PROGRAM, Tuesday, June 27, 1995 ******************************************************************* At 25 Years: Accomplishments and Challenges(Invited Presentations) ******************************************************************* 9:00 Welcome ******************************************************************* 9:30-10:30 Systems and Software - I: Chair: W. C. Carter, USA a) "Building Dependable Systems: Can We Keep Up with Complexity?" A. Avizienis, UCLA, Los Angeles, CA, USA,and Vytautas Magnus University, Kaunas, Lithuania b) "Niche Successes to Ubiquitous Invisibility: Fault-Tolerant Computing, Past, Present, and Future", D. Siewiorek, Carnegie-Mellon University, Pittsburgh, PA, USA ******************************************************************* 10:30-11:00 Coffee Break ******************************************************************* 11:00-12:00 Systems and Software- II: Chair: J. Goldberg, USA a) "Software Dependability: A Personal View," B. Randell, University of Newcastle Upon Tyne, U.K. b) "Dependable Computing: Concepts, Limits, Challenges," J. C. Laprie, LAAS-CNRS, Toulouse, France **************************************************************** 12:00 - 12:30 Discussion and Questions - J. Goldberg, Chair, A. Avizienis, J. C. Laprie, B. Randell, D. Siewiorek **************************************************************** 12:30 -13:30 Lunch **************************************************************** 13:30-15:00 Dependability of Key Applications: Chair: Y. Tohma, Japan a) "Dependability in Telecommunication Systems", M. Morganti, Central Research Labs, ITALTEL, Settimo Milanese, Italy b) "Automotive Electronics: Present State and Future Prospects", H. Kopetz, Technical University of Vienna, Austria c) "Dependable Medical Information Systems", H. Ihara, Hitachi Medical Corporation, Tokyo, Japan **************************************************************** 15:00-15:30 Discussion and Questions - Y. Tohma, Chair, H. Ihara, H. Kopetz, M. Morganti **************************************************************** 15:30 - 16:00 Coffee Break **************************************************************** 16:00- 17:30 Assessment of Dependability: Chair: E. J. McCluskey, USA a) "Probabilistic Modeling," J. F. Meyer, University of Michigan, Ann Arbor, MI, USA b) "Challenges in Fault Detection," J. A. Abraham, University of Texas, Austin, TX, USA c) "Experimental Assessment of Computer Dependability", R. K. Iyer, University of Illinois, Urbana-Champaign, IL, USA *************************************************************** 17:30 - 18:00 Discussion and Questions - E. J. McCluskey, Chair, J. A. Abraham, R. K. Iyer, J. F. Meyer ******************************************************************* ******************************************************************* FTCS-25 REGULAR PROGRAM, Wednesday, June 28, 1995 ******************************************************************* 8:30 - 10:00 -- Three Parallel Sessions (A1,B1,C1): A1- System Architecture: Chair: A. Costes, France a) "A Flexible ServerNet-based Fault-Tolerant Architecture" W.E. Baker, R.W. Horst, D.P. Sonnier, W.J. Watson, Tandem Computers, Cupertino, CA, USA b) "Efficient Failure Recovery in Multi-disk Multimedia Servers", H.M. Vin, P. Shenoy, S. Rao, University of Texas at Austin,TX, USA c) "Checkpointing and Its Application", Y-M. Wang, Y. Huang, K-P. Vo, P-U. Chung, C. Kintala, AT&T Bell Laboratories, Murray Hill, NJ, USA B1- Synthesis: Chair: G. Metze, USA a) "Synthesis for Testability by Sequential Redundancy Removal Using Retiming,"H. Yotsuyanagi, S. Kajihara, K. Kinoshita, Osaka University, Osaka, Japan b) "Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan," N. Jiang, K. K. Saluja, University of Wisconsin at Madison, WI, USA c) "Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable Microarchitectures," D.M. Blough, F.J. Kurdahi, S.Y. Ohm, University of California at Irvine, CA, USA C1- Software Demonstrations 1: Systems, Chair: T. B. Smith, USA a) "The Totem System," L. Moser, P.M. Melliar-Smith, D.A. Agarwal, R.K. Budhia, C.A. Lingley-Papadopoulis, University of California at Santa Barbara, CA, USA b) "Fault-Tolerance for Off-the-Shelf Applications and Hardware," M. Russinovich, Z. Segall, University of Oregon at Eugene, OR, USA **************************************************************** 10:00 - 10:00 Coffee Break **************************************************************** 10:30 - 10:30 (Wed.): -- Three Parallel Sessions ((A2, B2, C2) A2- Interactive Consistency Chair: F. Cristian, USA a) "Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor," S. Poledna, Bosch AG,Vienna, Austria b) "Optimal Resiliency Against Mobile Faults," H. Buhrman, J.A. Garay, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, J.H. Hoepman, CWI, Amsterdam, The Netherlands c) "Interactive Consistency Algorithms Based on Voting and Error- Correcting Codes, "T. Krol, University of Twente, Enschede, The Netherlands B2- Validation and Test: Chair: H. Fujiwara, Japan a) "Systematic Validation of Pipeline Interlock for Superscalar Microarchitectures," J. P. Shen, T. A. Diep, Carnegie Mellon University, Pittsburgh, PA, USA b) "LOCSTEP: A Logic Simulation Based Test Generation Procedure," I. Pomeranz, S.M. Reddy, University of Iowa, Iowa City, IO, USA c) "OBDD-Based Optimization of Input Probabilities for Weighted Random Pattern Generation," R. Krieger, B. Becker, C. Okmen, Wolfgang Goethe University, Frankfurt am Main, Germany C2- Software Demonstrations 2: Tools, Chair: G. Saucier, France a) "Dependability Modelling in a Prototype Development Framework," J.M. Bass, A.R. Browne, P.R. Croll, P.J.Fleming, University of Sheffield, UK, S. Metge, LAAS - CNRS, Toulouse, France b) "ARMOR: Analyzer of Reducing Module Operational Risk,"M. R. Lyu, J. S. Yu, E. Keramidas, S. Dalal, BELLCORE, Morristown, NJ, USA **************************************************************** 12:00 - 13:30 Lunch **************************************************************** 13:30 - 15:30 (Wed.) -- Two Parallel Sessions (A3,B3): A3- Distributed Algorithms Chair: L. Simoncini, Italy a) "Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes," R. Buskens, AT&T Bell Laboratories, Holmdel, NJ, USA, R. Bianchini, Jr., Carnegie Mellon University, Pittsburgh, PA, USA b) "Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages," A. Olson, K. G. Shin, University of Michigan, Ann Arbor, MI, USA, B. J. Jambor, Martin Marietta, Denver, CO, USA c) "A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks," S. Rangarajan, K. Ratnam, Northeastern University, Boston, MA., USA, A. T. Dahbura, Motorola, Cambridge, MA, USA d) "Process Allocation for Load Distribution in Fault-Tolerant Multicomputers," J. Kim, H. Lee, S. Lee, Pohang University of Science & Technology, Pohang, Korea B3-Panel 1: Dependability in Commercial Systems, Chair: R K Iyer,USA; D.E. Lenoski, Silicon Graphics Computer Systems, Mountain View, CA, USA; J. Hingston, Apple Computer, Inc., Cupertino, CA, USA; A. Pruscino, Sun Microsystems, Inc., Menlo Park, CA, USA; J. Shaffer, IBM, Austin, TX, USA; E. Schotte, Digital Equipment Corporation, Nashua, NH, USA **************************************************************** 16:00 Tour of the Huntington Library and Botanical Gardens, and a Banquet at the Ritz-Carlton Huntington Hotel. Banquet Speaker: Mr. James G. Treybig, President and C.E.O., Tandem Computers, Inc. *************************************************************** Thursday, June 29 *************************************************************** 8:30 - 10:00 (Thu.) --Three Parallel Sessions (A4,B4,C4): A4- Fault Injection Chair: D. Powell, France a) "A Model for the Analysis of the Fault Injection Process," A. Steininger, H. Schweinzer, Technical University of Vienna, Austria b) "Combining Software Implemented and Simulation-Based Fault Injection into a Single Fault-Injection Method", J. Guethoff, V. Sieh, University of Erlangen-Nurnberg, Erlangen, Germany c) "A Switch-Level Algorithm for Simulation of Transients in Combinational Logic," P. Dahlgren, P. Liden, Chalmers University of Technology, Goteborg, Sweden B4- Self-Checking Chair: B. Courtois, France a) "Implicit Signature Checking," J. Ohlsson, M. Rimen, Chalmers University of Technology, Goteborg, Sweden b) "Towards Totally Self-Checking Delay-Insensitive Systems," S. J. Piestrak, Technical University of Wroclaw, Poland, T. Nanya, Tokyo Institute of Technology, Tokyo, Japan c) "Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers," Y. Zhou, M. W.T. Wong, Hong Kong Polytechnic, Hong Kong, Y.Min, Institute of Computing Technology, Beijing, China C4- Software Demonstrations 1: Systems, Chair: J. Hlavicka, Czech R. a) "The Totem System," L. Moser, P.M. Melliar-Smith, D.A. Agarwal, R.K. Budhia, C.A. Lingley-Papadopoulis, University of California at Santa Barbara, CA, USA b) "Fault-Tolerance for Off-the-Shelf Applications and Hardware," M. Russinovich, Z. Segall, University of Oregon at Eugene, OR, USA *************************************************************** 10:00 - 10:30 Coffee Break *************************************************************** 10:30 - 12:00 (Thu.) -- Three Parallel Sessions (A5,B5,C5): A5- Modeling and Evaluation Chair: A. Goyal, USA a) "Dependability Assessment Using Binary Decision Diagrams(BDDs),"S.A. Doyle, Duke University Durham, NC,USA, J.B. Dugan, University of Virginia, Charlottesville, VA, USA b) "Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components," M. Balakrishnan, K.S. Trivedi, Duke University, Durham, NC, USA c) "Availability and Performance Evaluation of Database Systems under Periodic Checkpoints," R. Vallejos Campos, Pontificia Universidade Catolica do Rio de Janeiro, Brazil, E. de Souza e Silva, Federal University of Rio de Janeiro, Brazil, B5- Distributed Shared Memory Chair: R. Schlichting, USA a) "Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory," G. Suri, R. Janssens, W.K. Fuchs, University of Illinois at Urbana-Champaign, IL, USA b) "A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability," A.M. Kermarrec, G. Cabillic, A. Gefflaut, C. Morin, I. Puaut, IRISA, Rennes, France c) "Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory," A. Savva, T. Nanya, Tokyo Institute of Technology, Tokyo, Japan C5- Software Demonstrations 2:Tools, Chair: V. Agarwal, USA a) "Dependability Modelling in a Prototype Development Framework," J.M. Bass, A.R. Browne, P.R. Croll, P.J.Fleming, University of Sheffield, England, S. Metge, LAAS - CNRS Toulouse, France b) "ARMOR: Analyzer of Reducing Module Operational Risk," M. R. Lyu, J. S. Yu, E. Keramidas,S. Dalal, BELLCORE, Morristown, NJ, USA *************************************************************** 12:00 - 13:30 Lunch *************************************************************** 13:30 - 14:30 (Thu.) -- Three Parallel Sessions (A6,B6,C6): A6 - Coding Chair: Y. Koga, Japan a) "A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems," E. Fujiwara, T. Kusakabe, M. Kitakami, Tokyo Institute of Technology, Tokyo, Japan b) "Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault Tolerance," S. Dutt, N.R. Mahapatra, University of Minnesota, Minneapolis, MN, USA B6 - Bridging Faults Chair: D. Pradhan, USA a) "A New Diagnosis Approach for Short Faults in Interconnects," C. Feng, F. Lombardi, Texas A & M University, College Station, TX, USA b) "Fault Simulation of IDDQ Tests for Bridging Faults in Sequential Circuits," P.J. Thadikaran, S. Chakravarty, State University of New York at Buffalo, J. Patel, University of Illinois at Urbana- Champaign, IL, USA C6 - Checkpointing and Recovery, Chair: M. Dal Cin, Germany a) "Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations," J. S. Plank, Y. Kim, University of Tennessee, Knoxville, TN, USA, J. J. Dongarra, Oak Ridge National Laboratory, TE, USA b) "Completely Asynchronous Optimistic Recovery with Minimal Rollbacks," S. W. Smith, D. B. Johnson, J.D. Tygar, Carnegie Mellon University, Pittsburgh, PA, USA *************************************************************** 14:30 - 15:00 Coffee Break *************************************************************** 15:00 - 16:00 (Thu.)-- Two Parallel Sessions (A7a-b,B7): A7a - Software Fault Tolerance Chair: T. Anderson, UK a) "Design Fault Tolerance in Operating Systems Based on a Standardization Project," A. Watanabe, K. Sakamura, University of Tokyo, Japan b) "Software Rejuvenation: Analysis, Module and Applications," Y. Huang, C. Kintala, N. Kolettis, N. D. Fulton, AT & T Bell Laboratories, Murray Hill, NJ, USA A7b - Robust Data Structures Chair: D. Taylor, Canada a) "On-Line Error Monitoring for Data Structures," J. D. Bright, G. F. Sullivan, Johns Hopkins University, Baltimore, MD, USA b) "Checking the Integrity of Trees," J. D. Bright, AT & T Bell Laboratories, Murray Hill, NJ, USA, G. F. Sullivan, G. M. Masson, Johns Hopkins University, Baltimore, MD, USA B7-Panel 2 - Dependability of Medical Computing Chair: H. Ihara, Japan; E. Blanz, Siemens Corporate Research, Princeton NJ, USA; D.J.Valentino, UCLA School of Medicine, Los Angeles, CA, USA; L. Elliott, Cardiac Pacemakers, St. Paul, MN, USA; T. Lincoln, University of Southern Califonia and RAND, Los Angeles, CA, USA **************************************************************** 17:00 - 18:00 Meeting of the IEEE Technical Committee on Fault- Tolerant Computing - OPEN TO ALL PARTICIPANTS ***************************************************************** FRIDAY JUNE 30, 1995 ***************************************************************** 8:00 - 10:00 (Fri.) -- Two Parallel Sessions (A8,B8): A8 - Measurement Chair: H. Levendel, USA a) "VAX/VMS Event Monitoring and Analysis," M. F. Buckley, IBM T. J. Watson Research Center, D. P. Siewiorek, Carnegie Mellon University, Pittsburgh, PA, USA b) "Measurements of Failure Rate in Widely Distributed Software," R. Chillarege, S. Biyani, J. Rosenthal, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA c) "Evaluation of Software Dependability Based on Stability Test Data," D. Tang, M. Hecht, SoHar, Beverly Hills, CA, USA d) "Stopping Rules for the Operational Testing of Safety-Critical Software," B. Littlewood, D. Wright, City University, London, UK B8 - Practical Experience Reports 1: Architecture, Chair: C. Weinstock,USA a) "The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Design Diversity," H. Kantz, C. Koza, Alcatel Austria AG, Vienna, Austria b) "Why Optimistic Message Logging Has Not Been Used in Telecommunications Systems," Y. Huang, Y.-M. Wang, AT&T Bell Laboratories, Murray Hill, NJ, USA c) "Error Detection and Handling in a Superscalar, Speculative Out-of- Order Execution Processor System," N. Saxena, C. Chen, R. Swami, H. Osone, S. Thusoo, D. Lyon, D. Chang, A. Dharmaraj, N. Patkar, Y. Lu, B. Chia, HAL Computer Systems, Campbell, CA, USA d) "Design Verification of a Super-Scalar RISC Processor," B. Turumella, A. Kabakibo, M. Bogadi, K. Menon, S. Thusoo, L. Nguyen, N. Saxena, M. Chow, HaL Computer Systems, Campbell, CA,USA *************************************************************** 10:00 - 10:30 Coffee Break *************************************************************** 10:30 - 12:30 (Fri.) -- Two Parallel Sessions (A9,B9): A9 - Object-Oriented Systems Chair: C. V. Ramamoorthy, USA a) "Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor Model," M. Peercy, P. Banerjee, University of Illinois at Urbana-Champaign, IL, USA b) "Implementing Fault Tolerant Applications Using Reflective Object- Oriented Programming," J.C. Fabre, V. Nicomette, T. Perennou, LAAS - CNRS, Toulouse, France, R. Stroud, Z. Wu, University of Newcastle upon Tyne, UK c) "Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery," J. Xu, B. Randell, A. Romanovsky, C. M. F. Rubira, R. Stroud, Z. Wu, University of Newcastle upon Tyne, UK B9 - Practical Experience Reports 2: Assessment Chair: J. Lala, USA a) "On the Development of Fault Tolerant On-Board Control Software and Its Evaluation by Fault Injection," T. Vardanega, ESA Noordwijk, The Netherlands, P. David, J.F. Chane, Matra Marconi Space, Toulouse, France, W. Mader, R. Messaros, Siemens, Vienna, Austria, J. Arlat, LAAS - CNRS, Toulouse, France b) "Modeling and Testing a Critical Fault-Tolerant Multi-Process System," R. Riter, Boeing Commercial Airplane Group, Seattle, WA, USA c) "Measuring Robustness of a Fault Tolerant Aerospace System," J. Marshall, Loral Federal Systems, Manassas, VA, C. P. Dingman, D.P. Siewiorek, Carnegie Mellon University, Pittsburgh, PA, USA d) "Dependability at the User Interface," R. A. Maxion, A. L. deChambeau, Carnegie Mellon University, Pittsburgh, PA, USA ************************End of Program************************ **********HOTEL INFORMATION AND LOCAL TRANSPORTATION:********* 1. Doubletree Hotel A block of rooms has been reserved at the Doubletree Hotel, 191 N. Los Robles Ave., Pasadena, CA, 91101 Rates before a cut-off date of June 2nd are: $92.00 single occupancy or $102.00 double occupancy There are additional taxes of 11.49%, and there is a $10.00 charge for additional persons. Children under 18 years old are free when accompanied by an adult. Check-in time is 3:00 PM and checkout time is noon. Make your own reservations by telephone at: (818) 792-2727 or FAX: (818) 795-7669 and be sure to mention FTCS- 25 for special rates. (If the Doubletree fills up its staff will assist in finding accommodations at nearby hotels.) 2. Transportation: Airport Coach Buses run approximately hourly between Los Angeles International Airport and the Doubletree hote. Their telephone number is (800) 772-5299. There is also on-call door-to-door service available through Super Shuttle (818)443-6600 and Prime Time (818) 504-3600. ****************FTCS25 Registration Information**************** FTCS Registration Form: Mail or FAX to: Pat McLane (FTCS25), Jet Propulsion Laboratory T-1166, 4800 Oak Grove Drive, Pasadena, CA 91109 FAX: (818) 393 4992 (You may also register by Emailing this form to conf.admin@jpl.nasa.gov) Name ______________________________________________ IEEE Member # _____________________________________ Company ___________________________________________ email Address _____________________________________ Mailing Address ___________________________________________________________ ________________________Phone____________________FAX_____________ Whole Conference Adv. Reg Late Reg.(After June 2,1995) IEEE Member $440.00 USD $530.00 USD Non Member $550.00 USD $660.00 USD Student $60.00 USD $75.00 USD First Day Only IEEE Member $80.00 USD $100.00 USD Non-Member $100.00 USD $120.00 USD ***************************************************************** Checks payable to FTCS-25 in U.S. dollars. Charge $________________Visa or Mastercard _________ Credit Card Expiration Date ________________________ Card Number ________________________________________ Signature___________________________________________