25. FTCS 1995: Pasadena, California, USA

Digest of Papers: FTCS-25, The Twenty-Fifth International Symposium on Fault-Tolerant Computing, June 27-30, 1995, Pasadena, California. IEEE Computer Society, 1995, ISBN 0-8186-7079-7

A1 - System Architecture

William E. Baker, Robert W. Horst, David P. Sonnier, William J. Watson: A Flexible ServerNet-based Fault-Tolerant Architecture. 2-11 BibTeX
Harrick M. Vin, Prashant J. Shenoy, Sriram Rao: Efficient Failure Recovery in Multi-Disk Multimedia Servers. 12-21 BibTeX
Yi-Min Wang, Yennun Huang, Kiem-Phong Vo, Pi-Yu Chung, Chandra M. R. Kintala: Checkpointing and Its Applications. 22-31 BibTeX

B1 - Synthesis

Hiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita: Synthesis for Testability by Sequential Redundancy Removal Using Retiming. 33-40 BibTeX
Ning Jiang, Richard M. Chou, Kewal K. Saluja: Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan. 41-49 BibTeX
Douglas M. Blough, Fadi J. Kurdahi, Seong Yong Ohm: Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable Microarchitectures. 50-59 BibTeX

C1 - Software Demonstrations I: Systems

Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: The Totem System. 61-66 BibTeX
Mark Russinovich, Zary Segall: Fault-Tolerance for Off-The-Shelf Applications and Hardware. 67-71 BibTeX

A2 - Interactive Consistency

Stefan Poledna: Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor. 73-82 BibTeX
Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman: Optimal Resiliency against Mobile Faults. 83-88 BibTeX
Thijs Krol: Interactive Consistency Algorithms based on Voting and Error-correcting Codes. 89-98 BibTeX

B2 - Validation and Test

Trung A. Diep, John Paul Shen: Systematic Validation of Pipeline Interlock for Superscalar Microarchitectures. 100-109 BibTeX
Irith Pomeranz, Sudhakar M. Reddy: LOCSTEP: A Logic Simulation Based Test Generation Procedure. 110-119 BibTeX
Rolf Krieger, Bernd Becker, Can Ökmen: OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. 120-129 BibTeX

C2 - Software Demonstrations II: Tools

Julian M. Bass, Sylvain Metge, Adrian Browne, Peter R. Croll, Peter J. Fleming: Dependability Modelling in a Prototype Development Framework. 131-136 BibTeX
Michael R. Lyu, Jinsong S. Yu, Elaine Keramidas, Siddhartha R. Dalal: ARMOR: Analyzer for Reducing Module Operational Risk. 137-142 BibTeX

A3 - Distributed Algorithms

Richard W. Buskens, Ronald P. Bianchini Jr.: Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes. 144-153 BibTeX
Alan Olson, Kang G. Shin, Bruno J. Jambor: Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages. 154-163 BibTeX
Sampath Rangarajan, Karunaharan Ratnam, Anton T. Dahbura: A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks. 164-173 BibTeX
Jong Kim, Heejo Lee, Sunggu Lee: Process Allocation for Load Distribution in Fault-Tolerant Multicomputers. 174-183 BibTeX

B3 - Panel I: Dependability of Commercial Systems

A4 - Fault Injection

Andreas Steininger, H. Schweinzer: A Model for the Analysis of the Fault Injection Process. 186-195 BibTeX
Jens Güthoff, Volkmar Sieh: Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method. 196-206 BibTeX
Peter Dahlgren, Peter Lidén: A Switch-level Algorithm for Simulation of Transients in Combinational Logic. 207-216 BibTeX

B4 - Self-Checking

Joakim Ohlsson, Marcus Rimén: Implicit Signature Checking. 218-227 BibTeX
Stanislaw J. Piestrak, Takashi Nanya: Towards Totally Self-Checking Delay-Insensitive Systems. 228-237 BibTeX
Yingquan Zhou, Mike W. T. Wong, Yinghua Min: Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers. 238-247 BibTeX

A5 - Modeling and Evaluation

Stacy A. Doyle, Joanne Bechta Dugan: Dependability Assessment using Binary Decision Diagrams (BDDs). 249-258 BibTeX
Meera Balakrishnan, Kishor S. Trivedi: Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. 259-268 BibTeX
Reinaldo Vallejos Campos, Edmundo de Souza e Silva: Availability and Performance Evaluation of Database Systems under Periodic Checkpoints. 269-277 BibTeX

B5 - Distributed Shared Memory

Gaurav Suri, Bob Janssens, W. Kent Fuchs: Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory. 279-288 BibTeX
Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut: A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. 289-298 BibTeX
Andreas Savva, Takashi Nanya: Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory. 299-308 BibTeX

A6 - Coding

Eiji Fujiwara, Masato Kitakami: A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems. 310-319 BibTeX
Shantanu Dutt, Nihar R. Mahapatra: Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault Tolerance. 320-329 BibTeX

B6 - Bridging Faults

Chao Feng, Wei-Kang Huang, Fabrizio Lombardi: A New Diagnosis Approach for Short Faults in Interconnects. 331-339 BibTeX
Paul J. Thadikaran, Sreejit Chakravarty, Janak H. Patel: Fault Simulation ofI_DDQ Tests for Bridging Faults in Sequential Circuits. 340-349 BibTeX

C6 - Checkpointing and Recovery

James S. Plank, Youngbae Kim, Jack Dongarra: Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations. 351-360 BibTeX
Sean W. Smith, David B. Johnson, J. D. Tygar: Completely Asynchronous Optimistic Recovery with Minimal Rollbacks. 361-370 BibTeX

A7a - Software Fault Tolerance

Aki Watanabe, Ken Sakamura: Design Fault Tolerance in Operating Systems Based on a Standarization Project. 372-380 BibTeX
Yennun Huang, Chandra M. R. Kintala, Nick Kolettis, N. Dudley Fulton: Software Rejuvenation: Analysis, Module and Applications. 381-390 BibTeX

A7b - Robust Data Structures

Jonathan D. Bright, Gregory F. Sullivan: On-line Error Monitoring for Several Data Structures. 392-401 BibTeX
Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson: Checking the Integrity of Trees. 402-411 BibTeX

B7 - Panel II: Dependability of Medical Computing

A8 - Measurement

Michael F. Buckley, Daniel P. Siewiorek: VAX/VMS Event Monitoring and Analysis. 414-423 BibTeX
Ram Chillarege, Shriram Biyani, Jeanette Rosenthal: Measurement of Failure Rate in Widely Distributed Software. 424-433 BibTeX
Dong Tang, Myron Hecht: Evaluation of Software Dependability Based on Stability Test Data. 434-443 BibTeX
Bev Littlewood, David Wright: Stopping Rules for the Operational Testing of Safety-Critical Software. 444-451 BibTeX

B8 - Practical Experience Reports I: Architecture

Heinz Kantz, Christian Koza: The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. 453-458 BibTeX
Yennun Huang, Yi-Min Wang: Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems. 459-463 BibTeX
Nirmal R. Saxena, Chien Chen, Ravi Swami, Hideki Osone, Shalesh Thusoo, David Lyon, David Chang, Anand Dharmaraj, Niteen Patkar, Yizhi Lu, Ben Chia: Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution Processor System. 464-471 BibTeX
Babu Turumella, Aiman Kabakibo, Manjunath Bogadi, Karakunakara Menon, Shaleah Thusoo, Long Nguyen, Nirmal R. Saxena, Michael Chow: Design Verification of a Super-Scalar RISC Processor. 472-477 BibTeX

A9 - Object-Oriented Systems

Michael Peercy, Prithviraj Banerjee: Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor Model. 479-488 BibTeX
Jean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert J. Stroud, Zhixue Wu: Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. 489-498 BibTeX
Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu: Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. 499-508 BibTeX

B9 - Practical Experience Reports II: Assessment

Tullio Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, Jean Arlat: On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. 510-515 BibTeX
Ronald Riter: Modeling and Testing a Critical Fault-Tolerant Multi-Process System. 516-521 BibTeX
Christopher P. Dingman, Joe Marshall, Daniel P. Siewiorek: Measuring Robustness of a Fault Tolerant Aerospace System. 522-527 BibTeX
Roy A. Maxion, Aimee L. deChambeau: Depenability at the User Interface. 528-535 BibTeX

Panel Synopsis

Ravishankar K. Iyer, Daniel Lenoski, Joe Hingston, Angelo Pruscino, Jim Shaffer, Eric Scott: Dependability of Commercial Systems. 537-540 BibTeX
Hirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln: Dependability of Medical Computing. 541 BibTeX