26. FTCS 1996

Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, June 25-27, 1996, Sendai, Japan. IEEE Computer Society, 1996, ISBN 0-8186-7261-7

Panel: Availability of Commercial Parallel Systems

Jen-Yao Chung, Nicholas S. Bowen, Mei-Chen Hsueh, Ravishankar K. Iyer, Mitsuhiro Kishimoto, Luiz A. Laranjeira: Availability of Commercial Parallel Systems. 2-4 BibTeX

Distributed Systems

John M. Rushby: Reconfiguration and Transient Recovery in State Machine Architectures. 6-15 BibTeX
Dhiraj K. Pradhan, P. Krishna, Nitin H. Vaidya: Recoverable Mobile Environment: Design and Trade-Off Analysis. 16-25 BibTeX
Yair Amir, Avishai Wool: Evaluating Quorum Systems over the Internet. 26-35 BibTeX

Testing

Noriyoshi Itazaki, Yasutaka Idomoto, Kozo Kinoshita: A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential Circuits. 38-43 BibTeX
Lama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse: Random Pattern Testing for Sequential Circuits Revisited. 44-52 BibTeX
Irith Pomeranz, Sudhakar M. Reddy: Dynamic Test Compaction for Synchronous Sequential Circuits using Static Compaction Techniques. 53-61 BibTeX

File Systems

Nadine Peyrouze, Gilles Muller: FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. 64-73 BibTeX
Shinji Sumimoto: Design and Evaluation of Fault-Tolerant Shared File System for Cluster Systems. 74-83 BibTeX

Diagnosis

Nobuhiro Yanagida, Hiroshi Takahashi, Yuzo Takamatsu: Multiple Fault Diagnosis in Sequential Circuits Using Sensitizing Sequence Pairs. 86-95 BibTeX
Vamsi Boppana, Ismed Hartanto, W. Kent Fuchs: Fault Diagnosis Using State Information. 96-103 BibTeX

Evaluation

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin: Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. 106-115 BibTeX
Muhammad A. Qureshi, William H. Sanders: A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. 116-125 BibTeX

On-Line Checking

Guevara Noubir, Berthe Y. Choueiry: Algebraic Techniques for the Optimization of Control Flow Checking. 128-137 BibTeX
Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille: Executable Assertions and Timed Traces for On-Line Software Error Detection. 138-147 BibTeX

Panel: Dependability of Railway Control Systems

Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III: Dependability of Railway Control Systems. 150-155 BibTeX

Group Communication

Klaus Echtle, Asif Masum: A Multiple Bus Broadcast Protocol Resilient to Non-Cooperative Byzantine Faults. 158-167 BibTeX
Rachid Guerraoui, André Schiper: Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems. 168-177 BibTeX
Flaviu Cristian: Group, Majority, and Strict Agreement in Timed Asynchronous Distributed Systems. 178-187 BibTeX

Coding

Tepparit Ritthongpitak, Masato Kitakami, Eiji Fujiwara: Optimal Two-Level Unequal Error Control Codes for Computer Systems. 190-199 BibTeX
C. L. Chen: Symbol Error Correctin Codes for Memory Applications. 200-207 BibTeX
Venkatesh Akella, Nitin H. Vaidya, G. Robert Redinbo: Limitations of VLSI Implementation of Delay-Insensitive Codes. 208-217 BibTeX

Verification and Testing

Zhiming Liu, Mathai Joseph: Verification of Fault Tolerance and Real Time. 220-229 BibTeX
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: A Framework for Conformance Testing of Systems Communicating through Rendezvous. 230-238 BibTeX

Design

Roy A. Maxion, Philip A. Syme: Mitigating Operator-Induced Unavailability by Matching Imprecise Queries. 240-249 BibTeX
J. Hamilton Slye, E. N. Elnozahy: Supporting Nondeterministic Execution in Fault-Tolerant Systems. 250-259 BibTeX

Networks

Feng Bao, Yoshihide Igarashi: Reliable Broadcasting in Product Networks with Byzantine Faults. 262-271 BibTeX
Nihar R. Mahapatra, Shantanu Dutt: Hardware-Efficient and Highly-Reconfigurable 4- and 2-Track: Fault-Tolerant Designs for Mesh-Connected Multicomputers. 272-281 BibTeX
Myung M. Bae, Bella Bose: Spare Processor Allocation for Fault Tolerance in Torus-Based Multicomputers. 282-291 BibTeX

Experiment and Analysis

Michael F. Buckley, Daniel P. Siewiorek: A Comparative Analysis of Event Tupling Schemes. 294-303 BibTeX
Jörgen Christmansson, Ram Chillarege: Generation of Error Set that Emulates Software Faults Based on Field Data. 304-313 BibTeX
Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt: An Approach towards Benchmarking of Fault-Tolerant Commercial Systems. 314-323 BibTeX

Self-Checking

Naoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare: The Design of Totally Self-Checking Checkers for Classes of Hadamard Codes. 326-335 BibTeX
Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha: Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis. 336-345 BibTeX

Practical Experience Reports I

Inhwan Lee, Gilbert Pitt, Ravishankar K. Iyer: Efficient Service of Rediscovered Software Problems. 348-352 BibTeX
S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich: Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. 353-357 BibTeX

Parallelization

Amber Roy-Chowdhury, Prithviraj Banerjee: Compiler-Assisted Generation of Error-Detecting Parallel Programs. 360-369 BibTeX
Tzi-cker Chiueh, Peitao Deng: Evaluation of Checkpoint Mechanisms for Massively Parallel Machines. 370-379 BibTeX

Practical Experience Reports II

Jean-Luis Dega: The Redundancy Mechanisms of the Ariane 5 Operational Control Center. 382-386 BibTeX
B. Acevedo, L. Bahler, E. N. Elnozahy, V. Ratan, M. E. Segal: Highly Available Directory Services in DCE. 387-391 BibTeX

Fault Injection

Mário Zenha Rela, Henrique Madeira, João Gabriel Silva: Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. 394-403 BibTeX
Scott Dawson, Farnam Jahanian, Todd Mitton, Teck-Lee Tung: Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injektion. 404-414 BibTeX
João Gabriel Silva, Joao Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira: Experimental Assessment of Parallel Systems. 415-424 BibTeX

Practical Experience Reports III

Nobuyasu Kanekawa, Makoto Nohmi, Yoshimichi Satoh, Hiroshi Satoh: Self-Checking and Fail-Safe LSIs by Intra-Chip Redundancy. 426-430 BibTeX
Kyoya Kawamura, Takashi Matsubara, Yoshiaki Koga: Technologies for Designing Dependable A/D Converters. 431-435 BibTeX
Rolf Johansson: Two Error-Detecting and Correcting Circuits for Space Applications. 436-439 BibTeX