The Community for Technology Leaders
Fault-Tolerant Computing, International Symposium on (1997)
Seattle, WA
June 25, 1997 to June 27, 1997
ISSN: 0731-3071
ISBN: 0-8186-7831-3
TABLE OF CONTENTS

Reviewers (PDF)

pp. xvi
Session 1A: Distributed Systems, Chair: D. Taylor, University of Waterloo

Managing Dependencies - A Key Problem in Fault-Tolerant Distributed Algorithms (Abstract)

Peter Theisohn , GMD - German National Research Center for Information Technology
Michael Mock , GMD - German National Research Center for Information Technology
Edgar Nett , GMD - German National Research Center for Information Technology
pp. 2

An Approach to Fault-tolerant Parallel Processing on Intermittently Idle, Heterogeneous Workstations (Abstract)

Surendranath Talla , New York University
Karpjoo Jeong , Cornell University
Peter Wyckoff , New York University
Dennis Shasha , New York University
pp. 11

Renegotiable Quality of Service -- A New Scheme for Fault Tolerance in Wireless Networks (Abstract)

Michael R. Lyu , Bell Laboratories, Lucent Technologies
Tsu-Wei Chen , Bell Laboratories, Lucent Technologies
Cormac Sreenan , Bell Laboratories, Lucent Technologies
John A. Trotter , Bell Laboratories, Lucent Technologies
Paul Krzyzanowski , Bell Laboratories, Lucent Technologies
pp. 21
Session 1B: Dependability Evaluation, Chair: C.S. Raghavendra, Washington State University

VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions (Abstract)

Oliver Tschäche , University of Erlangen-N?rnberg
Frank Balbach , University of Erlangen-N?rnberg
Volkmar Sieh , University of Erlangen-N?rnberg
pp. 32

Evaluation of a 32-bit Microprocessor with Built-In Concurrent Error-Detection (Abstract)

Jiri Gaisler , European Space Research and Technology Centre
pp. 42
Session 2A: Checkpointing and Recovery, Chair: N. Vaidya, Texas A&M University

Probabilistic Checkpointing (Abstract)

Sunggu Lee , Pohang University of Science and Technology
SungJe Hong , Pohang University of Science and Technology
Jong Kim , Pohang University of Science and Technology
Hyo-chang Nam , Pohang University of Science and Technology
pp. 48
Session 2B: User Interfaces and Object-Oriented Testing, Chair: C. Walter, WW Technology Group

MetriStation: A Tool for User-Interface Fault Detection (Abstract)

Roy A. Maxion , Carnegie Mellon University
Philip A. Syme , Carnegie Mellon University
pp. 89
Session 3A: Work In Progress and Outrageous Opinions, Organizer: R.D. Schlichting, University of Arizona
Session 3B: Real-Time Systems, Chair: N. Suri, New Jersey Institute of Technology

How Hard is Hard Real-Time Communication on Field-Buses? (Abstract)

J. Rufino , F.C.U.L. - University of Lisboa
L. Ming , F.C.U.L. - University of Lisboa
P. Veríssimo , F.C.U.L. - University of Lisboa
pp. 112

Experimental Evaluation of Failure-Detection Schemes in Real-time Communication Networks (Abstract)

Kang G. Shin , Real-Time Computing Laboratory The University of Michigan
Seungjae Han , Real-Time Computing Laboratory The University of Michigan
pp. 122
Session 4A: Test Generation, Chair: N. Saxena, Silicon Graphics

Robust Search Algorithms for Test Pattern Generation (Abstract)

Karem A. Sakallah , University of Michigan
Joao P. Marques Silva , Cadence European Labs, IST/INESC
pp. 152

Optimal Structural Diagnosis of Wiring Networks (Abstract)

Weiping Shi , University of North Texas
Douglas B. West , University of Illinois at Urbana-Champaign
pp. 162
Session 4B: Scheduling and Recovery, Chair: S.-Y. Kuo, National Taiwan University

Fault Recovery Mechanism for Multiprocessor Servers (Abstract)

Tomofumi Shimada , Information and Communication Systems Laboratory, Toshiba Corporation
Hideaki Hirayama , Information and Communication Systems Laboratory, Toshiba Corporation
Yoshio Masubuchi , Information and Communication Systems Laboratory, Toshiba Corporation
Nobuhiro Kato , Information and Communication Systems Laboratory, Toshiba Corporation
Satoshi Hoshina , Information and Communication Systems Laboratory, Toshiba Corporation
pp. 184
Session 5A: Exploiting Redundancy, Chair: E. Fujiwara, Tokyo Institute of Technology

Using Non-Volatile Storage to Improve the Reliability of RAID5 Disk Arrays (Abstract)

Yale N. Patt , University of Michigan, Ann Arbor
Robert Y. Hou , University of Michigan, Ann Arbor
pp. 206

Using Virtual Links for Reliable Information Retrieval Across Point-to-Point Networks (Abstract)

Fabrizio Lombardi , Texas A&M University and Fudan University
Fred J. Meyer , Texas A&M University and Fudan University
Xiao-Tao Chen , Texas A&M University and Fudan University
Wei Kang Huang , Texas A&M University and Fudan University
pp. 216

On the Design of Constant Weight Codes for VLSI Systems (Abstract)

L. G. Tallini , Oregon State University
B. Bose , Oregon State University
pp. 226
Session 5B: Fault Injection, Chair: L. Simoncini, CNR

On Finding An Optimal Combination Of Error Detection Mechanisms Based On Results Of Fault Injection Experiments (Abstract)

A. Steininger , Dept. of Meas. Technol., Wien Univ. of Technol., Austria
C. Scherrer , Dept. of Meas. Technol., Wien Univ. of Technol., Austria
pp. 238

Dependability Analysis Of A Commercial High-Speed Network (Abstract)

G.L. Ries , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
R.K. Iyer , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
D.T. Stott , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
M.-C. Hsueh , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 248

Fault-Injection-Based Testing Of Fault-Tolerant Algorithms In Message-Passing Parallel Computers (Abstract)

Douglas M. Blough , University of California at Irvine
Tatsuhiro Torii , University of California at Irvine
pp. 258
Session 6: Tool Demonstrations
Session 7A: Robust Algorithms, Chair: F. Jahanian, University of Michigan

Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts (Abstract)

N. A. Lynch , Massachusetts Institute of Technology
A. A. Shvartsman , Massachusetts Institute of Technology
pp. 272

Fail-Awareness: An Approach to Construct Fail-Safe Applications (Abstract)

Christof Fetzer , University of California
Flaviu Cristian , University of California
pp. 282
Session 7B: Experience with Distributed Systems, Chair: N. Kanekawa, Hitachi

Integrating Checkpointing with Transaction Processing (Abstract)

Yi-Min Wang , (AT&T Labs)
P. Y. Chung , (Bell Labs, Lucent Technologies)
E. N. Elnozahy , (Carnegie Mellon University)
Y. Huang , (Bell Labs, Lucent Technologies)
pp. 304

Implementing the Swiss Exchange Trading System (Abstract)

Rico Piantoni , SWX Swiss Exchange
Constantin Stancescu , SWX Swiss Exchange
pp. 309
Session 8A: Design for Testing and Reliability, Chair: G. Choi, Texas A&M University

Partial Scan beyond Cycle Cutting (Abstract)

Gurjeet S. Saund , Center for Reliable and High-Performance Computing
Michael S. Hsiao , Center for Reliable and High-Performance Computing
Janak H. Patel , Center for Reliable and High-Performance Computing
pp. 320

Microarchitectural Synthesis Of ICs With Embedded Concurrent Fault Isolation (Abstract)

A. Orailoglu , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
S.N. Hamilton , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 329

COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance (Abstract)

Bharat P. Dave , Department of Electrical Engineering Princeton University, Princeton, NJ 08544
Niraj K. Jha , Department of Electrical Engineering Princeton University, Princeton, NJ 08544
pp. 339
Session 8B: Panel
Session 9: Tool Demonstrations
Session 10A: Modeling and Prediction, Chair: J.-C. Laprie, LAAS-CNRS

A General Model for Reliability Maximization Problem under Given Redundancy (Abstract)

Satoshi Morinaga , C&C Research Laboratories NEC Corporation
pp. 363

Predicting Physical Processes in the Presence of Faulty Sensor Readings (Abstract)

Matthew Clegg , University of California, San Diego
Keith Marzullo , University of California, San Diego
pp. 373
Session 10B: Experience with Large-Scale Systems, Chair: N. Bowen, IBM

Experimental Evaluation Of Computer-Based Railway Control Systems (Abstract)

L. Impagliazzo , Ansald-Cris, Napoli, Italy
F. Poli , Ansald-Cris, Napoli, Italy
P. Marmo , Ansald-Cris, Napoli, Italy
A.M. Amendola , Ansald-Cris, Napoli, Italy
pp. 380

Author Index (PDF)

pp. 395
91 ms
(Ver )