Table of Contents

• Software Implemented Fault Tolerance Technologies and ExperienceYennun Huang, Chandra M. R. Kintala. 2-9
• Application Transparent Fault Management in Fault Tolerant MatchMark Russinovich, Zary Segall, Daniel P. Siewiorek. 10-19
• Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating SystemInhwan Lee, Ravishankar K. Iyer. 20-29
• Increasing System Availability through On-Line Software Version ChangeDeepak Gupta, Pankaj Jalote. 30-35
• Fast Simulation of Steady-State Availability in Non-Markovian Highly Dependable SystemsVictor F. Nicola, Perwez Shahabuddin, Philip Heidelberger, Peter W. Glynn. 38-47
• Interval Availability Distribution ComputationGerardo Rubino, Bruno Sericola. 48-55
• Characterizing a Lumping Heuristic for a Markov Network Reliability ModelMeera Balakrishnan, Andrew L. Reibman. 56-65
• Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to PerformabilititesChang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno. 66-75
• Development of a Benchmark to Measure System RobustnessDaniel P. Siewiorek, John J. Hudak, Byung-Hoon Suh, Zary Segall. 88-97
• The Variation of Software Survival Time for Different Operational Input ProfilesPeter G. Bishop. 98-107
• A Class of Error Locating Codes for Byte-Organized Memory SystemsEiji Fujiwara, Masato Kitakami. 110-119
• Unidirectional Error Control CodesNitin H. Vaidya. 120-129
• A Proposal for Error-Tolerating CodesTakashi Matsubara, Yoshiaki Koga. 130-136
• Progressive Retry for Software Error Recovery in Distributed SystemsYi-Min Wang, Yennun Huang, W. Kent Fuchs. 138-144
• Nonblocking and Orphan-Free Message Logging ProtocolsLorenzo Alvisi, Bruce Hoppe, Keith Marzullo. 145-154
• Relaxing Consistency in Recoverable Distributed Shared MemoryBob Janssens, W. Kent Fuchs. 155-163
• EXOP (Extended Operation): A New Logical Fault Model for Digital CircuitsIrith Pomeranz, Sudhakar M. Reddy. 166-175
• Efficient Testing of Tree CircuitsRonald D. Blanton, John P. Hayes. 176-185
• A BDD - based Algorithm for Computation of Exact Fault Detection ProbabilitiesRolf Krieger, Bernd Becker, R. Sinkovic. 186-195
• Detection and Discrimination of Injected Network FaultsRoy A. Maxion, Robert T. Olszewski. 198-207
• Software Fault Injection and its Application in Distributed SystemsHarold A. Rosenberg, Kang G. Shin. 208-217
• Simulation of Software Behaviour Under Hardware FaultsKumar K. Goswami, Ravishankar K. Iyer. 218-227
• Estimators for Fault Tolerance Coverage EvaluationDavid Powell, Eliane Martins, Jean Arlat, Yves Crouzet. 228-237
• Fault-Tolerant Wormhole Routing in MeshesChristopher J. Glass, Lionel M. Ni. 240-249
• Designing Concurrent Checking Sorting NetworksKamal Kantawala, D. L. Tao. 250-259
• Design of Neural Networks to Tolerate the Mixture of Two Types of FaultsYoshihiro Tohma, Yoichi Koyanagi. 268-277
• Exploiting Data Flow Information in Algorithm-Based Fault ToleranceRagini Shamsunder, Daniel J. Rosenkrantz, S. S. Ravi. 280-289
• Tolerance Determination for Algorithm-Based Checks Using Simplified Error Analysis TechniquesAmber Roy-Chowdhury, Prithviraj Banerjee. 290-298
• Optimum Detector/Corrector for Fault-Tolerant Linear ProcessingG. Robert Redinbo. 299-308
• A Fast and Accurate Gate-Level Transient Fault Simulation EnvironmentHungse Cha, Elizabeth M. Rudnick, Gwan S. Choi, Janak H. Patel, Ravishankar K. Iyer. 310-319
• Wear-Out Simulation Environment for VLSI DesignsGwan S. Choi, Ravishankar K. Iyer. 320-329
• Theory and Practice of Sequential Machine Testing and TestabilityIrith Pomeranz, Sudhakar M. Reddy, Janak H. Patel. 330-337
• Programmable Space Compaction for BISTYervant Zorian, André Ivanov. 340-349
• Balance Testing of Logic CircuitsKrishnendu Chakrabarty, John P. Hayes. 350-359
• Algorithmic Synthesis of High Level Tests for Data Path DesignsNirmal R. Saxena, Ravi Tangirala, Ajay Srivastava. 360-369
• Impact of Behavioral Learning on the Compilation of Sequential Circuit TestsPraveen Vishakantaiah, Jacob A. Abraham. 370-379
• Specifying Fault Tolerance within Stark s FormalismAntonio Cau, Willem P. de Roever. 392-401
• A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault ModelPatrick Lincoln, John M. Rushby. 402-411
• Randomized Distributed Agreement RevisitedPiotr Berman, Juan A. Garay. 412-419
• Fast, On-Line Failure Recovery in Redundant Disk ArraysMark Holland, Garth A. Gibson, Daniel P. Siewiorek. 422-431
• Disk Array Storage System ReliabilityWalter A. Burkhard, Jai Menon. 432-441
• An Analytic Treatment of the Reliability and Performance of Mirrored Disk SubsystemsRobert Geist, Kishor S. Trivedi. 442-450
• A Case for Fault-Tolerant Memory for Transaction ProcessingAnupam Bhide, Daniel M. Dias, Nagui Halim, T. Basil Smith, Francis N. Parr. 451-460
• Efficient Distributed Diagnosis in the Presence of Random FaultsAndrzej Pelc. 462-469
• Distributed On-Line Diagnosis in the Presence of Arbitrary FaultsRichard W. Buskens, Ronald P. Bianchini Jr.. 470-479
• Adaptive Voting for Faulty (VFF) Node Scheme for Distributed Self-DiagnosisJae Young Lee, Hee Yong Youn, Adit D. Singh. 480-489
• Design and Synthesis for Testability of Synchronous Sequential Circuits Based on Strong-ConnectivityIrith Pomeranz, Sudhakar M. Reddy. 492-501
• A Synthesis Tool for Fault-Tolerant Finite State MachinesRégis Leveugle, R. Rochet, Gabriele Saucier, L. Martinez, C. Pitot. 502-511
• Optimal Self-Recovering Microarchitecture SynthesisRamesh Karri, Alex Orailoglu. 512-521
• TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time SystemsHermann Kopetz, Günter Grünsteidl. 524-533
• Virtually-Synchronous Communication Based on a Weak Failure SuspectorAndré Schiper, Aleta Ricciardi. 534-543
• Early Delivery Totally Ordered Multicast in Asynchronous EnvironmentsDanny Dolev, Shlomo Kramer, Dalia Malki. 544-553
• Byzantine Agreement with a Minimum Number of Messages Both in the Faultless and Worst CaseBirgit Baum-Waidner. 554-563
• Efficient Memory Access CheckingKent D. Wilken, Timothy Kong. 566-575
• The Risk of Data Corruption in Microprocessor-based SystemsRobert W. Horst, Doug Jewett, Daniel Lenoski. 576-585
• Efficient Implementations of Self-Checking Adders and ALUsMichael Nicolaidis. 586-595
• On Concurrent Error Detection, Location, and Correction of FFT NetworksChoong Gun Oh, Hee Yong Youn. 596-605
• Limits in Dependability (Panel)Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby. 608-613
• AIRBUS A320/A330/A340 Electrical Flight Controls: A Family of Fault-Tolerant SystemsDominique Brière, Pascal Traverse. 616-623
• SACEM: A Fault Tolerant System for Train Speed ControlClaude Hennebert, Gérard D. Guiho. 624-628
• Concurrent Error Detection/Correction in the HAL MMU ChipDavid Chih-Wei Chang, Nirmal R. Saxena. 630-635
• Development of a Fault Tolerant Computer System for the HERMES Space ShuttlePhilippe David, Claude Guidal. 641-646
• A Systematic and Comprehensive Tool for Software Reliability Modeling and MeasurementMichael R. Lyu, Allen P. Nikora, William H. Farr. 648-653
• SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure DataKarama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Sylvain Metge. 654-659
• The Use of Object Groups to Implement Dependability in a Process Control Supervision SystemYves Eychenne, Michel Simatic, Christophe Baradel, Laurent Junot, Bruno Kohen. 660-665
• SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software SystemsC. Béoumes, Karama Kanoun, Martine Aguera, Jean-Claude Laprie, Jean Arlat, Sylvain Metge, S. Bachmann, Jorge Moreira de Souza, C. Bourdeau, David Powell, J.-E. Doucet, P. Spiesser. 668-673
• Dependability Evaluation Using U::::ltra::::SANWilliam H. Sanders, W. Douglas Obal II. 674-679