Conferences
FastAbstracts
The
History
Archives
of
FastAbstracts
ISSRE
2003
ISSRE 2002
ISSRE
2001
ISSRE 2000
ISSRE 1999
ISSRE 1998
FTCS
1999
FTCS 1998
FTCS-19
The Nineteenth Annual International Symposium on Fault-Tolerant Computing
Chicago, Illinois
**************************************************
Some Related Problems in Architecture and Fault-Tolerance: Exception Detection,
Recovery, and Security
E.S. Davidson; pg.2
The Fault Tolerance Approach of the Advanced Architecture On-Board Processor
M.J. Iacoponi and D.K Vail; pg.6
Dependable Onboard Computer Systems with a New Method - Stepwise Negotiating
Voting
N. Kanekawa, H. Maejima, H. Kato and H. Ihara; pg. 13
Use of a Functional Programming Model in Fault Tolerant Parallel Processing
R. Harper, G. Nagle and M.A. Serrano; pg.20
An Economical Scan Design for Sequential Logic Test Generation
K.T. Cheng and V.D.Agrawal; pg.28
Row/Column Pattern Sensitive Fault Detection in RAMs via Built-In Self-Test
M. Franklin, K.K. Saluja and K Kinoshita; pg.36
Advanced Automatic Test Pattern Generation Techniques for Path Delay Faults
M.H. Schulz, K. Fuchs and F. Fink; pg.44
On Self-Diagnosable Multiprocessor Systems: Diagnosis by the Comparison
Approach
A. Sengupta and A.T. Dahbura; pg.54
Fault Diagnosis for Sparsely Interconnected Multiprocessor Systems
D.M. Blough, G.F. Sullivan and G.M. Masson; pg.62
Distributed Syndrome Decoding for Regular Interconnected Structures
A.K. Somani and V.K Agarwal; pg.70
Fault-Tolerance in a High-Speed 2D Convolver/Correlator: Starloc
L.M. Napolitano,Jr., D.D. Andaleon, K.R Berry, P.R. Bryson,S.R Klapp,
J.E. Leeper and G.R. Redinbo; pg.80
Imperfectly Connected 2-D Arrays for Image Processing
J.A. Trotter and W.R Moore; pg.88
Comprehensive Evaluation of a Two-Dimensional Configurable Array
O. Menzilcioglu, H.T. Kung and S.W. Song; pg.93
Easily Testable PLA-Based Finite State Machines
S. Devadas, H.K.T. Ma and A.R Newton; pg.102
The Design of Random-Testable Sequential Circuits
H.J. Wunderlich; pg.110
BALLAST: A Methodology for Partial Scan Design
R Gupta, R Gupta and M.A. Breuer; pg.118
Design of Fault-Tolerant Clocks with Realistic Failure Assumptions
N. Vasanthavada, P. Thambidurai and P.N. Marinos; pg.128
A Fast Timing Verification Method Based on the Independence of Units
T. Yoneda, K. Nakade and Y. Tohma; pg.134
Clock Synchronization in MAFT
P. Thambidurai, A.M. Finn, R.M. Kieckhafer and C.J. Walter; pg.142
Ultrahigh Reliability Estimates for Systems Exhibiting Globally Time-Dependent
Failure Processes
R.Geist, M. Smotherman and M. Brown
Evaluation of Fault-Tolerant Systems with Nonhomogeneous
Workloads
B.E. Aupperle, J.F. Meyer and L. Wei; pg.159
Modeling of Fault-Tolerant Techniques in Hierarchical
Systems
Y.B. Shieh, D. Ghosal and S.K Tripathi; pg.167
Performability of a Token Bus Network under
Transient Fault Conditions
J.F. Meyer, K.H. Muralidhar and W.H. Sanders; pg.175
Using Passive Replicates in Delta-4 to Provide
Dependable Distributed Computing
N.A. Speirs and P.A. Barrett; pg.184
Distance Agreement Protocols
K. Echtle; pg.191
A Design for a Fault-Tolerant, Distributed Implementation of Linda
A. Xu and B. Liskov; pg.199
Some New EC/AUED Codes
J. Bruck and M. Blaum; pg.208
Unidirectional 9-bit Byte Error Detecting Codes for Computer Memory Systems
L.A. Dunning, G. Dial and M. Varanasi; pg.216
Byte Unidirectional Error Correcting Codes
B. Bose; pg.222
Design of Efficient Balanced Codes
S Al-Bassam and B. Bose; pg.229
Defects and Reliability Analysis of Large Software
Systems: Field Experience
Y. Levendel; pg.238
Fault Tolerant Multiprocessor for Digital Switching
Systems
T. Yamada and S. Ogawa; pg.245
F-T in Telecommunications Networks: State, Perspectives, Trends
M. Morganti; pg.253
Reliable Design of High-Speed Cache and Control
Store Memories
R.W. Horst; pg.259
A System for Supporting Multi-Language Versions
for Software Fault Tolerance
J.M. Purtilo and P. Jalote; pg.268
Fault Identification in Robust Data Structures
A. Ravichandran and K. Kant; pg.275
Formal Verification of Programs with Exceptions
J.C. Bolot and P. Jalote; pg.283
Pseudo-Exhaustive Test and Segmentation: Formal
Definitions and Extended Fault Coverage Results
J.G. Udell,Jr. and E.J. McCluskey
Computations over Finite Monoids and Their Test
Complexity B. Becker and U. Sparmann; pg.299
A New Approach of Test Confidence Estimation
M. Jacomino and R. David; pg.307
..........................................................Interconnection
Networks
..........................................................Chair M. Dal-Cin
..........................................................Estimation of
Maximmm Currents for Fault Tolerant Design of Power Distnbution Systems
..........................................................in Integrated
Circuits 316
..........................................................S. Chowdhury
..........................................................A Proposal for
a Fault-Tolerant Binary Hypercube Architecture 323
..........................................................S-C Chad and
A.L. Liestrnan
..........................................................Message Routing
in HARTS with Faulty Components 331
..........................................................A. Olson and
KG. Shin
..........................................................Fault In jection
Experiments
..........................................................Chair: J. Goldberg
..........................................................Evaluation of
Error Detection Schemes Using Fault Injection by Heavy-Ion Radiation 340
JU. Gunneflo, J. Karlsson and J. Torin
..........................................................Fault Injection
for Dependability Validation of Fault-Tolerant Computing Systems 348
..........................................................J. Arlat, ~
Crouzet and J-C Lapric
..........................................................Understanding
Large System Failures - A Fault Injection Experiment 356
..........................................................R Chillarege
and ITS. Bowen
..........................................................Real Time Issues
..........................................................Chair: A. van
Tilborg
..........................................................Workload Redistribution
for Fault-Tolerance in a Hard Real-Time
..........................................................Distributed
Computing System 366
..........................................................S. Balaji L.
Jenkins, L.Al. Patnaik and P.S. Goel
..........................................................ModeHing Correlated
Transient Failures in Fault-Tolerant Systems 374
..........................................................CM. Krishna
and A.D. Singh
Optimal Control of Latent Fault Accumulation ; 382
MA. Iacoponi
Selt-Checking
Chair: G. Metze
..........................................................A Strongly Fault-Secwe
and Strongly Code-Disjoint Realization of Combinational Circuits 390
..........................................................T. Nanya and
M. Uchida
..........................................................A Generalized
Theory of Fail-Safe Systems 398
..........................................................M. Nicolaidis,
S. Noraz and B. Courtois
..........................................................Fault Detection
in CVS Parity Trees: Application to SSC CVS Parity and Two-Rail Checkers
407
..........................................................N.K Jha
..........................................................Panel: Computer-Aided
Design of Dependable Mission Critical Systems
..........................................................CoChairs: R.K.
Iyer and W. Bryant
..........................................................Predictably
Dependable Computing Systems 416
..........................................................B. Randell
..........................................................Techniques for
Facilitating the Design of Fault Tolerant Systems 417
..........................................................J.B. Dugan
..........................................................Simulation of
the JPL Mark-m Hypercube 418
..........................................................J. Peterson
..%x
..........................................................Automadng Missionridcal
Computing Systems Development 418
IWL Hcuncrdin~cr
............................................Advanced Information Processing
System Avionics Design Methodology ; 419
............................................AH. Gala
............................................Panel: Expert Systems for
Diagnosis and Diagnostics
IChair A.T. Dahbura
~ TERESA: An Expert System for Automatic Switched Services Maintenance
422
iP.H. Callahan
..........................................................Al Technology
for On-Line Fault Tesdag and Localizadon 422
IN. Ramada
..........................................................An Expert System
for Diagnosis of Local Area Networks 423
..........................................................M. Randimaicr
..........................................................Diagnosing Problems
in On-Line Computing Systems 424
..........................................................KR ~lilliten
~Concurrent Checking
IChair: H. Kopetz
..........................................................Control-Plow
Checking Using Watchdog Assists and Extended-Precision Checksums 428
..........................................................N.R Saxena and
EJ. McChtsicy
..........................................................A Study of Time-Redundant
Fault Tolerance Techniques
..........................................................for High-Performance
Pipelined Computers 436
..........................................................G.S. Sohi M.
Franklin and KK Salup
..........................................................A Theoretical
Investigation of Generalized Voters for Redundant Systems 444
..........................................................P.R Lor~zak
A.K Caglayan and D.E. Eckhardt
~Atomic Actions
IChair: R. Campbell
Replication within Atomic Actions and Conversations: A Case Study
in Pault-Tolerance Dually ................................4S4
L V. lKancini and S.K Shrivastava
i CHAOS: SuFqnart for Real-Tine Atomic Transactions ......462
IA. Gheith and K Schwan
..........................................................Language Constructs
for Tuned Atomic Commitment 470
..........................................................S. D - Don,
I. Lee and V. Wolfe
..........................................................Reicontlguration
..........................................................Chair: T. Kikuno
..........................................................Neural Computing
for Built-In Self-Repair of Embedded Memory Arrays 480
..........................................................P. Maa~mder
and J-S. Oh
..........................................................Bi-Level Reconfigurations
of Fault Tolerant Arrays in Bi-Modal Computational Environments 488
..........................................................RG. Mclhem
..........................................................An Automorphic
Approach to the Design of Fault-Tolerant Multiprocessors 496
..........................................................S. Dutt and
J.P. Hayes
..........................................................xxi
Recovery
Chair B. Randell
..........................................................On the Provision
of Baclcward Error Recovery in Production Programming T languages 506
..........................................................S.T. Gregory
and J.C Knight
..........................................................Hardware Assisted
Recovery from Transient Errors in Redundant Processing Systems 512
..........................................................SO. Adams
..........................................................Recoverable
Distributed Shared Virtual Memory Memory Coherence and Storage Structures
520
..........................................................K-L. mu and
W.K Fuchs
..........................................................M odeling4Evaluation
II
..........................................................Or: J.C. Laprie
..........................................................An An~tic~ Model
for Computing Hypercube Availability . S30
..........................................................C.R Das and
J. Kim
..........................................................Fad-Softacss
Evaluation in Multiple-Bus LAXER Computer Networks . S38
..........................................................V.V. Marker
and J.G. Kuhl
..........................................................Detaded Modeling
of Fault-Tolerant Processor Arrays . S4s
..........................................................N. Lopez-Benitez
and J.A.B. Fortes
..........................................................Diagnosis II
..........................................................Chair G. Masson
..........................................................Characterization
and Design of Sequentially t-Diagnosable Systems . sS4
..........................................................S. Huang, J.
Xu and T. Then
..........................................................Probabilistic
Diagnosis of Multiprocessor Systems with Arbitrary Connectivity 560
..........................................................D. Fussell and
S. Rangarajan
..........................................................Reliability
Analysis and Comparison of Two Fail-op/Fail-op/Fail-safe Architectures
566
..........................................................A.K Somani and
T.R. Sarnaik
..........................................................Author Index
574
..
XXII