Proceedings Pacific Rim International Symposium on Dependable Computing PRDC 2002

Size: px

Start display at page:

Download "Proceedings Pacific Rim International Symposium on Dependable Computing PRDC 2002"

Dinah Bryan
5 years ago
Views:

1 Proceedings 2002 Pacific Rim International Symposium on Dependable Computing PRDC 2002 i

2 [blank page] ii

3 Proceedings 2002 Pacific Rim International Symposium on Dependable Computing PRDC December 2002 Tsukuba, Japan Sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing IEICE Technical Group on Dependable Computing In cooperation with IFIP WG10.4 on Dependable Computing and Fault Tolerance Jet Propulsion Laboratory Los Alamitos, California Washington Brussels Tokyo iii

4 Copyright 2002 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number PR01852 ISBN Library of Congress Number Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: customer-service@ieee.org Fax: csbooks@computer.org tokyo.ofc@computer.org Editorial production by Anne Jacobs Cover art production by Joe Daigle/Studio Productions Printed in the United States of America by The Printing House iv

5 Table of Contents 2002 Pacific Rim International Symposium on Dependable Computing General Chair s Message...ix Program Co-Chairs' Message...x Organizing Committee...xi Steering Committee... xii Program Committee... xiii Reviewers... xiv Keynote Speech (I) Fault Tolerance in Autonomic Computing Environment... 3 Y. Tohma Session 1A: Dependable Distributed Systems (I) Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System... 9 H. V. Ramasamy, M. Cukier, and W. H. Sanders Asynchronous Active Replication in Three-tier Distributed Systems R. Baldoni, C. Marchetti, and S. Tucci Piergiovanni Session 1B: Checkpointing On Characteristics of DEF Communication-Induced Checkpointing Protocols J. Tsai and J.-W. Lin A Low Overhead Checkpointing Protocol for Mobile Computing Systems C.-Y. Lin, S.-C. Wang, S.-Y. Kuo, and I.-Y. Chen The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems H. Kim, H. Y. Yeom, T. Park, and H. Park Session 2A: Dependable Systems (I) Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study T. Jarboui, J. Arlat, Y. Crouzet, K. Kanoun, and T. Marteau Principles of Multi-Level Reflection for Fault Tolerant Architectures F. Taïani, J.-C. Fabre, and M.-O. Killijian Hardware/Software Co-Reliability of Configurable Digital Systems M. Choi, N. Park, Y. Kim, and F. Lombardi Highly Fault-Tolerant FPGA Processor by Degrading Strategy Y. Nakamura and K. Hiraki v

6 Session 2B: Reliability/Dependability Analysis Using Software Implemented Fault Inserter in Dependability Analysis P. Gawkowski and J. Sosnowski Analyzing Network Reliability with Imperfect Nodes using OBDD F.-M. Yeh, H.-Y. Lin, and S.-Y. Kuo Reliability Analysis of Grid Computing Systems Y. S. Dai, M. Xie, and K. L. Poh A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems Ö. Askerdal, M. Gäfvert, M. Hiller, and N. Suri Keynote Speech (II) Caveat Emptor: Making Grid Services Dependable from the Client Side M. Livny and D. Thain Session 3A: Dependable Distributed Systems (II) An Introduction to the Renaming Problem M. Raynal Passive Replication Schemes in AQUA Y. Ren, P. Rubel, M. Seri, M. Cukier, W. H. Sanders, and T. Courtney Detecting Feature Interactions in Telecommunication Services with a SAT Solver T. Tsuchiya, M. Nakamura, and T. Kikuno Session 3B: Dependable Networks Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks T. Takabatake, M. Kitakami, and H. Ito Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks S. Moh, C. Yu, B. Lee, and H. Y. Youn Configurable PC Clusters Using a Hierarchical Complete-Connection-Based Switching Network N. Tsuda Keynote Speech (III) Perspectives on Dependable Computing for Solar System Exploration L. Alkalai vi

7 Session 4A: Dependable Systems (II) Enhancing Access Control with SysGuard, a Reference Monitor Supporting Portable and Composable Kernel Module Y. Shinjo, K. Eiraku, A. Suzuki, K. Itano, and C. Pu An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID Y. J. Nam and C. Park A Packet-Based Caching Proxy with Loss Recovery for Video Streaming K.-S. Hsueh and S.-D. Wang Session 4B: Dependability Evaluation and Verification Reliability Evaluation of Multi-State Systems Subject to Imperfect Coverage Using OBDD Y.-R. Chang, S. V. Amari, and S.-Y. Kuo Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation J. Durães and H. Madeira Level Oriented Formal Model for Asynchronous Circuit Verification and Its Efficient Analysis Method T. Kitai, Y. Oguro, T. Yoneda, E. Mercer, and C. Myers Session 5A: Consensus in Distributed Systems Consensus in Synchronous Systems: A Concise Guided Tour M. Raynal A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent J. Cao, X. Wang, S. Lo, and S. K. Das Session 5B: Coding Evaluation of Convolutional-Code-Based FEC under Limited Recovery Time and Its Application to Real-Time Transmission M. Arai, H. Kurosu, S. Fukumoto, and K. Iwasaki A Class of Random Multiple Bits in a Byte Error Correcting (S t/b EC) Codes for Semiconductor Memory Systems G. Umanesan and E. Fujiwara Session 6A: Dependable Database Providing Persistence for Sensor Streams with Light Neighbor WAL H. Kawashima, M. Toyama, M. Imai, and Y. Anzai Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking M. Vieira and H. Madeira vii

8 Session 6B: Test An Alternative Method of Generating Tests for Path Delay Faults Using N i -Detection Test Sets H. Takahashi, K. K. Saluja, and Y. Takamatsu Enhancing Delay Fault Testability for Iterative Logic Arrays S.-K. Lu and C.-H. Yeh Session 7A: Neural Network Comparison with Defect Compensation Methods for Feed-Forward Neural Networks K. Takahashi, K. Yamamori, S. Horiguchi, and I. Yoshihara An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant I. Takanami and Y. Oyama Session 7B: Practical Reports Event Log Based Dependability Analysis of Windows NT and 2K Systems C. Simache, M. Kaâniche, and A. Saidane Using VHDL-Based Fault Injection to Exercise Error Detection Mechanisms in the Time-Triggered Architecture J. Gracia, D. Gil, J. C. Baraza, and P. J. Gil Formal Verification of a Pipelined Processor with New Memory Hierarchy Using a Commercial Model Checker H. Nakamura, T. Arai, and M. Fujita Author Index viii

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation 1 October 2002 Montreal,