Message from the General Chairs

Message from the Program Chairs (PDF)

pp. x

Organizing Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii

Keynote Speech I

Dependable Real-Time Communication in Wide-Area Networks

Keynote Speech II

The Myth of Fault Tolerance in Complex Systems

Session 1A: Dependability in Mobile Environments

Dependability Issues in Mobile Distributed System (Abstract)

Heimo Laamanen, Sonera Ltd.,

Timo Alanko, University of Helsinki

Kimmo Raatikainen, University of Helsinki

pp. 7

PDF

Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System (Abstract)

Hairong Sun, Duke University

Yonghuan Cao, Duke University

Kishor S. Trivedi, Duke University

James J. Han, Motorola

pp. 15

PDF

LLT and LTn Schemes: Error Recovery Schemes in Mobile Environments (Abstract)

Mikio Yagi, Chiba University

Keiichi Kaneko, Tokyo University of Agriculture and Technology

Hideo Ito, Tokyo University of Agriculture and Technology

pp. 23

PDF

Session 1B: Hardware Fault-Tolerance

A Novel NMR Structure with Concurrent Error Location Capabilities (Abstract)

Jianhui Jiang, Shanghai Tiedao University and Chinese Academy of Sciences

Hongbao Shi, Shanghai Tiedao University

Yinghua Min, Shanghai Tiedao University

Xiaodong Zhao, Shanghai Tiedao University

pp. 32

PDF

A Novel Fault Tolerant Approach for SRAM-Based FPGAs (Abstract)

Jian Xu, Fudan University

Paifa Si, Fudan University

Weikang Huang, Fudan University

Fabrizio Lombardi, Texas A&M University

pp. 40

PDF

An Automatic Testing and Diagnosis for FPGAs (Abstract)

Abderrahim Doumar, Chiba University

Hideo Ito, Chiba University

pp. 45

PDF

Parity Sensitive Comparators (Abstract)

Germán Fabregat, Universitat Jaume

José V. Martí, Universitat Jaume

Germán León, Universitat Jaume

pp. 53

PDF

Session 2A: Error Detection and Correction

Interconnecting Lock-Step Synchronous Fault-Tolerant Systems Based on Voting and Error-Correcting Codes (Abstract)

Thijs Krol, University of Twente

pp. 62

PDF

Hardware Fault Tolerance in Arithmetic Coding for Data Compression (Abstract)

G. Robert Redinbo, University of California at Davis

pp. 70

PDF

Testing-Resource Allocation for Redundant Software Systems (Abstract)

Bo Yang, National University of Singapore

Min Xie, National University of Singapore

pp. 78

PDF

Empirical-Bayesian Availability Indices of Safety & Time Critical Software Systems with Corrective Maintenance (Abstract)

Mehmet Sahinoglu, CWRU

Edward Chow, CWRU

pp. 84

PDF

Session 2B: Dependable Systems

FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5 Systems (Abstract)

Haruo Yokota, Tokyo Institute of Technology

Masanori Goto, Tokyo Institute of Technology

pp. 95

PDF

The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources (Abstract)

Frank M.G. Dörenberg, AlliedSignal Avionics & Lighting

Hue-Sung Kim, Iowa State University

Arun K. Somani, Iowa State University

pp. 103

PDF

Session 3A: Dependability Evaluation

A Fuzzy Based Approach for the Design and Evaluation of Dependable Systems Using the Markov Model (Abstract)

P.S. Cugnasca, Escola Polit?cnica da Universidade de S?o Paulo

M.T. Carvalho de Andrade, Escola Polit?cnica da Universidade de S?o Paulo

J.B. Camargo, Jr., Escola Polit?cnica da Universidade de S?o Paulo

pp. 112

PDF

Enhancing Dependability via Parameterized Refinement (Abstract)

Elena A. Troubitsyna, Turku Center for Computer Science

pp. 120

PDF

The Specified Strong Failure Detector Class for Asynchronous Distributed Systems

Keynote Speech III

Diversity for Dependability

Keynote Speech IV

Tba

Session 4A: Software Dependability

Combining Methods for the Analysis of a Fault-Tolerant System (Abstract)

Hui Shi, University Bremen

Jan Peleska, Verified Systems International GmbH

Michel Kouvaras, DaimlerChrysler Aerospace RI

pp. 135

PDF

An Architecture-Based Software Reliability Model (Abstract)

Wen-Li Wang, State University of New York at Albany

Ye Wu, State University of New York at Albany

Mei-Hwa Chen, State University of New York at Albany

pp. 143

PDF

Session 4B: Checkpointing

Reliable Probabilistic Checkpointing (Abstract)

Hyo-chang Nam, Pohang University of Science and Technology

Jong Kim, Pohang University of Science and Technology

SungJe Hong, Pohang University of Science and Technology

Sunggu Lee, Pohang University of Science and Technology

pp. 153

PDF

Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms (Abstract)

Tadashi Dohi, Hiroshima University

Shunji Osaki, Hiroshima University

Naoto Kaio, Hiroshima Shudo University

pp. 161

PDF

Session 5A: Fault-Injection Based Dependability

A Simulated Fault Injection Tool for Dependable VoD Application Design (Abstract)

L. Romano, Universit? degli Studi di Napoli

G. Capuozzo, Universit? degli Studi di Napoli

A. Mazzeo, Universit? degli Studi di Napoli

N. Mazzocca, Universit? degli Studi di Napoli

pp. 170

PDF

Networked Windows NT System Field Failure Data Analysis (Abstract)

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. 178

PDF

Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms (Abstract)

Cristian Constantinescu, Intel Corporation

pp. 186

PDF

Cost of Ensuring Safety in Distributed Database Management Systems (Abstract)

Maitrayi Sabaratnam, Norwegian University of Science & Technology

Svein-Olaf Hvasshovd, Norwegian University of Science & Technology

Øystein Torbjørnsen, ClustRa AS

pp. 193

PDF

Experimental Assessment of COTS DBMS Robustness under Transient Faults (Abstract)

Diamantino Costa, University of Coimbra

Henrique Madeira, University of Coimbra

pp. 201

PDF

Session 5B: Dependability in Parallel Systems

A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes (Abstract)

Shih-Chang Wang, National Taiwan University

Hung-Yau Lin, National Taiwan University

Sy-Yen Kuo, National Taiwan University

Yennun Huang, AT&T Labs - Research

pp. 210

PDF

Self-Validating Diagnosis of Hypercube Systems (Abstract)

Paolo Santi, University of Pisa

Piero Maestrini, University of Pisa

pp. 218

PDF

Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices (Abstract)

Feng Gao, Chinese Academy of Sciences

Zhongcheng Li, Chinese Academy of Sciences

pp. 227

PDF

Reconfiguration of Two-Dimensional Meshes Embedded in Hypercubes (Abstract)

Sumito Nakano, Himeji Institute of Technology

Naotake Kamiura, Himeji Institute of Technology

Yutaka Hata, Himeji Institute of Technology

Nobuyuki Matsui, Himeji Institute of Technology

pp. 234

PDF

A New Placement Algorithm Dedicated to Parallel Computers: Bases and Application (Abstract)

Fabien Clermidy, LETI(CEA - Technologie Avanc?e)

Thierry Collette, LETI(CEA - Technologie Avanc?e)

Michael Nicolaïdis, TIMA/INPG

pp. 242

PDF

Session 6A: Dependability in Computer Networks

Performance of Message Logging Protocols for NOWs with MPI (Abstract)

Shahnaz Afroz, University of Texas at Arlington

Hee Yong Youn, Information & Communication University

Dongman Lee, Information & Communication University

pp. 252

PDF

Measurement and Modeling of Burst Packet Losses in Internet End-to-End Communications (Abstract)

Masayuki Arai, Tokyo Metropolitan University

Atsushi Chiba, Tokyo Metropolitan University

Kazuhiko Iwasaki, Tokyo Metropolitan University

pp. 260

PDF

A Fault-Tolerant Data Communication Setup to Improve Reliability and Performance for Internet Based Distributed Applications (Abstract)

Allan K.Y. Wong, Hong Kong Polytechnic University

Tharam S. Dillon, Hong Kong Polytechnic University

pp. 268

PDF

Author Index (PDF)

pp. 277