Proceedings, International Conference on Dependable Systems and Networks, DSN 2000. 25-28 June 2000, New York, New York, USA / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance ; in cooperation with AT & T ... [and others].

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Fault-Tolerant Computing Technical Committee.

IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance.

Conference Name:

International Conference on Dependable Systems and Networks (2000 : New York, N.Y.)

Language:

English

Subjects (All):

Computer systems--Reliability--Congresses.

Computer systems.

Computer systems--Reliability.

Computer networks--Reliability--Congresses.

Computer networks.

Computer networks--Reliability.

Genre:

Conference papers and proceedings.

Physical Description:

xxiv, 654 pages : illustrations

Other Title:

International Conference on Dependable Systems and Networks, DSN 2000

DSN 2000

Place of Publication:

Los Alamitos, Calif. : The Society, [2000]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Keynote Address: The Challenges for Dependability in E-Business / Dr. Timothy Chou, CEO of Oracle Business Online

Session 2A Embedded Systems

Transparent Redundancy in the Time-Triggered Architecture / G. Bauer, H. Kopetz 5

Resource Scheduling in Dependable Integrated Modular Avionics / Y-H. Lee, D. Kim, M. Younis, J. Zhou, J. McElroy 14

Executable Assertions for Detecting Data Errors in Embedded Control Systems / M. Hiller 24

Session 2B Practical Experience Reports I - Networks

Experiences with Group Communication Middleware / S. Johnson, F. Jahanian, S. Ghosh, B. Vanvoorst, N. Weininger, W. Heimerdinger 37

Towards Dependable Home Networking: An Experience Report / Y.-M. Wang, W. Russell, A. Arora, J. Xu, R. Jagannathan 43

Design, Implementation, and Performance of Checkpointing in NetSolve / A. Agbaria, J. Plank 49

Brief presentations by student travel award winners

EU-USA Program of Research Collaboration on Dependability / Brian Randell, Frank Anger, NSF, Helen Gill, DARPA, Andrea Servida, Mark LeBlanc

Session 4A Language Support

Efficient Incremental Checkpointing of Java Programs / J. Lawall, G. Muller 61

A C/C++ Source-to-Source Compiler for Dependable Applications / A. Benso, S. Chiusano, P. Prinetto, L. Tagliaferri 71

Session 4B Practical Experience Reports II - COTS Evaluation

Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study / Y. He, A. Avizienis 81

Evaluating COTS Standards for Design of Dependable Systems / C. Walter, N. Suri, T. Monaghan 87

Session 5A Measurement and Assessment

Whither Generic Recovery from Application Faults? A Fault Study Using Open-Source Software / S. Chandra, P. Chen 97

Software-Implemented Fault Detection for High-Performance Space Applications / M. Turmon, R. Granat, D. Katz 107

Session 5B Practical Experience Reports III - Validation and Evaluation

An Automatic SPIN Validation of a Safety Critical Railway Control System / S. Gnesi, G. Lenzini, D. Latella, C. Abbaneo, A. Amendola, P. Marmo 119

Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems / M.-L. Yin, C. Hyde, R. Arellano 125

Session 6A Mobile Agents

Fault-Tolerant Execution of Mobile Agents / L. Silva, V. Batista, J. Silva 135

Exploiting Non-Determinism for Reliability of Mobile Agent Systems / A. Mohindra, A. Purakayastha, P. Thati 144

Session 6B Practical Experience Reports IV System Architecture

A New Rolling Stock Architecture Using Safety Computers and Networks / J.-B. Boullie, M. Brun 157

Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System / J. Chen, D. Har, K. Mak, C. Schulz, B. Tremaine, M. Wazlowski 163

A Fault Tolerant Signal Processing Computer / K. Prager, M. Vahey, W. Farwell, J. Whitney, J. Lieb 169

Keynote Address: Internet Performance/Availability from an End User Perspective / Eric Siegel

Session 8A Analysis and Evaluation

Performability of Algorithms for Connection Admission Control / J. Meyer 181

On the Quality of Service of Failure Detectors / W. Chen, S. Toueg, M. Aguilera 191

Session 8B Theory

Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems / K. Hashimoto, T. Tsuchiya, T. Kikuno 203

Diagnosis of Regular Structures / A. Caruso, S. Chessa, P. Maestrini, P. Santi 213

Session 8C Software Demonstrations

OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications / M. Hecht, X. An, B. Zhang, Y. He 225

DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems / A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli, F. Sandrini 231

Loki: A State-Driven Fault Injector for Distributed Systems / R. Chandra, R. Lefever, M. Cukier, W. Sanders 237

Sensitivity Analysis for System Design Improvement / S. Contini, S. Scheer, M. Wilikens 243

Session 9A Testing of COTS Systems

Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection / D. Costa, T. Rilho, H. Madeira 251

Robustness Testing of the Microsoft Win32 API / C. Shelton, P. Koopman, K. Devale 261

Session 9B Byzantine Faults

From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach / R. Baldoni, J.-M. Helary, M. Raynal 273

Dynamic Byzantine Quorum Systems / L. Alvisi, D. Malkhi, E. Pierce, M. Reiter, R. Wright 283

Session 10A Analysis and Verification

A Tool Suite for Diagnosis and Testing of Software Design Specifications / J. Li, J. Horgan 295

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams / B. Cheng, L. Campbell, E. Wang 305

Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis / B. Karacali, K.-C. Tai, M. Vouk 315

Session 10B Group Communication

A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication / Y. Amir, C. Danilov, J. Stanton 327

A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks / R. Koch, L. Moser, P. Melliar-Smith 337

A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications / Q. Sun, D. Sturman 347

Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration / S. Song, J. Huang, P. Kappler, R. Freimark, J. Gustin, T. Kozlik 361

Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing / F. Chen, L. Craymer, J. Deifik, A. Fogel, D. Katz, A. Silliman, Jr., R. Some, S. Upchurch, K. Whisnant 367

Session 11A Testing and Applications of Coding

Test-Point Insertion to Enhance Test Compaction for Scan Designs / I. Pomeranz, S. Reddy 375

Method to Recover Internet Packet Losses Using (n, n - l, m) Convolutional Codes / M. Arai, A. Yamaguchi, K. Iwasaki 382

One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems / Y. Katayama, S. Morioka 390

Statistical or Probabilistic Decision Models: How Dependable Are They? / P. Bose, IBM

Running the Bytes without Getting Bitten: Strategies for Dealing with Malicious Code / Carl Landwehr, Mitretek Systems, Crispin Cowan, Gary McGraw, Jeannette Wing

Session 13A Software Fault Injection

A Fault Injection Approach Based on Reflective Programming / E. Martins, A. Rosa 407

On the Emulation of Software Faults by Software Fault Injection / H. Madeira, D. Costa, M. Vieira 417

Reliability Testing of Applications on Windows NT / T. Tsai, N. Singh 427

Session 13B Replication

Implementing Flexible Object Group Invocation in Networked Systems / G. Morgan, S. Shrivastava 439

Implementing E-Transactions with Asynchronous Replication / S. Frolund, R. Guerraoui 449

Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters / C. Amza, A. Cox, W. Zwaenepoel 459

Session 13C Fast Abstracts

Presentation of work in progress and late-breaking research results

Session 14A High Performance Architecture

Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar ()3RS) Approach / A. Mendelson, N. Suri 473

Fault Tolerance through Re-Execution in Multiscalar Architecture / F. Rashid, K. Saluja, P. Ramanathan 482

A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components / A. Avizienis 492

Synthesis of Interconnection Networks: A Novel Approach / V. Lakamraju, I. Koren, C. Krishna 501

Session 14B Distributed System Models

The Best of Both Worlds: A Hybrid Approach to Solve Consensus / A. Mostefaoui, M. Raynal, F. Tronel 513

Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issues / B. Charron-Bost, R. Guerraoui, A. Schiper 523

The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness / P. Verissimo, A. Casimiro, C. Fetzer 533

Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks / G. Reddy, G. Manimaran, C. Murthy 543

Workshop on Dependability of IP Applications Platforms and Networks

Towards Continuous Availability of Internet Services through Availability Domains / N. Bowen, D. Sturman, T. Liu 559

Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment / C. Lin, A. Avritzer, E. Weyuker, S.-L. Lo 567

Algorithms for Improving the Dependability of Firewall and Filter Rule Lists / S. Hazelhurst, A. Attar, R. Sinnappan 576

Dynamic-Distributed Differentiated Service for Multimedia Applications / D. Hai, S. Vuong 586

Workshop on Dependability of E-Business Systems

Workshop on Dependability Despite Malicious Faults

Testing for Software Vulnerability Using Environment Perturbation / W. Du, A. Mathur 603

Survivability Analysis of Network Specifications / S. Jha, J. Wing, R. Linger, T. Longstaff 613

Benchmarking Anomaly-Based Detection Systems / R. Maxion, K. Tan 623

Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols / P. Liu, P. Ning, S. Jajodia 631

A Formal-Specification Based Approach for Protecting the Domain Name System / S. Cheung, K. Levitt 641.

Notes:

Includes bibliographical references and index.

ISBN:

0769507077

9780769507071

0769507085

9780769507088

0769507093

9780769507095

OCLC:

49679811

Access Restriction:

Restricted for use by site license.