In Memorium

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

PDF

Assessment of COTS Microkernels by Fault Injection (Abstract)

J.-C. Fabre, LAAS-CNRS

F. Salles, LAAS-CNRS

M. Rodríguez Moreno, LAAS-CNRS

J. Arlat, LAAS-CNRS

pp. 25

PDF

Coping with COTS

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

D.W. Caldwell, University of California at Los Angeles

D.A. Rennels, University of California at Los Angeles

pp. 47

PDF

Building Fault-Tolerant Hardware Clocks from COTS Components (Abstract)

Christof Fetzer

Flaviu Cristian

pp. 67

PDF

Formal Methods

A Methodology for Proving Control Systems with Lustre and PVS (Abstract)

S. Bensalem, VERIMAG

P. Caspi, VERIMAG

C. Parent-Vigouroux, VERIMAG

C. Dumas, VERIMAG

pp. 89

PDF

Prototyping and Formal Requirement Validation of GPRS: A Mobile Data Packet Radio Service for GSM (Abstract)

Laurent Andriantsiferana, University of Ottawa

Brahim Ghribi, University of Ottawa

Luigi Logrippo, University of Ottawa

pp. 109

PDF

Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality (Abstract)

A. Fantechi, Universit? di Firenze

L. Semini, Universit? di Firenze

S. Gnesi, C.N.R

pp. 129

PDF

Distributed Systems

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

Chetan Sabnis, University of Illinois at Urbana-Champaign

Michel Cukier, University of Illinois at Urbana-Champaign

Jennifer Ren, University of Illinois at Urbana-Champaign

Paul Rubel, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

David E. Bakken, BBN Technologies

David A. Karr, BBN Technologies

pp. 149

PDF

Improving Performance of Atomic Broadcast Protocols Using the Newsmonger Technique (Abstract)

Shivakant Mishra, University of Wyoming

Sudha M. Kuntur, MINC Incorporated

pp. 169

PDF

Time-Triggered Architecture

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

Hermann Kopetz, Technische Universit?t Wien

Dietmar Millinger, Technische Universit?t Wien

pp. 191

PDF

Formal Verification for Time-Triggered Clock Synchronization (Abstract)

Holger Pfeifer, Universit?t Ulm

Detlef Schwier, Universit?t Ulm

Friedrich W. von Henke, Universit?t Ulm

pp. 207

PDF

Fault Tolerance and Safety

PADRE: A Protocol for Asymmetric Duplex REdundancy (Abstract)

D. Essamé, LAAS-CNRS

J. Arlat, LAAS-CNRS

D. Powell, LAAS-CNRS

pp. 229

PDF

Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection (Abstract)

pp. 249

PDF

Models of Partitioning for Integrated Modular Avionics

A Model of Cooperative Noninterference for Integrated Modular Avionics (Abstract)

Ben L. Di Vito, NASA Langley Research Center

pp. 269

PDF

Invariant Performance: A Statement of Task Isolation Useful for Embedded Application Integration (Abstract)

Matthew M. Wilding, Rockwell Collins, Inc.

David S. Hardin, Rockwell Collins, Inc.

David A. Greve, Rockwell Collins, Inc.

pp. 287

PDF

A Model of Noninterference for Integrating Mixed Criticality Software Components (Abstract)

Bruno Dutertre

Victoria Stavridou

pp. 301

PDF

Dependability Evaluation

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

I. Mura, University of Pisa

A. Bondavalli, CNUCE/CNR

X. Zang, Duke University

K.S. Trivedi, Duke University

pp. 319

PDF

Dependability Evaluation using a Multi-Criteria Decision Analysis Procedure (Abstract)

Divya Prasad

John McDermid

pp. 339

PDF

Probabilistic Guarantees

Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems (Abstract)

pp. 361

PDF

Fault Detection for Byzantine Quorum Systems (Abstract)

pp. 379

PDF

Panel: Certification and Assessment of Critical Systems

Dependable Computing System Evaluation Criteria: SQUALE Proposal (Abstract)

Yves Deswarte, LAAS-CNRS

pp. 397

PDF

Author Index (PDF)

pp. 401