The Community for Technology Leaders
Fault-Tolerant Computing, International Symposium on (1995)
Pasadena, California
June 27, 1995 to June 30, 1995
ISBN: 0-8186-7079-7
TABLE OF CONTENTS

Referees (PDF)

pp. xxi
A1 - System Architecture

A Flexible ServerNet-Based Fault-Tolerant Architecture (Abstract)

R.W. Horst , Tandem Comput. Inc., Cupertino, CA, USA
W.E. Baker , Tandem Comput. Inc., Cupertino, CA, USA
W.J. Watson , Tandem Comput. Inc., Cupertino, CA, USA
D.P. Sonnier , Tandem Comput. Inc., Cupertino, CA, USA
pp. 0002

Efficient Failure Recovery in Multi-Disk Multimedia Servers (Abstract)

Sriram Rao , University of Texas at Austin
Prashant J. Shenoy , University of Texas at Austin
Harrick M. Vin , University of Texas at Austin
pp. 0012

Checkpointing and Its Applications (Abstract)

C. Kintala , AT&T Bell Labs., Murray Hill, NJ, USA
Kiem-Phong Vo , AT&T Bell Labs., Murray Hill, NJ, USA
Pe-Yu Chung , AT&T Bell Labs., Murray Hill, NJ, USA
Yi-Min Wang , AT&T Bell Labs., Murray Hill, NJ, USA
Yennun Huang , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0022
B1 - Synthesis

Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan (Abstract)

R.M. Chou , Mentor Graphics Corp., Warren, NJ, USA
Ning Jiang , Mentor Graphics Corp., Warren, NJ, USA
E.K. Saluja , Mentor Graphics Corp., Warren, NJ, USA
pp. 0041

Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable Microarchitectures (Abstract)

F.J. Kurdahi , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
S.Y. Ohm , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
D.M. Blough , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 0050
C1 - Software Demonstrations I: Systems

The Totem System (Abstract)

L.E. Moser , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
C.A. Lingley-Papadopoulos , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
T.P. Archambault , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
R.K. Budhia , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
P.M. Melliar-Smith , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
D.A. Agarwal , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 0061

Fault Tolerance for Off-the-Shelf Applications and Hardware (Abstract)

Z. Segall , Dept. of Comput. Sci., Oregon Univ., Eugene, OR, USA
M. Russinovich , Dept. of Comput. Sci., Oregon Univ., Eugene, OR, USA
pp. 0067
A2 - Interactive Consistency

Optimal Resiliency Against Mobile Faults (Abstract)

H. Buhrman , CWI, Amsterdam, Netherlands
J.A. Garay , CWI, Amsterdam, Netherlands
J.-H. Hoepman , CWI, Amsterdam, Netherlands
pp. 0083
B2 - Validation and Test

Systematic Validation of Pipeline Interlock for Superscalar Microarchitectures (Abstract)

J.P. Shen , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
T.A. Diep , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 0100

LOCSTEP: A Logic Simulation-Based Test Generation Procedure (Abstract)

Sudhakar M. Reddy , University of Iowa
Irith Pomeranz , University of Iowa
pp. 0110

OBDD-Based Optimization of Input Probabilities for Weighted Random Pattern Generation (Abstract)

Rolf Krieger , Johann Wolfgang Goethe-University
Can Okmen , Johann Wolfgang Goethe-University
Bernd Becker , Johann Wolfgang Goethe-University
pp. 0120
C2 - Software Demonstrations II: Tools

Dependability Modelling in a Prototype Development Framework (Abstract)

J.M. Bass , Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
P.R. Croll , Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
A. Browne , Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
P.J. Fleming , Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
S. Metge , Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
pp. 0131

ARMOR: Analyzer for Reducing Module Operational Risk (Abstract)

J.S. Yu , Commun. Res., Bellcore, Morristown, NJ, USA
M.R. Lu , Commun. Res., Bellcore, Morristown, NJ, USA
S.R. Dalal , Commun. Res., Bellcore, Morristown, NJ, USA
E. Keramidas , Commun. Res., Bellcore, Morristown, NJ, USA
pp. 0137
A3 - Distributed Algorithms

Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes (Abstract)

Richard Buskens , AT&T Bell Laboratories
Ronald Bianchini Jr , Carnegie Mellon University
pp. 0144

Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages (Abstract)

A. Olson , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
B.J. Jambor , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 0154

Process Allocation for Load Distribution in Fault-Tolerant Multicomputers (Abstract)

Jong Kim , Pohang University of Science and Technology
Heejo Lee , Pohang University of Science and Technology
Sunggu Lee , Pohang University of Science and Technology
pp. 0174
A4 - Fault Injection

A Model for the Analysis of the Fault Injection Process (Abstract)

A. Steininger , Dept. for Electr. Meas. Technol., Tech. Univ. Wien, Austria
H. Schweinzer , Dept. for Electr. Meas. Technol., Tech. Univ. Wien, Austria
pp. 0186

Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method (Abstract)

V. Sieh , Dept. of Comput. Sci. III, Erlangen-Nurnberg Univ., Germany
J. Guthoff , Dept. of Comput. Sci. III, Erlangen-Nurnberg Univ., Germany
pp. 0196

A Switch-Level Algorithm for Simulation of Transients in Combinational Logic (Abstract)

P. Liden , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
P. Dahlgren , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 0207
B4 - Self-Checking

Implicit Signature Checking (Abstract)

M. Rimen , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
J. Ohlsson , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 0218

Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers (Abstract)

Yinghua Min , Chinese Academy of Sciences
Yingquan Zhou , Chinese Academy of Sciences
Mike W. T. Wong , Hong Kong Polytechnic University
pp. 0238
A5 - Modeling and Evaluation
B5 - Distributed Shared Memory

Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory (Abstract)

G. Suri , AT&T Bell Labs., Murray Hill, NJ, USA
W.K. Fuchs , AT&T Bell Labs., Murray Hill, NJ, USA
B. Jannsens , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0279

Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory (Abstract)

T. Nanya , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
A. Savva , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 0299
A6 - Coding

A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems (Abstract)

E. Fujiwara , Graduate Sch. of Inf. Sci. & Eng., Tokyo Inst. of Technol., Japan
N. Kitakami , Graduate Sch. of Inf. Sci. & Eng., Tokyo Inst. of Technol., Japan
pp. 0310

Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault Tolerance (Abstract)

N.R. Mahapatra , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
S. Dutt , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
pp. 0320
B6 - Bridging Faults

A New Diagnosis Approach for Short Faults in Interconnects (Abstract)

Wei Kang Huang , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
F. Lombardi , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Chao Feng , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 0331

Fault Simulation of IDDQ Tests for Bridging Faults in Sequential Circuits (Abstract)

S. Chakravarty , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
J. Patel , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
P. Thadikaran , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
pp. 0340
C6 - Checkpointing and Recovery

Completely Asynchronous Optimistic Recovery with Minimal Rollbacks (Abstract)

J. D. Tygar , Carnegie Mellon University
David B. Johnson , Carnegie Mellon University
Sean W. Smith , Carnegie Mellon University
pp. 0361
A7a - Software Fault Tolerance

Software Rejuvenation: Analysis, Module and Applications (Abstract)

Nick Kolettis , AT&T Bell Laboratories
Chandra Kintala , AT&T Bell Laboratories
N. Dudley Fulton , AT&T Bell Laboratories
Yennun Huang , AT&T Bell Laboratories
pp. 0381
A7b - Robust Data Structures

On-Line Error Monitoring for Several Data Structures (Abstract)

G.F. Sullivan , AT&T Bell Labs., Murray Hill, NJ, USA
J.D. Bright , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0392

Checking the Integrity of Trees (Abstract)

G.F. Sullivan , AT&T Bell Labs., Murray Hill, NJ, USA
G.M. Masson , AT&T Bell Labs., Murray Hill, NJ, USA
J.D. Bright , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0402
A8 - Measurement

VAX/VMS Event Monitoring and Analysis (Abstract)

M.F. Buckley , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D.P. Siewiorek , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0414

Measurement of Failure Rate in Widely Distributed Software (Abstract)

R. Chillarege , Center for Software Eng., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J. Rosenthal , Center for Software Eng., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S. Biyani , Center for Software Eng., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0424

Evaluation of Software Dependability Based on Stability Test Data (Abstract)

Myron Hecht , SoHaR Incorporated
Dong Tang , SoHaR Incorporated
pp. 0434
B8 - Practical Experience Reports I: Architecture

Why Optimistic Message Logging Has Not Been Used in Telecommunications Systems (Abstract)

Yi-Min Wang , AT&T Bell Labs., Murray Hill, NJ, USA
Yennun Huang , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0459

Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution Processor System (Abstract)

B. Chia , HaL Comput. Syst., Campbell, CA, USA
H. Osone , HaL Comput. Syst., Campbell, CA, USA
N. Patkar , HaL Comput. Syst., Campbell, CA, USA
S. Thusoo , HaL Comput. Syst., Campbell, CA, USA
Chien Chen , HaL Comput. Syst., Campbell, CA, USA
R. Swami , HaL Comput. Syst., Campbell, CA, USA
D. Chang , HaL Comput. Syst., Campbell, CA, USA
D. Lyon , HaL Comput. Syst., Campbell, CA, USA
A. Dharmaraj , HaL Comput. Syst., Campbell, CA, USA
Y. Lu , HaL Comput. Syst., Campbell, CA, USA
N. Saxena , HaL Comput. Syst., Campbell, CA, USA
pp. 0464

Design Verification of a Super-Scalar RISC Processor (Abstract)

Aiman Kabakibo , HaL Computer Systems
Michael Chow , HaL Computer Systems
Manjunath Bogadi , HaL Computer Systems
Long Nguyen , HaL Computer Systems
Babu Turumella , HaL Computer Systems
Karunakara Menon , HaL Computer Systems
Shalesh Thusoo , HaL Computer Systems
Nirmal Saxena , HaL Computer Systems
pp. 0472
A9 - Object-Oriented Systems

Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor Model (Abstract)

M. Peercy , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
P. Banerjee , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 0479

Implementing Fault-Tolerant Applications Using Reflective Object-Oriented Programming (Abstract)

V. Nicomette , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
T. Perennou , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J. Fabre , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
R.J. Stroud , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
Zhixue Wu , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 0489

Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery (Abstract)

R.J. Stroud , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
Jie Xu , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
A. Romanovsky , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
Zhixue Wu , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
B. Randell , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
C.M.F. Rubira , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
pp. 0499
B9 - Practical Experience Reports II: Assessment

On the Development of Fault-Tolerant On-Board Control Software and Its Evaluation by Fault Injection (Abstract)

T. Vardanega , Eur. Space Agency, Noordwijk, Netherlands
J. Arlat , Eur. Space Agency, Noordwijk, Netherlands
J.-F. Chane , Eur. Space Agency, Noordwijk, Netherlands
W. Mader , Eur. Space Agency, Noordwijk, Netherlands
R. Messaros , Eur. Space Agency, Noordwijk, Netherlands
P. David , Eur. Space Agency, Noordwijk, Netherlands
pp. 0510

Modeling and Testing a Critical Fault-Tolerant Multi-Process System (Abstract)

R. Riter , Boeing Commercial Airplanes, Seattle, WA, USA
pp. 0516

Measuring Robustness of a Fault-Tolerant Aerospace System (Abstract)

J. Marshall , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
C.P. Dingman , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
D.P. Siewiorek , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 0522

Dependability at the User Interface (Abstract)

Aimee L. deChambeau , Carnegie Library of Pittsburgh
Roy A. Maxion , Carnegie Mellon University
pp. 0527

Panel Synopses (Abstract)

pp. 0537

Special Issue (PDF)

pp. 0547
90 ms
(Ver 3.1 (10032016))