DSN 2000: New York, NY, USA

@proceedings{DBLP:conf/dsn/2000,
  title     = {2000 International Conference on Dependable Systems and Networks
               (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New
               York, NY, USA},
  booktitle = {DSN},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0707-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Embedded Systems

• Günther Bauer, Hermann Kopetz:
  Transparent Redundancy in the Time-Triggered Architecture. 5-13
  
• Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy:
  Resource Scheduling in Dependable Integrated Modular Avionics. 14-23
  
• Martin Hiller:
  Executable Assertions for Detecting Data Errors in Embedded Control Systems. 24-
  

Practical Experience Reports I Networks

• Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger:
  Experiences with Group Communication Middleware. 37-42
  
• Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu:
  Towards Dependable Home Networking: An Experience Report. 43-48
  
• Adnan Agbaria, James S. Plank:
  Design, Implementation, and Performance of Checkpointing in NetSolve. 49-
  

Language Support

• Julia L. Lawall, Gilles Muller:
  Efficient Incremental Checkpointing of Java Programs. 61-70
  
• Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri:
  A C/C++ Source-to-Source Compiler for Dependable Applications. 71-
  

Practical Experience Reports II ? COTS Evaluation

• Yutao He, Algirdas Avizienis:
  Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. 81-86
  
• Chris J. Walter, Neeraj Suri, T. Monaghan:
  Evaluating COTS Standards for Design of Dependable Systems. 87-
  

Measurement and Assessment

• Subhachandra Chandra, Peter M. Chen:
  Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. 97-106
  
• Michael J. Turmon, Robert Granat, Daniel S. Katz:
  Software-Implemented Fault Detection for High-Performance Space Applications. 107-
  

Practical Experience Reports III ? Validation and Evaluation

• Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo:
  An Automatic SPIN Validation of a Safety Critical Railway Control System. 119-124
  
• Meng-Lai Yin, Craig L. Hyde, Rafael R. Arellano:
  Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems. 125-
  

Mobile Agents

• Luís Moura Silva, Victor Batista, João Gabriel Silva:
  Fault-Tolerant Execution of Mobile Agents. 135-143
  
• Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati:
  Exploiting Non-Determinism for Reliability of Mobile Agent Systems. 144-156
  

Practical Experience Reports IV ? System Architecture

• Jean-Baptiste Boullié, Michel Brun:
  A New Rolling Stock Architecture Using Safety Computers and Networks. 157-162
  
• Jim Chen, David Har, Ken Mak, Charles O. Schulz, R. Brett Tremaine, Michael E. Wazlowski:
  Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System. 163-168
  
• Kenneth Prager, Michael Vahey, William Farwell, James Whitney, Jon Lieb:
  A Fault Tolerant Signal Processing Computer. 169-
  

Analysis and Evaluation

• John F. Meyer:
  Performability of Algorithms for Connection Admission Control. 181-190
  
• Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera:
  On the Quality of Service of Failure Detectors. 191-
  

Theory

• Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
  Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. 203-212
  
• Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi:
  Diagnosis of Regular Structures. 213-
  

Software Demonstrations

• Myron Hecht, Xuegao An, Bing Zhang, Yutao He:
  OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications. 225-230
  
• Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini:
  DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. 231-236
  
• Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders:
  Loki: A State-Driven Fault Injector for Distributed Systems. 237-242
  
• Sergio Contini, Stefan Scheer, Marc Wilikens:
  Sensitivity Analysis for System Design Improvement. 243-
  

Testing of COTS Systems

• Diamantino Costa, Tiago Rilho, Henrique Madeira:
  Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. 251-260
  
• Charles P. Shelton, Philip Koopman, Kobey Devale:
  Robustness Testing of the Microsoft Win32 API. 261-
  

Byzantine Faults

• Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
  From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. 273-282
  
• Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright:
  Dynamic Byzantine Quorum Systems. 283-
  

Analysis and Verification

• J. Jenny Li, Joseph Robert Horgan:
  A Tool Suite for Diagnosis and Testing of Software Design Specifications. 295-304
  
• Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang:
  Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. 305-
  
• Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk:
  Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. 315-
  

Group Communication

• Yair Amir, Claudiu Danilov, Jonathan Robert Stanton:
  A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. 327-336
  
• Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith:
  A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. 337-346
  
• Qixiang Sun, Daniel C. Sturman:
  A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. 347-
  

System Demonstrations

• S. Song, Jiandong Huang, P. Kappler, R. Freimark, J. Gustin, T. Kozlik:
  Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration. 361-366
  
• Fannie Chen, Loring Craymer, Jeff Deifik, Alvin J. Fogel, Daniel S. Katz, Alfred G. Silliman Jr., Raphael R. Some, Sean A. Upchurch, Keith Whisnant:
  Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing. 367-
  

Testing and Applications of Coding

• Irith Pomeranz, Sudhakar M. Reddy:
  Test-Point Insertion to Enhance Test Compaction for Scan Designs. 375-381
  
• Masayuki Arai, Anna Yamaguchi, Kazuhiko Iwasaki:
  Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes. 382-
  
• Yasunao Katayama, Sumio Morioka:
  One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems. 390-
  

Software Fault Injection

• Eliane Martins, Amanda C. A. Rosa:
  A Fault Injection Approach Based on Reflective Programming. 407-416
  
• Henrique Madeira, Diamantino Costa, Marco Vieira:
  On the Emulation of Software Faults by Software Fault Injection. 417-426
  
• Timothy K. Tsai, Navjot Singh:
  Reliability Testing of Applications on Windows NT. 427-
  

Replication

• Graham Morgan, Santosh K. Shrivastava:
  Implementing Flexible Object Group Invocation in Networked Systems. 439-448
  
• Svend Frølund, Rachid Guerraoui:
  Implementing e-Transactions with Asynchronous Replication. 449-458
  
• Cristiana Amza, Alan L. Cox, Willy Zwaenepoel:
  Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. 459-
  

High Performance Architecture

• Avi Mendelson, Neeraj Suri:
  Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. 473-481
  
• Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan:
  Fault Tolerance through Re-Execution in Multiscalar Architecture. 482-491
  
• Algirdas Avizienis:
  A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components. 492-500
  
• Vijay Lakamraju, Zahava Koren, C. Mani Krishna:
  Synthesis of Interconnection Networks: A Novel Approach. 501-
  

Distributed System Models

• Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
  The Best of Both Worlds: A Hybrid Approach to Solve Consensus. 513-522
  
• Bernadette Charron-Bost, Rachid Guerraoui, André Schiper:
  Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. 523-532
  
• Paulo Veríssimo, Antonio Casimiro, Christof Fetzer:
  he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. 533-542
  
• G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran:
  Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. 543-
  

Workshop on Dependability of IP Applications Platforms and Networks

• Nicholas S. Bowen, Daniel C. Sturman, Tina Ting Liu:
  Towards Continuous Availability of Internet Services through Availability Domains. 559-566
  
• Cheng J. Lin, Alberto Avritzer, Elaine J. Weyuker, Sai-Lai Lo:
  Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment. 567-575
  
• Scott Hazelhurst, Adi Attar, Raymond Sinnappan:
  Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. 576-585
  
• Dam Q. Hai, Son T. Vuong:
  Dynamic-Distributed Differentiated Service for Multimedia Applications. 586-
  

Workshop on Dependability Despite Malicious Faults

• Wenliang Du, Aditya P. Mathur:
  Testing for Software Vulnerability Using Environment Perturbation. 603-612
  
• Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff:
  Survivability Analysis of Network Specifications. 613-622
  
• Roy A. Maxion, Kymie M. C. Tan:
  Benchmarking Anomaly-Based Detection Systems. 623-630
  
• Peng Liu, Peng Ning, Sushil Jajodia:
  Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols. 631-640
  
• Steven Cheung, Karl N. Levitt:
  A Formal-Specification Based Approach for Protecting the Domain Name System. 641-