The Community for Technology Leaders
Pacific Rim International Symposium on Dependable Computing, IEEE (2002)
Tsukuba, Japan
Dec. 16, 2002 to Dec. 18, 2002
ISBN: 0-7695-1852-4
TABLE OF CONTENTS
Introduction

Program Committee (PDF)

pp. xiii

Reviewers (PDF)

pp. xiv
Keynote Speech (I)
Session 1A:Dependable Distributed Systems (I)

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
Michel Cukier , University of Maryland at College Park
HariGovind V. Ramasamy , University of Illinois at Urbana-Champaign
pp. 9

Asynchronous Active Replication in Three-Tier Distributed Systems (Abstract)

Roberto Baldoni , Università di Roma "La Sapienza"
Sara Tucci Piergiovanni , Università di Roma "La Sapienza"
Carlo Marchetti , Università di Roma "La Sapienza"
pp. 19
Session 1B:Checkpointing

On Characteristics of DEF Communication-Induced Checkpointing Protocols (Abstract)

Jenn-Wei Lin , Fu Jen Catholic University
Jichiang Tsai , National Chung Hsing University
pp. 29

A Low Overhead heckpointing Protocol for Mobile Computing Systems (Abstract)

Szu-Chi Wang , National Taiwan University
Ing-Yi Chen , Chung Yuan Christian University
Sy-Yen Kuo , National Taiwan University
Chi-Yi Lin , National Taiwan University
pp. 37

The Cost of Checkpointing,Logging and Recovery for the Mobile Agent Systems (Abstract)

Heon Y. Yeom , Seoul National University
Taesoon Park , Sejong Park
Hyunjoo Kim , Seoul National University
pp. 45
Session 2A:Dependable Systems (I)

Hardware/Software Co-Reliability of Configurable Digital Systems (Abstract)

N. Park , Oklahoma State University
M. Choi , University of Missouri-Rolla
F. Lombardi , Northeastern University
Y. Kim , Northeastern University
pp. 67

Highly Fault-Tolerant FPGA Processor by Degrading Strategy (Abstract)

Kei Hiraki , University of Tokyo
Yousuke Nakamura , University of Tokyo
pp. 75
Session 2B:Reliability/Dependability Analysis

Using Software Implemented Fault Inserter in Dependability Analysis (Abstract)

P. Gawkowski , Warsaw University of Technology
J. Sosnowski , Warsaw University of Technology
pp. 81

Analyzing Network Reliability With Imperfect Nodes Using OBDD (Abstract)

Fu-Min Yeh , Chung-Shan Institute of Science and Technology
Sy-Yen Kuo , National Taiwan University
Hung-Yau Lin , National Taiwan University
pp. 89

Reliability Analysis of Grid Computing Systems (Abstract)

K.L. Poh , National University of Singapore
Y.S. Dai , National University of Singapore
M. Xie , National University of Singapore
pp. 97

A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems (Abstract)

Martin Hiller , Chalmers University of Technology
Neeraj Suri , Chalmers University of Technology
Magnus Gäfvert , Lund Institute of Technology
Örjan Askerdal , Chalmers University of Technology
pp. 105
Keynote Speech (II)

Caveat Emptor:Making Grid Services Dependable from the Client Side (PDF)

Miron Livny , University of Wisconsin-Madison
Doug Thain , University of Wisconsin-Madison
pp. 117
Session 3A:Dependable Distributed Systems (II)

PASSIVE REPLICATION SCHEMES IN AQUA (Abstract)

Yansong (Jennifer) Ren , Bell Laboratories
Paul Rubel , BBN Technologies
Mouna Seri , University of Illinois at Urbana-Champaign
Michel Cukier , University of Maryland at College Park
Tod Courtney , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 125

Detecting Feature Interactions in Telecommunication Services with a SAT Solver (Abstract)

Masahide Nakamura , Nara Institute of Science &Technology
Tatsuhiro Tsuchiya , Osaka University
Tohru Kikuno , Osaka University
pp. 131
Session 3B:Dependable Networks

Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks (Abstract)

Hee Yong Youn , Sungkyunkwan Univ.
Sangman Moh , Electronics and Telecommunications Research Institute
Chansu Yu , Cleveland State Univ
Ben Lee , Oregon State Univ.
pp. 145
Keynote Speech (III)
Session 4A:Dependable Systems (II)

Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module (Abstract)

Atsushi Suzuki , University of Tsukuba
Kozo Itano , University of Tsukuba
Yasushi Shinjo , University of Tsukuba
Calton Pu , Georgia Institute of Technology
Kotaro Eiraku , University of Tsukuba
pp. 167

An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID5 (Abstract)

Young Jin Nam , Pohang University of Science and Technology
Chanik Park , Pohang University of Science and Technology
pp. 177

A Packet-Based Caching Proxy with Loss Recovery for Video Streaming (Abstract)

Kuan-Sheng Hsueh , National Taiwan University
Sheng-De Wang , National Taiwan University
pp. 185
Session 4B:Dependability Evaluation and Verification

Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD (Abstract)

Suprasad V. Amari , Relex Software Corporation
Yung-Ruei Chang , National Taiwan University
Sy-Yen Kuo , National Taiwan University
pp. 193

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method (Abstract)

Yusuke Oguro , To yo Institute of Technology
Eric Mercer , Brigham Young University
Tomohiro Yoneda , National Institute of Informatics
Chris Myers , University of Utah
pp. 210
Session 5A:Consensus in Distributed Systems

A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent (Abstract)

Xianbing Wang , Hong Kong Polytechnic University and Wuhan University
Jiannong Cao , Hong Kong Polytechnic University
Sajal K. Das , University of Texas at Arlington
Siu Lo , Hong Kong Polytechnic University
pp. 229
Session 5B:Coding

Evaluation of Convolutional-Code-Based FEC under Limited Recovery Time and Its Application to Real-time Transmission (Abstract)

Satoshi Fukumoto , Tokyo Metropolitan University
Masayuki Arai , Tokyo Metropolitan University
Kazuhiko Iwasaki , Tokyo Metropolitan University
Hitoshi Kurosu , Tokyo Metropolitan University
pp. 239
Session 6A:Dependable Database

Providing Persistence or Sensor Streams with Light Neighbor WAL (Abstract)

Michita Imai , Keio University
Motomichi Toyama , Keio University
Yuichiro Anzai , Keio University
Hideyuki Kawashima , Keio University
pp. 257

Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking (Abstract)

Henrique Madeira , University of Coimbra
Marco Vieira , Polytechnic Institute of Coimbra
pp. 265
Session 6B:Test

Enhancing Delay Fault Testability for Iterative Logic Arrays (Abstract)

Shyue-Kung Lu , Fu Jen Catholic University
Chien-Hung Yeh , Fu Jen Catholic University
pp. 283
Session 7A:Neural Network

Comparison with Defect Compensation Methods for Feed-forward Neural Networks (Abstract)

Kunihito YAMAMORI , Miyazaki University
Ikuo YOSHIHARA , Miyazaki University
Kin ?ya TAKAHASHI , Miyazaki University
Susumu HORIGUCHI , Japan Advanced Institute of Science and Technology
pp. 293
Session 7B:Practical Reports

Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture (Abstract)

P. J. Gil , Universidad Politecnica de Valencia
I. C. Baraza , Universidad Politecnica de Valencia.
I. Gracia , Universidad Politecnica de Valencia.
D. Gil , Universidad Politecnica de Valencia.
pp. 316

Formal Verification of a Pipelined Processor with New Memory (Abstract)

Hiroshi NAKAMURA , University of Tokyo
Masahiro FUJITA , University of Tokyo
Takanori ARAI , University of Tokyo
pp. 321
Author Index

Author Index (PDF)

pp. 325
107 ms
(Ver )