The Community for Technology Leaders
2001 International Conference on Dependable Systems and Networks (2001)
Goteborg, Sweden
July 1, 2001 to July 4, 2001
ISBN: 0-7695-1101-5
TABLE OF CONTENTS

Program Committee (PDF)

pp. xvii

Reviewers (PDF)

pp. xx

W.C. Carter Award (PDF)

pp. xxii
Session 1: Plenary
Session 2A: Modeling - John Meyer

Techniques for Estimation of Design Diversity for Combinational Logic Circuits (Abstract)

Subhasish Mitra , Stanford University
Nirmal R. Saxena , Stanford University
Edward J. McCluskey , Stanford University
pp. 0025
Session 2B: Algorithms - David Powell

Fault-Tolerant High-Performance Matrix Multiplication: Theory and Practice (Abstract)

John A. Gunnels , The University of Texas at Austin
Robert A. van de Geijn , The University of Texas at Austin
Daniel S. Katz , California Institute of Technology
Enrique S. Quintana-Ortí , Universidad Jaume I
pp. 0047

How to Model Link Failures: A Perception-Based Fault Model (Abstract)

Ulrich Schmid , Technische Universit?t Wien
pp. 0057
Session 2C: Panel
Session 3A: Software Demos - T. Basil Smith

A Checkpointing Tool for Palm Operating System (Abstract)

Chi-Yi Lin , National Taiwan University
Sy-Yen Kuo , National Taiwan University
Yennun Huang , PreCache Inc
pp. 0071

GOOFI: Generic Object-Oriented Fault Injection Tool (Abstract)

Joakim Aidemark , Chalmers University of Technology
Jonny Vinter , Chalmers University of Technology
Peter Folkesson , Chalmers University of Technology
Johan Karlsson , Chalmers University of Technology
pp. 0083
Session 3B: Replication - Jean-Claude Laprie

Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers (Abstract)

Y. Wang , Southeast University
F. Brasileiro , Federal University of Para?ba
E. Anceaume , IRISA
F. Greve , IRISA
M. Hurfin , IRISA
pp. 0097

A Dynamic Replica Selection Algorithm for Tolerating Timing Faults (Abstract)

Sudha Krishnamurthy , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
Michel Cukier , University of Illinois at Urbana-Champaign
pp. 0107

Online Reconfiguration in Replicated Databases Based on Group Communication (Abstract)

Bettina Kemme , McGill University
Alberto Bartoli , Universit? di Trieste
Özalp Babaoglu , University of Bologna
pp. 0117
Session 4A: Software Robustness - David Taylor

Robustness Testing and Hardening of CORBA ORB Implementations (Abstract)

Jiantao Pan , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
Daniel Siewiorek , Carnegie Mellon University
Yennun Huang , PreCache Inc.
Robert Gruber , AT&T Labs - Research
pp. 0141

Constructing Self-Testable Software Components (Abstract)

Eliane Martins , State University of Campinas (Unicamp)
Cristina Maria Toyota , State University of Campinas (Unicamp)
Rosileny Lie Yanagawa , State University of Campinas (Unicamp)
pp. 0151

An Approach for Analysing the Propagation of Data Errors in Software (Abstract)

Martin Hiller , Chalmers University
Arshad Jhumka , Chalmers University
Neeraj Suri , Chalmers University
pp. 0161
Session 4B: Survivability and Security - Yves Deswarte

Enhancing Survivability of Security Services Using Redundancy (Abstract)

Matti A. Hiltunen , AT&T Shannon Laboratory
Richard D. Schlichting , AT&T Shannon Laboratory
Carlos A. Ugarte , The University of Arizona
pp. 0173

Protection of Software-Based Survivability Mechanisms (Abstract)

Chenxi Wang , University of Virginia
Jonathan Hill , University of Virginia
John Knight , University of Virginia
Jack Davidson , Microsoft Research
pp. 0193

Intrusion-Tolerant Group Management in Enclaves (Abstract)

Bruno Dutertre , SRI International
Hassen Saïdi , SRI International
Victoria Stavridou , SRI International
pp. 0203
Session 5A: Wireless and Mobile Communications - Andrea Bondavalli

FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach (Abstract)

Stefan Pleisch , IBM Research
André Schiper , Swiss Federal Inst. of Technology (EPFL)
pp. 0215

A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller (Abstract)

S. Bagchi , University of Illinois at Urbana-Champaign
Y. Liu , University of Illinois at Urbana-Champaign
K. Whisnant , University of Illinois at Urbana-Champaign
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
R. Iyer , University of Illinois at Urbana-Champaign
Y. Levendel , Motorola Inc.
L. Votta , Motorola Inc.
pp. 0225

Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems (Abstract)

F. Tataranni , University of Pisa
S. Porcarelli , University of Pisa
A. Bondavalli , University of Firenze
pp. 0235
Session 6A: Consistency - Elmootazbellah Elnozahy

A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs (Abstract)

Subramanian Lakshmanan , Georgia Institute of Technology
Mustaque Ahamad , Georgia Institute of Technology
H. Venkateswaran , Georgia Institute of Technology
pp. 0251

State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects (Abstract)

P. Narasimhan , University of California, Santa Barbara
L.E. Moser , University of California, Santa Barbara
P.M. Melliar-Smith , University of California, Santa Barbara
pp. 0261

A Procedure-Based Dynamic Software Update (Abstract)

Janghoon Lyu , Hanyang University
Youngjin Kim , Hanyang University
Yongsub Kim , Hanyang University
Inhwan Lee , Hanyang University
pp. 0271
Session 7A: Real-Time - Gerhard Fohler

Design and Evaluation of Routing Schemes for Dependable Real-Time Connections (Abstract)

Songkuk Kim , The University of Michigan
Daji Qiao , The University of Michigan
Sharath Kodase , The University of Michigan
Kang G. Shin , The University of Michigan
pp. 0285

Performance Evaluation of Dependable Real-Time Communication with Elastic QoS (Abstract)

Jong Kim , Pohang University of Science & Technology
Kang G. Shin , The University of Michigan
pp. 0295

A Study of Failure Models in Feedback Control Systems (Abstract)

João Carlos Cunha , Instituto Superior de Engenharia de Coimbra
Ricardo Maia , Universidade de Coimbra - P?lo II
Mário Zenha Rela , Universidade de Coimbra - P?lo II
João Gabriel Silva , Universidade de Coimbra - P?lo II
pp. 0314
Session 7B: Testing and Runtime Error Detection - Henrique Madeira

Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recovery (Abstract)

Jonny Vinter , Chalmers University of Technology
Joakim Aidemark , Chalmers University of Technology
Peter Folkesson , Chalmers University of Technology
Johan Karlsson , Chalmers University of Technology
pp. 0347

Run-Time Fault Detection in Monitor Based Concurrent Programming (Abstract)

Jiannong Cao , Hong Kong Polytechnic University
Nick K.C. Cheung , Hong Kong Polytechnic University
Alvin T.S. Chan , Hong Kong Polytechnic University
pp. 0357
Session 8A: Models for Fault Tolerance - Andras Pataricza

Synergistic Coordination between Software and Hardware Fault Tolerance Techniques (Abstract)

Ann T. Tai , IA Tech, Inc.
Kam S. Tso , IA Tech, Inc.
Leon Alkalai , California Institute of Technology
Savio N. Chau , California Institute of Technology
William H. Sanders , University of Illinois
pp. 0369

Graybox Stabilization (Abstract)

Anish Arora , The Ohio State University
Murat Demirbas , The Ohio State University
Sandeep S. Kulkarniy , Michigan State University
pp. 0389
Session 8B: Hardware Architecture and Design - Joerg Kaiser

REESE: A Method of Soft Error Detection in Microprocessors (Abstract)

Joel B. Nickel , Iowa State University
Arun K. Somani , Iowa State University
pp. 0401

A Fault Tolerant Approach to Microprocessor Design (Abstract)

Chris Weaver , Advanced Computer Architecture Laboratory, University of Michigan
Todd Austin , Advanced Computer Architecture Laboratory, University of Michigan
pp. 0411

An Experimental Study of Security Vulnerabilities Caused by Errors (Abstract)

Jun Xu , University of Illinois at Urbana-Champaign
Shuo Chen , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
pp. 0421
Session 9A: Group-Oriented Systems - Yair Amir

Scalable Fault-Tolerant Aggregation in Large Process Groups (Abstract)

Indranil Gupta , Cornell University
Robbert Van Renesse , Cornell University
Kenneth P. Birman , Cornell University
pp. 0433

Lightweight Probabilistic Broadcast (Abstract)

P. Th. Eugster , Federal Institute of Technology
R. Guerraoui , Federal Institute of Technology
S. B. Handurukande , Federal Institute of Technology
P. Kouznetsov , Federal Institute of Technology
A.-M. Kermarrec , Microsoft Research
pp. 0443

Middleware Support for Voting and Data Fusion (Abstract)

David E. Bakken , Washington State University
Zhiyuan Zhan , Washington State University
Christopher C. Jones , BBN Technologies
David A. Karr , BBN Technologies
pp. 0453

The SIMBA User Alert Service Architecture for Dependable Alert Delivery (Abstract)

Yi-Min Wang , Microsoft Research
Paramvir Bahl , Microsoft Research
Wilf Russell , Microsoft Research
pp. 0463
Session 9B: Practical Experience I - W. Kent Fuchs

Recovery in Fault-Tolerant Distributed Microcontrollers (Abstract)

David A. Rennels , University of California at Los Angeles
Riki Hwang , University of California at Los Angeles
pp. 0475

The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform (Abstract)

Thomas C. Bressoud , Bell Laboratories, Lucent Technologies
Tom Clark , Lucent San Jose Labs, Lucent Technologies
Ti Kan , Lucent San Jose Labs, Lucent Technologies
pp. 0487
Session 10A: Practical Experience II - Jay Lala

A Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance (Abstract)

Raphael R. Some , Jet Propulsion Laboratory, California Institute of Technology
Won S. Kim , Jet Propulsion Laboratory, California Institute of Technology
Garen Khanoyan , Jet Propulsion Laboratory, California Institute of Technology
Leslie Callum , Jet Propulsion Laboratory, California Institute of Technology
Anil Agrawal , Jet Propulsion Laboratory, California Institute of Technology
John J. Beahan , Jet Propulsion Laboratory, California Institute of Technology
pp. 0501

Hazard Analysis in Object Oriented Design of Dependable Systems (Abstract)

Per Johannessen , Volvo Car Corporation
Christian Grante , Volvo Car Corporation
Anders Alminger , Volvo Car Corporation
Ulrik Eklund , Volvo Car Corporation
Jan Torin , Chalmers University of Technology
pp. 0507

Byzantine Fault Tolerance Can Be Fast (Abstract)

Miguel Castro , Microsoft Research Ltd.
Barbara Liskov , MIT Laboratory for Computer Science
pp. 0513

Performance Evaluation of Exception Handling in I/O Libraries (Abstract)

John DeVale , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 0519
Session 10B: Fast Abstracts II
87 ms
(Ver 3.3 (11022016))