The Community for Technology Leaders
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. (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
V. De Florio , K.U.Leuven-ESAT
R. Belmans , K.U.Leuven-ESAT
J. Szanto , CESI
pp. 80

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

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

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

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

Robustness Benchmarking for Hardware Maintenance Events (Abstract)

Ji Zhu , Sun Microsystems, Inc.
James Mauro , Sun Microsystems, Inc.
Ira Pramanick , 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
H?kan Sivencrona , SP Swedish National Testing and Research Institute Department of Electronics and Software
G?nther Bauer , Vienna University of Technology
Jan Torin , Chalmers 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)

Claudio Basile , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravi Iyer , 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)

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

Low Overhead Fault Tolerant Networking in Myrinet (Abstract)

Vijay Lakamraju , University of Massachusetts at Amherst
Israel Koren , University of Massachusetts at Amherst
C.M. Krishna , 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)

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

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

Ningning Zhu , State University of New York at Stony Brook
Tzi-Cker Chiueh , 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)

Dimane Mpoeleng , University of Newcastle upon Tyne
Paul Ezhilchelvan , University of Newcastle upon Tyne
Neil Speirs , 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)

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

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

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

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

Wei Zhang , Pennsylvania State University
Sudhanva Gurumurthi , 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)

R. Koch , Eternal Systems, Inc.
S. Hortikar , Eternal Systems, Inc.
S. Sankaridurg , Eternal Systems, Inc.
P. Ngan , Eternal Systems, Inc.
M. Neary , Eternal Systems, Inc.
D. Wagner , 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)

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
P. M. Melliar-Smith , Eternal Systems, Inc. and University of California at Santa Barbara
pp. 341

Asynchronous Implementation of Failure Detectors (Abstract)

Achour Mostefaoui , Université de Rennes 1
Eric Mourgaya , Université de Rennes 1
Michel Raynal , 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)

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

Transparent TCP Connection Failover (Abstract)

R. R. Koch , Eternal Systems, Inc. and University of California at Santa Barbara
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
pp. 383

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

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

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

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

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

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

A Fault-Tolerant Java Virtual Machine (Abstract)

Jeff Napper , University of Texas at Austin
Lorenzo Alvisi , 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)

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

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

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
Siavash Bayat Sarmadi , 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)

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

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

Srikant Sharma , Rether Networks Inc. and State University of New York at Stony Brook
Jiawu Chen , 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
Kartik Gopalan , 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
pp. 501

Reliable Communication in Overlay Networks (Abstract)

Yair Amir , Johns Hopkins University
Claudiu Danilov , 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)

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

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

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

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

Lívia M. R. Sampaio , Universidade Federal de Campina Grande
Francisco V. Brasileiro , Universidade Federal de Campina Grande
Walfredo Cirne , Universidade Federal de Campina Grande
Jorge C. A. Figueiredo , 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)

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

DCC author index (PDF)

pp. 769-772
Session 4C: Analytical Methods

ParEs — A Parameter-Estimation-Tool (Abstract)

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

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

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

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

Shuo Chen , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Jun Xu , 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)

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

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

Stephan Thesing , Universität des Saarlandes
Jean Souyris , Airbus France
Reinhold Heckmann , AbsInt GmbH
Marc Langenbach , Universität des Saarlandes
Reinhard Wilhelm , 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
Olivier Marin , University of Le Havre and University Paris 6
Pierre Sens , INRIA
pp. 635

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

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

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study (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 at Urbana-Champaign
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
Jonny Vinter , Chalmers University of Technology
Peter Folkesson , 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)

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

Hardware Fault Injection with UMLinux (PDF)

K. Buchacker , Friedrich Alexander Universität Erlangen-Nürnberg
M. Dal Cin , 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
O. Tschäche , Friedrich Alexander Universität Erlangen-Nürnberg
M. Waitz , Friedrich Alexander Universität Erlangen-Nürnberg
pp. 670

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

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

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

Holger Hermanns , Universität des Saarlandes and University of Twente
Joost-Pieter Katoen , University of Twente
Joachim Meyer-Kayser , Universität Erlangen-Nürnberg
Markus Siegle , Universität Erlangen-Nürnberg
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)

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

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

D. Roychowdhury , University of Massachusetts at Amherst
I. Koren , University of Massachusetts at Amherst
C.M. Krishna , University of Massachusetts at Amherst
Y.-H. Lee , Arizona State University
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)

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

Self-Stabilization Workshop (PDF)

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

DCC Author Index (PDF)

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