The Community for Technology Leaders
Proceeding International Conference on Dependable Systems and Networks. DSN 2000 (2000)
New York, New York
June 25, 2000 to June 28, 2000
ISBN: 0-7695-0707-7

Program Committee (PDF)

pp. xviii

Reviewers (PDF)

pp. xxii

W.C. Carter Award (PDF)

pp. xxiv
Session 1: Opening Session
Session 2A: Embedded Systems

Transparent Redundancy in the Time-Triggered Architecture (Abstract)

G. Bauer , Vienna University of Technology
H. Kopetz , Vienna University of Technology
pp. 5

Resource Scheduling in Dependable Integrated Modular Avionics (Abstract)

Yann-Hang Lee , University of Florida
Daeyoung Kim , University of Florida
Mohamed Younis , Honeywell International Inc.
Jeff Zhou , Honeywell International Inc.
James McElroy , Honeywell International Inc.
pp. 14
Session 2B: Practical Experience Reports I Networks

Experiences with Group Communication Middleware (Abstract)

Scott Johnson , University of Michigan
Farnam Jahanian , University of Michigan
Sunondo Ghosh , Honeywell Technology Center
Brian Vanvoorst , Honeywell Technology Center
Nicholas Weininger , Honeywell Technology Center
pp. 37

Towards Dependable Home Networking: An Experience Report (Abstract)

Yi-Min Wang , Microsoft Research
Wilf Russell , Microsoft Research
Anish Arora , Ohio State University
Rajesh K. Jagannathan , Ohio State University
Jun Xu , University of Illinois at Urbana-Champaign
pp. 43

Design, Implementation, and Performance of Checkpointing in NetSolve (Abstract)

Adnan Agbaria , Technion - Israel Institute of Technology
James S. Plank , University of Tennessee
pp. 49
Session 3: Panel
Session 4A: Language Support

A C/C++ Source-to-Source Compiler for Dependable Applications (Abstract)

A. Benso , Politecnico di Torino
S. Chiusano , Politecnico di Torino
P. Prinetto , Politecnico di Torino
L. Tagliaferri , Politecnico di Torino
pp. 71
Session 4B: Practical Experience Reports II ? COTS Evaluation

Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study (Abstract)

Yutao He , University of California at Los Angeles
Algirdas Avizienis , University of California at Los Angeles
pp. 81

Evaluating COTS Standards for Design of Dependable Systems (Abstract)

C.J. Walter , WW Technology Group
N. Suri , Chalmers University of Technology
T. Monaghan , United States International Trade Organization
pp. 87
Session 4C: Student Forum
Session 5A: Measurement and Assessment

Software-Implemented Fault Detection for High-Performance Space Applications (Abstract)

Michael Turmon , Jet Propulsion Laboratory
Robert Granat , Jet Propulsion Laboratory
Daniel S. Katz , Jet Propulsion Laboratory
pp. 107
Session 5B: Practical Experience Reports III ? Validation and Evaluation

An Automatic SPIN Validation of a Safety Critical Railway Control System (Abstract)

S. Gnesi , CNR
C. Abbaneo , Ansaldobreda Segnalamento Ferroviario
A. Amendola , Ansaldobreda Segnalamento Ferroviario
P. Marmo , Ansaldobreda Segnalamento Ferroviario
pp. 119
Session 6A: Mobile Agents

Fault-Tolerant Execution of Mobile Agents (Abstract)

Luis Moura Silva , Universidade de Coimbra
Vitor Batista , Universidade de Coimbra
Joao Gabriel Silva , Universidade de Coimbra
pp. 135

Exploiting Non-Determinism for Reliability of Mobile Agent Systems (Abstract)

Ajay Mohindra , IBM Thomas J. Watson Research Center
Apratim Purakayastha , IBM Thomas J. Watson Research Center
Prasannaa Thati , University of Illinois at Urbana-Champaign
pp. 144
Session 6B: Practical Experience Reports IV ? System Architecture

Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System (Abstract)

Jim Chen , IBM S390 Global Hardware Development Division
David Har , IBM T. J. Watson Research Center
Ken Mak , IBM T. J. Watson Research Center
Charles Schulz , IBM T. J. Watson Research Center
Brett Tremaine , IBM T. J. Watson Research Center
Mike Wazlowski , IBM T. J. Watson Research Center
pp. 163

A Fault Tolerant Signal Processing Computer (Abstract)

Kenneth Prager , Raytheon Company
Michael Vahey , Raytheon Company
William Farwell , Raytheon Company
James Whitney , Raytheon Company
Jon Lieb , Raytheon Company
pp. 169
Session 6C: Student Forum
Session 7: Day 2? Opening Session
Session 8A: Analysis and Evaluation

On the Quality of Service of Failure Detectors (Abstract)

Wei Chen , Oracle Corporation
Sam Toueg , Ecole Polytechnique
Marcos Kawazoe Aguilera , Cornell University
pp. 191
Session 8B: Theory

Diagnosis of Regular Structures (Abstract)

Antonio Caruso , University of Pisa
Stefano Chessa , Area della Ricerca del CNR di Pisa
Piero Maestrini , Area della Ricerca del CNR di Pisa and University of Pisa
Paolo Santi , Area della Ricerca del CNR di Pisa and University of Pisa
pp. 213
Session 8C: Software Demonstrations

OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications (Abstract)

Myron Hecht , SoHaR Incorporated
Xuegao An , SoHaR Incorporated
Bing Zhang , SoHaR Incorporated
Yutao He , SoHaR Incorporated
pp. 225

DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems (Abstract)

A. Bondavalli , University of Florence
I. Mura , Motorola Technology Center
S. Poli , CNR
pp. 231

Sensitivity Analysis for System Design Improvement (Abstract)

Sergio Contini , Joint Research Centre, Institute for Systems, Informatics and Safety
Stefan Scheer , Joint Research Centre, Institute for Systems, Informatics and Safety
Marc Wilikens , Joint Research Centre, Institute for Systems, Informatics and Safety
pp. 243
Session 9A: Testing of COTS Systems

Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection (Abstract)

Diamantino Costa , University of Coimbra
Tiago Rilho , University of Coimbra
Henrique Madeira , University of Coimbra
pp. 251

Robustness Testing of the Microsoft Win32 API (Abstract)

Charles P. Shelton , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
Kobey Devale , Carnegie Mellon University
pp. 261
Session 9B: Byzantine Faults

Dynamic Byzantine Quorum Systems (Abstract)

Lorenzo Alvisi , University of Texas at Austin
Evelyn Pierce , University of Texas at Austin
Dahlia Malkhi , Hebrew University of Jerusalem
Michael K. Reiter , Lucent Technologies
Rebecca N. Wright , AT&T Research Labs
pp. 283
Session 10A: Analysis and Verification

A Tool Suite for Diagnosis and Testing of Software Design Specifications (Abstract)

J. Jenny Li , Telcordia Technologies
J. Robert Horgan , Telcordia Technologies
pp. 295

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams (Abstract)

Betty H.C. Cheng , Michigan State University
Laura A. Campbell , Michigan State University
Enoch Y. Wang , Lucent Technologies
pp. 305

Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis (Abstract)

Bengi Karacali , North Carolina State University
Kuo-Chung Tai , North Carolina State University
Mladen A. Vouk , North Carolina State University
pp. 315
Session 10B: Group Communication

A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication (Abstract)

Yair Amir , Johns Hopkins University
Claudiu Danilov , Johns Hopkins University
Jonathan Stanton , Johns Hopkins University
pp. 327

A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks (Abstract)

R.R. Koch , University of California Santa Barbara
L.E. Moser , University of California Santa Barbara
P.M. Melliar-Smith , University of California Santa Barbara
pp. 337

A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications (Abstract)

Qixiang Sun , Massachusetts Institute of Technology
Daniel C. Sturman , IBM T. J. Watson Research Center
pp. 347
Session 10C: System Demonstrations

Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration (Abstract)

S. Song , Honeywell Technology Center
J. Huang , Honeywell Technology Center
P. Kappler , Honeywell Technology Center
R. Freimark , Honeywell Technology Center
J. Gustin , Honeywell Technology Center
T. Kozlik , Honeywell Technology Center
pp. 361

Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing (Abstract)

Fannie Chen , California Institute of Technology
Loring Craymer , California Institute of Technology
Jeff Deifik , California Institute of Technology
Alvin J. Fogel , California Institute of Technology
Daniel S. Katz , California Institute of Technology
Alfred G. Silliman Jr , California Institute of Technology
Raphael R. Some , California Institute of Technology
Sean A. Upchurch , California Institute of Technology
Keith Whisnant , University of Illinois at Urbana-Champaign
pp. 367
Session 11A: Testing and Applications of Coding

Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes (Abstract)

Masayuki Arai , Tokyo Metropolitan University
Anna Yamaguchi , Tokyo Metropolitan University
Kazuhiko Iwasaki , Tokyo Metropolitan University
pp. 382

One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems (Abstract)

Yasunao Katayama , IBM Research, Tokyo Research Laboratory
Sumio Morioka , IBM Research, Tokyo Research Laboratory
pp. 390
Session 11B: Panel
Session 12: Panel
Session 13A: Software Fault Injection

On the Emulation of Software Faults by Software Fault Injection (Abstract)

Henrique Madeira , University of Coimbra
Diamantino Costa , University of Coimbra
Marco Vieira , Instituto Superior de Engenharia de Coimbra
pp. 417

Reliability Testing of Applications on Windows NT (Abstract)

Timothy Tsai , Reliable Software Technologies
Navjot Singh , Lucent Technologies
pp. 427
Session 13B: Replication

Implementing Flexible Object Group Invocation in Networked Systems (Abstract)

G. Morgan , Newcastle University
S.K. Shrivastava , Newcastle University
pp. 439

Implementing e-Transactions with Asynchronous Replication (Abstract)

Svend Frolund , Hewlett Packard Labs
Rachid Guerraoui , Swiss Federal Institute of Technology
pp. 449
Session 13C: Fast Abstracts
Session 14A: High Performance Architecture

Fault Tolerance through Re-Execution in Multiscalar Architecture (Abstract)

F. Rashid , University of Wisconsin at Madison
K.K. Saluja , University of Wisconsin at Madison
P. Ramanathan , University of Wisconsin at Madison
pp. 482

Synthesis of Interconnection Networks: A Novel Approach (Abstract)

V. Lakamraju , University of Massachusetts at Amherst
I. Koren , University of Massachusetts at Amherst
C.M. Krishna , University of Massachusetts at Amherst
pp. 501
Session 14B: Distributed System Models

Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issues (Abstract)

Bernadette Charron-Bost , Ecole Polytechnique
Rachid Guerraoui , Ecole Polytechnique Federale de Lausanne
Andre Schiper , Ecole Polytechnique Federale de Lausanne
pp. 523

Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks (Abstract)

G. Sai Kiran Reddy , Indian Institute of Technology at Madras
C. Siva Ram Murthy , Indian Institute of Technology at Madras
G. Manimaran , Iowa State University
pp. 543
Workshop on Dependability of IP Applications Platforms and Networks

Towards Continuous Availability of Internet Services through Availability Domains (Abstract)

Nicholas Bowen , IBM T.J. Watson Research Center
Daniel Sturman , IBM T.J. Watson Research Center
Tina Ting Liu , University of Illinois at Urbana-Champaign
pp. 559

Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment (Abstract)

Cheng J. Lin , AT&T Network Computing Services
Alberto Avritzer , AT&T Network Computing Services
Elaine J. Weyuker , AT&T Labs
Sai-Lai Lo , AT&T Labs
pp. 567

Algorithms for Improving the Dependability of Firewall and Filter Rule Lists (Abstract)

Scott Hazelhurst , University of the Witwatersrand
Adi Attar , University of the Witwatersrand
Raymond Sinnappan , University of the Witwatersrand
pp. 576

Dynamic-Distributed Differentiated Service for Multimedia Applications (Abstract)

Dam Q. Hai , University of British Columbia
Son T. Vuong , University of British Columbia
pp. 586
Workshop on Dependability Despite Malicious Faults

Survivability Analysis of Network Specifications (Abstract)

S. Jha , Carnegie Mellon University
J. Wing , Carnegie Mellon University
R. Linger , Carnegie Mellon University
T. Longstaff , Carnegie Mellon University
pp. 613

Benchmarking Anomaly-Based Detection Systems (Abstract)

Roy A. Maxion , Carnegie Mellon University
Kymie M.C. Tan , Carnegie Mellon University
pp. 623

Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols (Abstract)

Peng Liu , University of Maryland in Baltimore County
Peng Ning , George Mason University
Sushil Jajodia , George Mason University
pp. 631

A Formal-Specification Based Approach for Protecting the Domain Name System (Abstract)

Steven Cheung , University of California at Davis
Karl N. Levitt , University of California at Davis
pp. 641

Author Index (PDF)

pp. 653
81 ms
(Ver 3.3 (11022016))