The Community for Technology Leaders
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2002)
Washington, D.C., USA
June 23, 2002 to June 26, 2002
ISBN: 0-7695-1597-5
TABLE OF CONTENTS
Introduction

DCC Reviewers (PDF)

pp. xxi

W.C. Carter Award (PDF)

pp. xxiv

IPDS Reviewers (PDF)

pp. xxvii
Plenary Session

Opening Remarks (PDF)

pp. null

Keynote Address (PDF)

Richard Mather Russell , Associate Director (Designate), Office of Science and Technology Policy
pp. null
Session 1A: Distributed Systems 1

Exactly-once Delivery in a Content-based Publish-Subscribe System (Abstract)

Yuanyuan Zhao , IBM T.J. Watson Research Center
Sumeer Bhola , IBM T.J. Watson Research Center
Joshua Auerbach , IBM T.J. Watson Research Center
Robert Strom , IBM T.J. Watson Research Center
Saurabh Bagchi , IBM T.J. Watson Research Center
pp. 7

An Adaptive Framework for Tunable Consistency and Timeliness Using Replication (Abstract)

Michel Cukier , University of Maryland at College Park
William H. Sanders , University of Illinois at Urbana-Champaign
Sudha Krishnamurthy , University of Illinois at Urbana-Champaign
pp. 17
Session 1B: Practical Experience Reports 1

Lessons Learned in Building a Fault-Tolerant CORBA System (Abstract)

P. Narasimhan , Carnegie Mellon University
P. M. Melliar-Smith , University of California at Santa Barbara
L. E. Moser , University of California at Santa Barbara
pp. 39

Formal Development of an Embedded Verifier for Java Card Byte Code (Abstract)

Lilian Burdy , Gemplus Research Labs
Ludovic Casset , Gemplus Research Labs
Antoine Requet , Gemplus Research Labs
pp. 51
Session 2A: Dependable Networking

An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed Networks (Abstract)

Z. Kalbarczyk , University of Illinois at Urbana-Champaign
R. Iyer , University of Illinois at Urbana-Champaign
B. Brothers , University of Illinois at Urbana-Champaign
B. Floering , University of Illinois at Urbana-Champaign
pp. 69

Edge-Based Fault Detection in a DiffServ Network (Abstract)

A. Striegel , Iowa State University
G. Manimaran , Iowa State University
pp. 79

An Evaluation of Connectivity in Mobile Wireless Ad Hoc Networks (Abstract)

Douglas M. Blough , Georgia Institute of Technology
Paolo Santi , Istituto di Informatica e Telematica
pp. 89
Session 3A: Modeling & Evaluation

Model Checking Performability Properties (Abstract)

Holger Hermanns , University of Twente
Joost-Pieter Katoen , University of Twente
pp. 103

Process Modelling to Support Dependability Arguments (Abstract)

Sofia Guerra , Adelard
Robin Bloomfield , Adelard and CSR City University
pp. 113

On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems (Abstract)

Mário Zenha Rela , Universidade de Coimbra - P?lo II
João Carlos Cunha , Instituto Superior de Engenharia de Coimbra
pp. 123
Session 3B: Software Techniques

On the Placement of Software Mechanisms for Detection of Data Errors (Abstract)

Arshad Jhumka , Chalmers University
Neeraj Suri , Chalmers University
Martin Hiller , Chalmers University
pp. 135

Robust Software — No More Excuses (Abstract)

John DeVale , Intel Corporation
Philip Koopman , Carnegie Mellon University
pp. 145

An Automated Approach to Increasing the Robustness of C Libraries (Abstract)

Christof Fetzer , AT&T Labs - Research
Zhen Xiao , AT&T Labs - Research
pp. 155
Session 4A: Distributed Systems II

Coordination of Mobile Processes with Mobile Groups (Abstract)

Flávio M. Assis Silva , Federal University of Bahia Campus de Ondina
Raimundo J. Araújo Macêdo , Federal University of Bahia Campus de Ondina
pp. 177

Optimizing Buffer Management for Reliable Multicast (Abstract)

Robbert van Renesse , Cornell University
Kenneth P. Birman , Cornell University
Zhen Xiao , AT&T Labs - Research
pp. 187
Session 4B: Practical Experience Reports II

Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application (Abstract)

Jonny Vinter , Chalmers University of Technology
Johan Karlsson , Chalmers University of Technology
Peter Folkesson , Chalmers University of Technology
Joakim Aidemark , Chalmers University of Technology
pp. 210
Session 5A: Security & Intrusion Tolerance

Masquerade Detection Using Truncated Command Lines (Abstract)

Tahlia N. Townsend , Carnegie Mellon University
Roy A. Maxion , Carnegie Mellon University
pp. 219

Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems (Abstract)

James Lyons , University of Illinois at Urbana-Champaign
HariGovind V. Ramasamy , University of Illinois at Urbana-Champaign
Michel Cukier , University of Maryland at College Park
William H. Sanders , University of Illinois at Urbana-Champaign
Prashant Pandey , IBM Almaden Research Center
pp. 229

Developing a Heterogeneous Intrusion Tolerant CORBA System (Abstract)

Brent Whitmore , Network Associates, Inc
David Sames , Network Associates, Inc
Brian Matt , Network Associates, Inc
Gregg Tally , Network Associates, Inc
David Bakken , Washington State University
Brian Niebuhr , Network Associates, Inc
pp. 239
Session 6A: Panel: Dependability and the Grid

Dependability and the Grid: Issues and Challenges (PDF)

Keith Marzullo , University of California at San Diego
Jim Plank , University of Tennessee
Richard D. Schlichting , AT&T Labs - Research
Carl Kesselman , University of Southern California
Santosh Shrivastava , University of Newcastle upon Tyne
Andrew Chien , University of California at San Diego/Entropia
pp. 263
Session 6B: Software and System Demonstrations

Mr. Fusion: A Programmable Data Fusion Middleware Subsystem with a Tunable Statistical Profiling Service (Abstract)

Andy Franz , Washington State University
Radek Mista , Washington State University
David Bakken , Washington State University
Curtis Dyreson , Washington State University
Murali Medidi , Washington State University
pp. 273

A Dependable SNMP-based Tool for Distributed Network Management (Abstract)

Elias Procópio Duarte Jr. , Federal University of Paraná
Luis Carlos Erpen De Bona , Federal University of Paraná
pp. 279

The Design and Implementation of an Intrusion Tolerant System (Abstract)

Ed Lawson , Teknowledge Corporation
Ryan Maglich , Teknowledge Corporation
James Just , Teknowledge Corporation
Karl Levitt , University of California at Davis
Larry Clough , Teknowledge Corporation
James Reynolds , Teknowledge Corporation
pp. 285
Session 7A: Group Communication

Probabilistic Multicast (Abstract)

Rachid Guerraoui , Swiss Federal Institute of Technology
Patrick Th. Eugster , Swiss Federal Institute of Technology
pp. 313
Session 7B: Practical Experience Reports III

Experimental Evaluation of a COTS System for Space Applications (Abstract)

F. Moreira , Critical Software
David Rennels , University of California at Los Angeles
D. Costa , Critical Software
Raphael R. Some , Jet Propulsion Laboratory
Henrique Madeira , University of Coimbra
pp. 325

Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System (Abstract)

Kishor S. Trivedi , Duke University
S. Dharmaraja , Duke University
Dong Chen , Duke University
Lei Li , Duke University
Raphael R. Some , Jet Propulsion Laboratory
Allen P. Nikora , Jet Propulsion Laboratory
Dongyan Chen , Duke University
pp. 337
Session 8A: Consensus & Failure Detectors

A Realistic Look At Failure Detectors (Abstract)

C. Delporte-Gallet , Université Paris VII - Denis Diderot
H. Fauconnier , Université Paris VII - Denis Diderot
R. Guerraoui , Swiss Federal Institute of Technology in Lausanne
pp. 345

Implementation and Performance Evaluation of an Adaptable Failure Detector (Abstract)

Olivier Marin , University of Le Havre and University Paris 6 - CNRS
Marin Bertier , University Paris 6 - CNRS
Pierre Sens , University Paris 6 - CNRS
pp. 354

A Versatile and Modular Consensus Protocol (Abstract)

Michel Raynal , IRISA, Campus de Beaulieu
Achour Mostefaoui , IRISA, Campus de Beaulieu
Sergio Rajsbaum , Compaq Research Lab
pp. 364

Small Byzantine Quorum Systems (Abstract)

Lorenzo Alvisi , University of Texas at Austin
Michael Dahlin , University of Texas at Austin
Jean-Philippe Martin , University of Texas at Austin
pp. 374
Session 9A: Hardware Architecture and Design

Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic (Abstract)

Michael Kistler , University of Texas at Austin and IBM Austin Research Laboratory
Premkishore Shivakumar , University of Texas at Austin
Lorenzo Alvisi , University of Texas at Austin
Stephen W. Keckler , University of Texas at Austin
Doug Burger , University of Texas at Austin
pp. 389
Session 9B: Detection and Correction

Track-Based Disk Logging (Abstract)

Lan Huang , State University of New York at Stony Brook
Tzi-cker Chiueh , State University of New York at Stony Brook
pp. 429

Transactional Rollback for Language-Based Systems (Abstract)

Algis Rudys , Rice University
Dan S. Wallach , Rice University
pp. 439

Time-Constrained Failure Diagnosis in Distributed Embedded Systems (Abstract)

John P. Hayes , University of Michigan
Nagarajan Kandasamy , University of Michigan
Brian T. Murray , Delphi Automotive Systems
pp. 449
Session 1C: IPDS Practical Experience Reports

Measuring End-User Availability on the Web: Practical Experience (Abstract)

Dan Patterson , University of California at Berkeley
Matthew Merzbacher , University of California at Berkeley
pp. 473

Jaca: A Reflective Fault Injection Tool Based on Patterns (Abstract)

Nelson G.M. Leme , State University of Campinas
Cecilia M.F. Rubira , State University of Campinas
Eliane Martins , State University of Campinas
pp. 483

Automatic Generation of Availability Models in RAScad (Abstract)

Ji Zhu , Sun Microsystems, Inc.
Roy Andrada , Sun Microsystems, Inc.
Dong Tang , Sun Microsystems, Inc.
pp. 488
Session 2C: Security and Fault Tolerance

Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors (Abstract)

Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
Jun Xu , University of Illinois at Urbana-Champaign
Keith Whisnant , University of Illinois at Urbana-Champaign
Shuo Chen , University of Illinois at Urbana-Champaign
pp. 495

Ditto Processor (Abstract)

Shih-Lien Lu , Intel
Shih-Chang Lai , Oregon State University
Jih-Kwon Peir , University of Florida
pp. 525
Session 3C: Modeling, Simulation, and Evaluation Tools

CAVEAT : A Tool for Software Validation (PDF)

A. Pacalet , CEA Saclay
P. Baudin , CEA Saclay
J. Raguideau , CEA Saclay
D. Schoen , CEA Saclay
N. Williams , CEA Saclay
pp. 537

C-Sim — The C Language Enhancement for Discrete-Time Simulations (PDF)

Stanislav Racek , University of West Bohemia in Pilsen
Jan Hlavicka , Czech Technical University in Prague
pp. 539

NFTAPE: Networked Fault Tolerance and Performance Evaluator (PDF)

D. Stott , University of Illinois at Urbana-Champaign
M. Hamman , University of Illinois at Urbana-Champaign
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
P. H. Jones , University of Illinois at Urbana-Champaign
R. K. Iyer , University of Illinois at Urbana-Champaign
pp. 542

PhFit: A General Phase-type Fitting Tool (PDF)

Andrea Bobbio , Università del Piemonte Orientale
Miklós Telek , Budapest University of Technology and Economics
András Horváth , Budapest University of Technology and Economics
pp. 543

SMART: Stochastic Model-checking Analyzer for Reliability and Timing (PDF)

A. S. Miner , Iowa State University
G. Ciardo , College of William and Mary
R. L. Jones, III , College of William and Mary
R. M. Marmorstein , College of William and Mary
R. Siminiceanu , College of William and Mary
pp. 545

Xception™ - Enhanced Automated Fault-Injection Environment (PDF)

Diamantino Costa , Critical Software SA
Luis Henriques , Critical Software SA
Ricardo Maia , Critical Software SA
Henrique Madeira , University of Coimbra
pp. 547
Session 4C: Performance and Dependability Modeling

Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements (Abstract)

Péter Urbán , École Polytechnique Fédérale de Lausanne
Andrea Coccoli , CNUCE-CNR
Andrea Bondavalli , Università di Firenze
pp. 551

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach (Abstract)

Ann T. Tai , IA Tech, Inc.
Savio N. Chau , Jet Propulsion Laboratory
Kam S. Tso , IA Tech, Inc.
William H. Sanders , University of Illinois at Urbana-Champaign
Leon Alkalai , Jet Propulsion Laboratory
pp. 561

A Simple Characterization of Provably Efficient Prefetching Algorithms (Abstract)

Kishor S. Trivedi , Duke University
Wei Jin , Duke University
Rakesh D. Barve , Winphoria Networks
pp. 571
Panel on Dependability Benchmarking: Methods, Techniques and Approaches

Joint Panel — IPDS and Workshop on Dependability Benchmarking (PDF)

Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravi Iyer , University of Illinois at Urbana-Champaign
Philip Koopman , Carnegie Mellon University
Haim Levendel , Motorola
Karama Kanoun , LAAS-CNRS
Henrique Madeira , University of Coimbra
Ravi Iyer , University of Illinois at Urbana-Champaign
Don Wilson , Compaq
Brendan Murphy , Microsoft UK
Larry Votta , Sun Microsystems
Gunter Heiner , Daimler-Chrysler
pp. null
Session 5C: Fault Tolerant Design and Evaluation

An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications (Abstract)

K. Whisnant , University of Illinois at Urbana-Champaign
R. K. Iyer , University of Illinois at Urbana-Champaign
P. Jones , University of Illinois at Urbana-Champaign
R. Some , Jet Propulsion Laboratory
D. Rennels , University of California at Los Angeles
pp. 585

Pinpoint: Problem Determination in Large, Dynamic Internet Services (Abstract)

Eric Brewer , University of California at Berkeley
Mike Y. Chen , University of California at Berkeley
Eugene Fratkin , Stanford University
Armando Fox , Stanford University
Emre Kiciman , Stanford University
pp. 595

Reducing Recovery Time in a Small Recursively Restartable System (Abstract)

Rushabh Doshi , Stanford University
Priyank Garg , Stanford University
James Cutler , Stanford University
Rakesh Gowda , Stanford University
Armando Fox , Stanford University
George Candea , Stanford University
pp. 605

Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults (Abstract)

Marco Vieira , Polytechnic Institute of Coimbra
Henrique Madeira , University of Coimbra
pp. 615
Session 6C: Modeling Techniques

The Scale Factor: A New Degree of Freedom in Phase Type Approximation (Abstract)

Andrea Bobbio , Università del Piemonte Orientale
András Horváth , Budapest University of Technology and Economics
Miklós Telek , Budapest University of Technology and Economics
pp. 627
Session 7C: Invited Industry Session: Measurements and Evaluation

Application Performance using End-to-End User Level Monitoring (Abstract)

Siddhartha Dalal , Telcordia Technologies
Yu-Yun Ho , Telcordia Technologies
Allen McIntosh , Telcordia Technologies
Ashish Jain , Telcordia Technologies
pp. 694
Session 8C: Internet Performance and Dependability

Resource Management Policies in GPRS Wireless Internet Access Systems (Abstract)

Cecilia Batetta , Politecnico di Torino
Marco Ajmone Marsan , Politecnico di Torino
Michela Meo , Politecnico di Torino
pp. 707
Session 9C: Modeling, Measurement and Analysis of Distributed Systems

Self-Organizing Systems with Self-Diagnosability (Abstract)

Kiyoaki Yoshida , Kurume Institute of Technology
Yasumasa Sujaku , Kurume Institute of Technology
Tohru Kohda , Kyushu University
pp. 755

A Compositional Approach to Monitoring Distributed Systems (Abstract)

Mohammad Zulkernine , University of Waterloo
Rudolph E. Seviora , University of Waterloo
pp. 763

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization (Abstract)

S. Bernardi , Università di Torino
P. Ballarini , Università di Torino
S. Donatelli , Università di Torino
pp. 773
Workshops

Intrusion Tolerant Systems Workshop (PDF)

Carl E. Landwehr , Mitretek Systems, Inc.
Steven M. Bellovin , AT&T Labs Research
pp. 785

Workshop on Dependability Benchmarking (PDF)

Philip Koopman , Carnegie Mellon University
Henrique Madeira , University of Coimbra
pp. 790

Workshop on Dependable Middleware-Based Systems (PDF)

Pascal Felber , Institut Eurecom
Priya Narasimhan , Carnegie Mellon University
pp. 792

Scalable, Uniterruptible Computing (PDF)

Dimiter Avresky , Northeastern University
pp. 794
DCC Author Index

DCC Author Index (PDF)

pp. 795
IPDS Author Index
DSN 2003 Call for Papers
105 ms
(Ver 3.1 (10032016))