Conferences

FTCS-25 SILVER JUBILEE CONFERENCE PROGRAM

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************************