Conferences

FTCS-28 Advance Technical Program

 8:30-9:30 Opening Remarks: Ernst Schmitter, Jean Arlat, Ram Chillarege

William C. Carter Award Presentation: Rick Schlichting

Keynote Address: David E. Talbot, European Community, Brussels, Belgium. "Dependability-Trends and Issues for the Information Society"

 9:00 Vision for High-Availability of the Global Infrastructure

Chair, Ram Chillarege, IBM T.J. Watson Research Center, Hawthorne, USA

Robert Horst, Tandem Computers , Cupertino, California, USA

Clifford Meltzer, Cisco Systems, San Jose, California, USA

Angelo Pruscino, Oracle, Redwood Shores, California, USA

Dalibor F. Vrsalovic, AT&T, Menlo Park, California, USA

11:00 Coffee Break

2A

Dependability of Storage and
Processing Systems

 

Chair: Hermann Kopetz, Vienna University of Technology, Austria

 

 

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture
M.Kaâniche, L.Romano, Z.Kalbarczyk, R.K.Iyer, University of Illinois at Urbana-Champaign; R.Karcich, Storage Technology, Louisville; USA

 

Proving Correctness of a Controller Algorithm for the RAID Level 5 System
M.Vaziri, N.Lynch, Massachusetts Institute of Technology, Cambridge; J.Wing, Carnegie Mellon University, Pittsburgh; USA

 

Practical Issues of the Use of ABFT and a New Failure Model
J.G.Silva, University of Coimbra; P.Prata, University of Beira Interior, Covilhã; M.A.Rela, H.Madeira, University of Coimbra; Portugal

2B

Checkpointing and Recovery in
Clusters of Workstations

 

Chair: T. Basil Smith, IBM T.J.

Watson Research Center, Hawthorne, USA

 

PREACHES - Portable Recovery and Checkpointing in Heterogeneous Systems

K.-F.Ssu, University of Illinois at Urbana-Champaign; W.K.Fuchs, Purdue University, West Lafayette; USA

 

 

Experimental Assessment of Workstation Failures and their Impact on Checkpointing Systems
J.S.Plank, W.R.Elwasif, University of Tennessee, Knoxville; USA

 

 

RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols
N.Neves, University of Illinois at Urbana-Champaign; W.K.Fuchs, Purdue University, West Lafayette; USA

3A
Design for Safety and Critical Systems

 

 

Chair: Karama Kanoun, LAAS-CNRS,

Toulouse, France

Supporting Multiple Levels of Criticality
E.Totel, LAAS-CNRS/LIS; J.-P.Blanquart, Matra Marconi Space/LIS; Y.Deswarte, D.Powell, LAAS-CNRS/LIS, Toulouse; France

Conceptual Models for the Reliability of Diverse Systems - New Results
P.T.Popov, L.Strigini, City University, London, UK

Improving System Reliability with Automatic Fault Tree Generation
P.Liggesmeyer, M.Rothfelder, Siemens AG, Munich, Germany

 3B
FastAbstracts I: Design for Dependability

 

Moderator: Chuck B. Weinstock,
Carnegie Mellon University, Pittsburgh, USA

 

3C

FastAbstracts II: Dependability Assessment

 

Moderator: Ravishankar K. Iyer,

University of Illinois at Urbana-Champaign, USA

Panelists:
Peter Ladkin, University of Bielefeld, Germany; Derek Long, British Telecom/Syntegra, Fleet, UK; Brian Randell, University of Newcastle, UK

The SunSCALR Framework for Internet Servers
A.Singhai, University of Illinois at Urbana-Champaign; S.-B.Lim, S.R.Radia, Sun Microsystems, Palo Alto; USA

Design, Implementation and Evaluation of Highly Available Distributed Call Processing Systems
K.Murakami, R.W.Buskens, R.Ramjee, Y.-J.Lin, T.F.LaPorta, Bell Laboratories, Lucent Technologies Holmdel, USA

TFT: A Software System for Application-Transparent Fault Tolerance
T.C.Bressoud, Stratus Computer, Inc., Marlborough, USA

5A
Fault-Tolerant Protocols

 

 

 

Chair: Andrea Bondavalli, CNUCE-CNR, Pisa, Italy

The Timed Asynchronous Distributed System Model
F.Cristian, C.Fetzer, University of California, San Diego, USA

Fault-Tolerant Broadcasts in CAN
J.Rufino, Technical University of Lisbon; P.Veríssimo, University of Lisbon; G.Arroz, C.Almeida, Technical University of Lisbon; L.Rodrigues, University of Lisbon; Portugal

 5B
Practical Experience Reports I and Software Demonstration:
Physical and Simulated Fault Injection

 

Chair: András Pataricza, Technical University of Budapest, Hungary

A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI)
J.R.Samson, Jr., Honeywell Inc, Clearwater; W.Moreno, University of South Florida, Tampa; F.Falquez, Honeywell Inc, Clearwater; USA

MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault-Tolerance
J. Boué, P. Pétillon, Y.Crouzet, LAAS-CNRS, Toulouse, France

Strong Partitioning Protocol for a Multiprocesssor VME System
M.F.Younis, J.X.Zhou, Allied Signal Inc., Columbia; M.Aboutabl, University of Maryland, College Park; USA

Fault-Tolerant Communication Algorithms in Toroidal Networks
B.A.AlMohammad, Kuweit University, Kuweit; B.Bose, Oregon State University, Corvallis, USA

Fault Detection and Recovery Coverage Improvement by Clock Synchronized Duplicated Systems with Optimal Time Diversity
N.Kanekawa, Hitachi Research Laboratory, Hitachi Ltd., Hitachi-city; T.Meguro, K.Isono, East Japan Railway Company, Shinjuku-ku; Y.Shima, Mito Works, HitachiÊLtd., Hitachinaka-city; Y.Miyazaki, S.Yamaguchi, Hitachi Research Laboratory, Hitachi Ltd., Hitachi-city; Japan

Fault Tolerance Via N-Modular Software Redundancy
T.K.Tsai, Bell Laboratories, Lucent Technologies, Murray Hills, USA

7A
Consistency and Communication

 

 

Chair: Farnam Jahanian, University of Michigan, Ann Arbor, USA

Communication-Induced Determination of Consistent Snapshots
J.-M.Helary, A.Mostefaoui, M.Raynal, IRISA, Rennes, France

Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System
C. Temple, Vienna University of Technology, Austria

  7B
Analysis of the Behavior in the Presence of Faults

 

Chair: William H. Sanders, University of Illinois at Urbana-Champaign, USA

Automated Robustness Testing of Off-The-Shelf Software Components
N.P.Kropp, P.J.Koopman, D.P.Siewiorek, Carnegie Mellon University, Pittsburgh, USA

How Fail-Stop are Faulty Programs?
S.Chandra, P.M.Chen, University of Michigan, Ann Arbor, USA

Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities
O.Theel, H.Pagnia, Darmstadt University of Technology, Germany

A Fault-Tolerant Algorithm for Decentralized On-line Quorum Adaption
M.Bearden, Bell Laboratories, Lucent Technologies, Murray Hill; R.P.Bianchini, Jr., Carnegie Mellon University, Pittsburgh, USA

A Generalized Test Generation Procedure for Path Delay Faults
I.Pomeranz, S.M.Reddy, University of Iowa, Iowa City, USA

A Comparison of Simulation Based and Scan Chain Implemented Fault Injection
P.Folkesson, S.Svensson, J.Karlsson, Chalmers University of Technology, Gothenburg, Sweden

9A
Panel II: From Dependable Computing Systems To Computing for Integrated Dependable Systems?

 

Moderator: Karl-Erwin Grosspietsch, GMD, St. Augustin, Germany

Panelists:
Jacob A. Abraham, University of Texas at Austin, USA; Johannes Maier, Robert Bosch GmbH, Stuttgart, Germany;
Hans-Dieter Kochs, University of Duisburg, Germany; Mihalis Nicolaïdis, MAG-TIMA, Grenoble, France; Michel Renovell, IRMM, Montpellier, France

 9B
Dependability Modeling

 

 

 

Chair: Perwez Shahabuddin,

Columbia University, New York, USA

Reliability Modeling of Hard Real-Time Systems
H.Kim, Yonsei University, Seoul, Korea; A.L.White, NASA LaRC, Hampton, USA; K.G.Shin, University of Michigan, Ann Arbor, USA

Modelling Software Operational Reliability via Input Domain-Based Reliability Growth Model
Y.Chen, University of the Witwatersrand, Johannesburg, South Africa

Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs
A.Galves, University of São Paulo, Brazil;
M.-C.Gaudel, University of Paris-Sud and CNRS, Orsay, France

10A
Software Availability and Robustness

 

 

Chair: Robert J. Stroud, University of Newcastle upon Tyne, UK

Software Exploitation of a Fault-Tolerant Computer with a Large Memory
F.Eskesen, M.Hack, A.Iyengar, R.P.King, N.Halim, IBM T.J. Watson Research Center, Yorktown Heights, USA

Improving Software Robustness with Dependability Cases
R.A.Maxion, R.T.Olszewski, Carnegie Mellon University, Pittsburgh, USA

 10B
Practical Experience Reports III:
Avoiding the Perils of Checkpointing

 

Chair: Arun K. Somani, Iowa State University, Ames, USA

How Safe is Probabilistic Checkpointing?
E.N.Elnozahy, IBM Austin Research Lab, USA

Avoiding Checkpoint Contamination in Parallel Systems
L.M.Silva, J.G.Silva, University of Coimbra, Portugal

11A
Design and Validation of Complex Systems

A Survivable Avionics System for Space Applications
G.Urban, H.-J.Kolinowitz, Daimler-Benz Aerospace, Bremen; J.Eleska, University of Bremen, Germany

Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer
C.Constantinescu, Intel Corporation, Hillsboro, USA

On the Use of Formal Techniques for Validation
N.Suri, P.Sinha, New Jersey Institute of Technology, University Heights, USA

Time-triggered Architecture for Safety-related Distributed Real-Time Systems in Transportation Systems
G.Heiner, T.Thurner, Daimler-Benz AG Research and Technology, Berlin, Germany

Fault-Tolerance of Spaceborne Semiconductor Mass Memories
T.Fichna, M.GŠrtner, F.Gliem, F.Rombeck, Braunschweig University of Technology, Germany

Fault-Tolerant Computer for the Automated Transfer Vehicle
R.Roques, A.Corrégé, C. Boléat, Matra Marconi Space, Toulouse, France

12A
High-Performance and Dependable Systems

 

 

Chair: Mario Dal Cin, University of Erlangen, Germany

The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and Scalability
W.Vogels, D.Dumitriu, K.Birman, Cornell University, Ithaca; R.Gamache, M.Massa, R.Short, J.Vert, Microsoft Corporation, Issaquah; J.Barrera, J.Gray, Microsoft Research, San Francisco; USA

G4: A Fault-Tolerant CMOS Mainframe
L.Spainhower, T.A.Gregg, IBM Corporation, Poughkeepsie, USA

NCAPS: Application High Availability in UNIX Computer Clusters
L.A.Laranjeira, Tandem Computers Inc., Austin, USA

 12B
Practical Experience Reports V: Design and Assessment of Safety Critical Systems

 

Chair: Jean-Claude Laprie, LAAS-CNRS, Toulouse, France

 

Stable Memory in Substation Automation: A Case Study
G.Deconinck, Catholic University of Leuven, Heverlee, Belgium; O.Botti, ENEL SpA, Cologno, Italy; F.Cassinari, TXT Ingegneria Informatica, Milano, Italy; V.De Florio, R.Lauwereins, Catholic University of Leuven, Heverlee, Belgium

Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
V.Hartonas-Garmhausen, Carnegie Mellon University, Pittsburgh, USA; S.Campos, Federal University of Minas Gerais, Belo Horizonte, Brazil; A.Cimatti, IRST, Trento, Italy; F. Clarke, Carnegie Mellon University, Pittsburgh, USA; F.Giunchiglia, IRST and University of Trento, Italy

Dependability Assessment of a Computerized Nuclear Protection System
G.Allain-Morin, O.Pourret, EDF-DER, Clamart, France

15:30 Coffee Break

16:00  IEEE Technical Committee on Fault-Tolerant Computing Meeting

TC-Chair: Richard D. Schlichting, University of Arizona, Tucson, USA