The Community for Technology Leaders
Dependable Computing for Critical Applications (1999)
San Jose, California
Jan. 6, 1999 to Jan. 8, 1999
ISBN: 0-7695-0284-9
TABLE OF CONTENTS

In Memorium (PDF)

pp. v

Foreword (PDF)

pp. xi

Organizers (PDF)

pp. xii
Assessment of COTS Components

Microprocessor Entomology: A Taxonomy of Design Faults in COTS Microprocessors (Abstract)

Algirdas Avizienis , University of California at Los Angeles
Yutao He , University of California at Los Angeles
pp. 3

Assessment of COTS Microkernels by Fault Injection (Abstract)

J.-C. Fabre , LAAS-CNRS
F. Salles , LAAS-CNRS
J. Arlat , LAAS-CNRS
pp. 25
Coping with COTS

Minimalist Recovery Techniques for Single Event Effects in Spaceborne Microcontrollers (Abstract)

D.A. Rennels , University of California at Los Angeles
D.W. Caldwell , University of California at Los Angeles
pp. 47
Formal Methods
Distributed Systems

Proteus: A Flexible Infrastructure to Implement Adaptive Fault Tolerance in AQuA (Abstract)

Chetan Sabnis , University of Illinois at Urbana-Champaign
David A. Karr , BBN Technologies
David E. Bakken , BBN Technologies
Michel Cukier , University of Illinois at Urbana-Champaign
Jennifer Ren , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
Paul Rubel , University of Illinois at Urbana-Champaign
pp. 149
Time-Triggered Architecture

The Transparent Implementation of Fault Tolerance in the Time-Triggered Architecture (Abstract)

Dietmar Millinger , Technische Universit?t Wien
Hermann Kopetz , Technische Universit?t Wien
pp. 191
Fault Tolerance and Safety

PADRE: A Protocol for Asymmetric Duplex REdundancy (Abstract)

J. Arlat , LAAS-CNRS
D. Essamé , LAAS-CNRS
D. Powell , LAAS-CNRS
pp. 229
Models of Partitioning for Integrated Modular Avionics
Dependability Evaluation

Dependability Modeling and Evaluation of Phased Mission Systems: A DSPN Approach (Abstract)

X. Zang , Duke University
K.S. Trivedi , Duke University
I. Mura , University of Pisa
A. Bondavalli , CNUCE/CNR
pp. 319
Probabilistic Guarantees
Panel: Certification and Assessment of Critical Systems

Author Index (PDF)

pp. 401
90 ms
(Ver 3.3 (11022016))