The Community for Technology Leaders
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2003)
San Francisco, California
June 22, 2003 to June 25, 2003
ISBN: 0-7695-1952-0
TABLE OF CONTENTS
Introduction

DCC Reviewers (PDF)

pp. xix

IPDS Reviewers (PDF)

pp. xxv
Session 1A: Safety and Security

Masquerade Detection Using Enriched Command Lines (Abstract)

Roy A. Maxion , Carnegie Mellon University
pp. 5
Session 1B: Broadcast and Publish/Subscribe

Adaptive Gossip-Based Broadcast (Abstract)

L. Rodrigues , U. de Lisboa
J. Pereira , U. do Minho
A.-M. Kermarrec , Microsoft Research
pp. 47

Scalably Supporting Durable Subscriptions in a Publish/Subscribe System (Abstract)

Sumeer Bhola , IBM T.J. Watson Research Center
Yuanyuan Zhao , IBM T.J. Watson Research Center
Joshua Auerbach , IBM T.J. Watson Research Center
pp. 57
Session 2A: Practical Experience and Demonstrations — 1

Integrating Recovery Strategies into a Primary Substation Automation System (Abstract)

G. Deconinck , K.U.Leuven-ESAT
R. Belmans , K.U.Leuven-ESAT
J. Szanto , CESI
V. De Florio , K.U.Leuven-ESAT
pp. 80

The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments (Abstract)

Marco Vieira , Polytechnic Institute of Coimbra
Henrique Madeira , University of Coimbra
Jo? Costa , Polytechnic Institute of Coimbra
pp. 86
Session 2B: Dependability Evaluation

Definition of Software Fault Emulation Operators: A Field Data Study (Abstract)

Henrique Madeira , University of Coimbra
Jo? Dur?es , Polytechnic Institute of Coimbra
pp. 105

Robustness Benchmarking for Hardware Maintenance Events (Abstract)

Ira Pramanick , Sun Microsystems, Inc.
James Mauro , Sun Microsystems, Inc.
Ji Zhu , Sun Microsystems, Inc.
pp. 115

Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology (Abstract)

Astrit Ademaj , Vienna University of Technology
Jan Torin , Chalmers University of Technology
H?kan Sivencrona , SP Swedish National Testing and Research Institute Department of Electronics and Software
G?nther Bauer , Vienna University of Technology
pp. 123
Session 4A: Dependability Algorithms

LSRP: Local Stabilization in Shortest Path Routing (Abstract)

Anish Arora , Ohio State University
Hongwei Zhang , Ohio State University
pp. 139

A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas (Abstract)

Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravi Iyer , University of Illinois at Urbana-Champaign
Claudio Basile , University of Illinois at Urbana-Champaign
pp. 149
Session 5A: Network Fault Tolerance

Detection and Handling of MAC Layer Misbehavior in Wireless Networks (Abstract)

Pradeep Kyasanur , University of Illinois at Urbana-Champaign
Nitin H. Vaidya , University of Illinois at Urbana-Champaign
pp. 173

A Study of Packet Delivery Performance during Routing Convergence (Abstract)

Lan Wang , University of California at Los Angeles
S. Felix Wu , University of California at Davis
Daniel Massey , University of Southern California
Lixia Zhang , University of California at Los Angeles
Dan Pei , University of California at Los Angeles
pp. 183

Low Overhead Fault Tolerant Networking in Myrinet (Abstract)

Israel Koren , University of Massachusetts at Amherst
C.M. Krishna , University of Massachusetts at Amherst
Vijay Lakamraju , University of Massachusetts at Amherst
pp. 193
Session 6A: Services for Distributed Computing

Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks (Abstract)

P. Maestrini , Universit? di Pisa and Istituto di Scienza e Tecnologie dell?Informazione "A. Faedo"
S. Chessa , Universit? di Pisa and Istituto di Scienza e Tecnologie dell?Informazione "A. Faedo"
pp. 207

Design, Implementation, and Evaluation of Repairable File Service (Abstract)

Tzi-Cker Chiueh , State University of New York at Stony Brook
Ningning Zhu , State University of New York at Stony Brook
pp. 217

From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits (Abstract)

Neil Speirs , University of Newcastle upon Tyne
Paul Ezhilchelvan , University of Newcastle upon Tyne
Dimane Mpoeleng , University of Newcastle upon Tyne
pp. 227
Session 7A: Modeling and Formal Methods

Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study (Abstract)

Lorenzo Strigini , City University London
Andrey Povyakalo , City University London
Eugenio Alberdi , City University London
pp. 249

RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks (Abstract)

Seth Gilbert , Massachusetts Institute of Technology
Nancy Lynch , Massachusetts Institute of Technology
Alex Shvartsman , Massachusetts Institute of Technology and University of Connecticut
pp. 259
Session 8A: Computer Design

The Design of Wearable Systems: A Shift in Development Effort (Abstract)

Daniel P. Siewiorek , Carnegie Mellon University
John G. Dorsey , Carnegie Mellon University
pp. 273

Dynamic Verification of End-to-End Multiprocessor Invariants (Abstract)

David A. Wood , University of Wisconsin at Madison
Daniel J. Sorin , Duke University
Mark D. Hill , University of Wisconsin at Madison
pp. 281

ICR: In-Cache Replication for Enhancing Data Cache Reliability (Abstract)

Sudhanva Gurumurthi , Pennsylvania State University
Wei Zhang , Pennsylvania State University
Mahmut Kandemir , Pennsylvania State University
Anand Sivasubramaniam , Pennsylvania State University
pp. 291
Session 9A: Practical Experiences and Demonstrations — 2

Benchmarking the Dependability of Different OLTP Systems (Abstract)

Marco Vieira , Polytechnic Institute of Coimbra
Henrique Madeira , University of Coimbra
pp. 305

Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures (Abstract)

Yi-Min Wang , Microsoft Research
Chad Verbowski , Microsoft Research
Daniel R. Simon , Microsoft Research
pp. 311

The Anacapa System (Abstract)

P. Ngan , Eternal Systems, Inc.
D. Wagner , Eternal Systems, Inc.
M. Neary , Eternal Systems, Inc.
S. Hortikar , Eternal Systems, Inc.
R. Koch , Eternal Systems, Inc.
S. Sankaridurg , Eternal Systems, Inc.
pp. 323
Session 9B: Distributed Systems and Services

Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems (Abstract)

P. M. Melliar-Smith , Eternal Systems, Inc. and University of California at Santa Barbara
W. Zhao , Eternal Systems, Inc. and University of California at Santa Barbara
L. E. Moser , Eternal Systems, Inc. and University of California at Santa Barbara
pp. 341

Asynchronous Implementation of Failure Detectors (Abstract)

Michel Raynal , Université de Rennes 1
Eric Mourgaya , Université de Rennes 1
Achour Mostefaoui , Université de Rennes 1
pp. 351

Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks (Abstract)

Szu-Chi Wang , National Taiwan University
Sy-Yen Kuo , National Taiwan University
pp. 361
Session 10A: TCP Connection Management

TCP Server Fault Tolerance Using Connection Migration to a Backup Server (Abstract)

Christof Fetzer , AT&T Labs
Manish Marwah , University of Colorado
Shivakant Mishra , University of Colorado
pp. 373

Transparent TCP Connection Failover (Abstract)

S. Hortikar , Eternal Systems, Inc. and University of California at Santa Barbara
L. E. Moser , Eternal Systems, Inc. and University of California at Santa Barbara
P. M. Melliar-Smith , Eternal Systems, Inc. and University of California at Santa Barbara
R. R. Koch , Eternal Systems, Inc. and University of California at Santa Barbara
pp. 383

Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP (Abstract)

Lorenzo Alvisi , University of Texas at Austin
Thomas C. Bressoud , Denison University
Keith Marzullo , University of California at San Diego
Dmitrii Zagorodnov , University of California at San Diego
pp. 393

N-Way Fail-Over Infrastructure for Reliable Servers and Routers (Abstract)

Yair Amir , Johns Hopkins University
Ciprian Tutu , Johns Hopkins University
Ashima Munjal , Johns Hopkins University
Ryan Caudy , Johns Hopkins University
Theo Schlossnagle , Johns Hopkins University
pp. 403
Session 10B: Robust Software

On the Design of Robust Integrators for Fail-Bounded Control Systems (Abstract)

Andreas Johansson , Lule? University of Technology
Peter Folkesson , Chalmers University of Technology
Jonny Vinter , Chalmers University of Technology
Johan Karlsson , Chalmers University of Technology
pp. 415

A Fault-Tolerant Java Virtual Machine (Abstract)

Lorenzo Alvisi , University of Texas at Austin
Jeff Napper , University of Texas at Austin
Harrick Vin , University of Texas at Austin
pp. 425
Session 1C: Measurement-Based System Dependability Evaluation

Characterization of Linux Kernel Behavior under Errors (Abstract)

Weining Gu , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
Zhenyu Yang , University of Illinois at Urbana-Champaign
pp. 459

Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions (Abstract)

O. Tschäche , Friedrich Alexander Universität Erlangen-Nürnberg
M. Dal Cin , Friedrich Alexander Universität Erlangen-Nürnberg
R. Karch , Friedrich Alexander Universität Erlangen-Nürnberg
K. Buchacker , Friedrich Alexander Universität Erlangen-Nürnberg
H.-J. Höxer , Friedrich Alexander Universität Erlangen-Nürnberg
V. Sieh , Friedrich Alexander Universität Erlangen-Nürnberg
pp. 469

A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation (Abstract)

Siavash Bayat Sarmadi , Sharif University of Technology
Alireza Ejlali , Sharif University of Technology
Seyed Ghassem Miremadi , Sharif University of Technology
Hamidreza Zarandi , Sharif University of Technology
Ghazanfar Asadi , Sharif University of Technology
pp. 479
Session 2C: Techniques to Improve System and Network Dependability

Pre-Processing Input Data to Augment Fault Tolerance in Space Applications (Abstract)

Zahava Koren , University of Massachusetts at Amherst
Jayakrishnan Nair , University of Massachusetts at Amherst
C. Mani Krishna , University of Massachusetts at Amherst
Israel Koren , University of Massachusetts at Amherst
pp. 491

Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices (Abstract)

Jiawu Chen , Rether Networks Inc. and State University of New York at Stony Brook
Srikant Sharma , Rether Networks Inc. and State University of New York at Stony Brook
Tzi-cker Chiueh , Rether Networks Inc. and State University of New York at Stony Brook
Kartik Gopalan , Rether Networks Inc. and State University of New York at Stony Brook
Wei Li , Rether Networks Inc. and State University of New York at Stony Brook
pp. 501

Reliable Communication in Overlay Networks (Abstract)

Claudiu Danilov , Johns Hopkins University
Yair Amir , Johns Hopkins University
pp. 511

Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques (Abstract)

Dongyan Chen , Duke University
Sachin Garg , Avaya Labs Research
Chandra Kintala , Avaya Labs Research
Kishor S. Trivedi , Duke University
pp. 521
Session 3C: Analysis of Fault-Tolerant Protocols

Cost-Optimization of the IPv4 Zeroconf Protocol (Abstract)

Peter van der Stok , Philips Research Laboratories
Holger Hermanns , Saarland University and University of Twente
Frits Vaandrager , University of Nijmegen
Henrik Bohnenkamp , University of Twente
pp. 531

Evaluating the Condition-Based Approach to Solve Consensus (Abstract)

Achour Mostefaoui , Universit de Rennes 1
Eric Mourgaya , Universit de Rennes 1
Michel Raynal , Universit de Rennes 1
Philippe Raïpin Parvédy , Universit de Rennes 1
pp. 541

How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols (Abstract)

Francisco V. Brasileiro , Universidade Federal de Campina Grande
Walfredo Cirne , Universidade Federal de Campina Grande
Jorge C. A. Figueiredo , Universidade Federal de Campina Grande
Lívia M. R. Sampaio , Universidade Federal de Campina Grande
pp. 551
Session 4C: Analytical Methods

A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip (Abstract)

Rosa Rodríguez-Montañés , Universitat Politècnica de Catalunya
Juan A. Carrasco , Universitat Politècnica de Catalunya
Doru P. Munteanu , Military Technical Academy
Víctor Suñé , Universitat Politècnica de Catalunya
pp. 563

ParEs — A Parameter-Estimation-Tool (Abstract)

Stefan Greiner , DaimlerChrysler AG
Reinhard German , University Erlangen-Nuremberg
Felix Engelhard , DaimlerChrysler AG
pp. 583
Session 5C: Validation of System Security and Timing

Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services (Abstract)

Kiran Nagaraja , Rutgers University
Barbara G. Ryder , Rutgers University
David Wonnacott , Haverford College
Richard P. Martin , Rutgers University
Thu D. Nguyen , Rutgers University
Chen Fu , Rutgers University
pp. 595

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities (Abstract)

Shuo Chen , University of Illinois at Urbana-Champaign
Jun Xu , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
pp. 605

Probabilistic Validation of an Intrusion-Tolerant Replication System (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
Sankalp Singh , University of Illinois at Urbana-Champaign
Michel Cukier , University of Maryland at College Park
pp. 615

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software (Abstract)

Reinhold Heckmann , AbsInt GmbH
Reinhard Wilhelm , Universität des Saarlandes
Jean Souyris , Airbus France
Marc Langenbach , Universität des Saarlandes
Stephan Thesing , Universität des Saarlandes
Christian Ferdinand , AbsInt GmbH
pp. 625
Session 6C: Analysis of Fault-Tolerant Mechanisms

Performance Analysis of a Hierarchical Failure Detector (Abstract)

Marin Bertier , University Paris 6
Pierre Sens , INRIA
Olivier Marin , University of Le Havre and University Paris 6
pp. 635

Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms (Abstract)

Ilya Shnayderman , Hebrew University of Jerusalem
André Schiper , École Polytechnique Fédérale de Lausanne
Péter Urbán , École Polytechnique Fédérale de Lausanne
pp. 645

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study (Abstract)

Kam S. Tso , IA Tech, Inc.
William H. Sanders , University of Illinois at Urbana-Champaign
Ann T. Tai , IA Tech, Inc.
Leon Alkalai , California Institute of Technology
Savio N. Chau , California Institute of Technology
pp. 655
Session 7C: Tool Demonstrations

Jaca — A Software Fault Injection Tool (PDF)

Regina L? de Oliveira Moraes , State University of Campinas
Eliane Martins , State University of Campinas
pp. 667

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

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

INERTE: Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems (PDF)

L. Lemus , Technical University of Valencia
J.J. Serrano , Technical University of Valencia
D. de Andr? , Technical University of Valencia
P. Yuste , Technical University of Valencia
P. Gil , Technical University of Valencia
pp. 669

Hardware Fault Injection with UMLinux (PDF)

V. Sieh , Friedrich Alexander Universität Erlangen-Nürnberg
K. Buchacker , Friedrich Alexander Universität Erlangen-Nürnberg
M. Dal Cin , Friedrich Alexander Universität Erlangen-Nürnberg
M. Waitz , Friedrich Alexander Universität Erlangen-Nürnberg
O. Tschäche , Friedrich Alexander Universität Erlangen-Nürnberg
H.-J. Höxer , Friedrich Alexander Universität Erlangen-Nürnberg
pp. 670

On Integrating the MÖBIUS and MODEST Modeling Tools (PDF)

Joost-Pieter Katoen , University of Twente
Ric Klaren , University of Twente
Vinh Vi Lam , University of Illinois at Urbana-Champaign
Holger Hermanns , University of Twente
Henrik Bohnenkamp , University of Twente
William H. Sanders , University of Illinois at Urbana-Champaign
Tod Courtney , University of Illinois at Urbana-Champaign
David Daly , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
pp. 671

ETMCC: Model Checking Performability Properties of Markov Chains (PDF)

Markus Siegle , Universität Erlangen-Nürnberg
Holger Hermanns , Universität des Saarlandes and University of Twente
Joachim Meyer-Kayser , Universität Erlangen-Nürnberg
Joost-Pieter Katoen , University of Twente
pp. 673
Session 9C: Dependability and Performance Analysis

A Methodology for Dependability and Performability Analysis in SAM (Abstract)

Tianjun Shi , Florida International University
Xudong He , Florida International University
pp. 679

Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures (Abstract)

Liudong Xing , University of Massachusetts Dartmouth
pp. 689
Session 10C: Techniques for Improving Software Dependability

Software Aging and Multifractality of Memory Resources (Abstract)

Jonathan Crowell , West Virginia University
Mark Shereshevsky , West Virginia University
Yan Liu , West Virginia University
Bojan Cukic , West Virginia University
Vijai Gandikota , West Virginia University
pp. 721

A Voltage Scheduling Heuristic for Real-Time Task Graphs (Abstract)

D. Roychowdhury , University of Massachusetts at Amherst
Y.-H. Lee , Arizona State University
I. Koren , University of Massachusetts at Amherst
C.M. Krishna , University of Massachusetts at Amherst
pp. 741

On Dynamic Assignment of Impatient Customers to Parallel Queues (Abstract)

Ali Movaghar , Sharif University of Technology
pp. 751
Workshops

PoDSy 2003: Principles of Dependable Systems (PDF)

Levente Buttyan , Budapest University of Technology and Economics
pp. 763

Model Checking for Dependable Software-Intensive Systems (PDF)

David Gluch , Embry-Riddle University
Masahiro Fujita , University of Tokyo
pp. 764

Self-Stabilization Workshop (PDF)

Ted Herman , University of Iowa
Shing-Tsaan Huang , National Central University
pp. 766
Author Indexs

DCC Author Index (PDF)

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