Proceedings Pacific Rim International Symposium on Dependable Computing PRDC 2001

Size: px

Start display at page:

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

Leslie Paul
5 years ago
Views:

1 Proceedings 2001 Pacific Rim International Symposium on Dependable Computing PRDC 2001

2 ~~ ~~~~~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ Proceedings 2001 Pacific Rim International Symposium on Dependable Computing December 2001 Seoul, Korea Sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing Sungkyunkwan University, Korea Korean Information Processing Society ETRl (Electronics and Telecommunications Research Institute) KSll (Korean Society for Internet Information) In cooperation with IFIP WG10.4 on Dependable Computing and Fault Tolerance SOCIETY IEEE Los Alamitos, California Washington Brussels Tokyo

3 Copyright 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 PRO1414 ISBN Library of Congress Number Additional copies may be ordered from: IEEE Computer Society Customer Service Center Los Vaqueros Circle P.O. Box 3014 LOS Alamitos, CA Tel: Fax: computer.org IEEE Service Center 445 Hoes Lane P.O. Box 1331 Piscataway, NJ Tel: Fax: customer-service@ieee.org IEEE Computer Society AsialPacific Office Watanabe Bldg., Minami- Aoyama Minato-ku, Tokyo JAPAN Tel: Fax: tokyo.ofc@computer.org Editorial production by A. Denise Williams Cover art production by Joseph DaigleIStudio Productions Printed in the United States of America by The Printing House SOCIETY

4 Table of Contents 2001 Pacific Rim International Symposium on Dependable Computing Chairs' Message... x Organizing Committee... xi Steering Committee... xii... Program Committee... XIII Reviewers... xiv Keynote Speech I Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches... 3 K.H. Kim, University of California at Irvine, USA Session 1 A Fault Tolerant Hardwares I Chair: Myungchul Kim, Information and Communications Univ., Korea Novel Fault-Tolerant Techniques for High Capacity RAMS C-H. Hsu, S-K. Lu, and S-Y. Kuo Connectivity-Based Multichip Module Repair M. Choi, N. Park, F. Meyer, and F. Lombardi SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors S.Kim and A. K. Somani A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network S.N. Chau, J. Smith, and A.T. Tai Session 16: Checkpointing Chair: Dongman Lee, Information and Communications Univ., Korea On the Choice of Checkpoint Interval Using Memory Usage Profile and Adaptive Time Series Analysis J. Hong, S. Kim, Y. Cho, H. Y. Yeom, and T. Park A Secure Checkpointing System H-C. Nam, J. Kim, S.J. Hong, and S. Lee Optimal Checkpoint Interval Analysis Using Stochastic Petri Net G-L. Park, H.Y. Youn, and H. Choo Session 2A: Dependability Evaluation Chair: Sunggu Lee, Pohang University of Science and Technology, Korea Dependability Analysis of a Fault-Tolerant Processor C. Constantinescu Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement F. Lombardi, N. Park, M. Al-Hashimi, and H.H. Pu OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies M. Walter, C. Trinitis, and W. Karl V

5 Session 2B: Software Fault Tolerance Chair: Bella Bose, Oregon State University, USA Optimal Software Rejuvenation Policy with Discounting T. Dohi, T. Danjou, and H. Okamura Automatic Verification of Fault Tolerance Using Model Checking T. Yokogawa, T. Tsuchiya, and T. Kikuno Analysis of Periodic Preventive Maintenance with General System Failure Distribution D. Chen and K.S. Trivedi Session 3A: Networking Issues I Chair: Hyuk Jae Lee, Seoul National University, Korea Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns S-D. Wang and P-H. Sui Availability Considerations in Network Design J.P. Sauve' and F.E.S. Coelho Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks T. Takabatake, M. Kitakami, and H. It0 Session 39: Distributed Systems Chair: Chang-Sung Jeong, Korea University, Korea Impact of a Failure Detection Mechanism on the Performance of Consensus N. Sergent, X. Dbfago, and A. Schiper An Adaptive Failure Detection Protocol C. Fetzer, M. Raynal, and F. Tronel Rejuvenation and Failure Detection in Partitionable Systems C. Fetzer and K. Hogstedt Keynote Speech II Implications of Dependable Computing in Banking Industry S.S. Pyo, Woori Financial Information System, Korea Session 4A: Fault Tolerant Hardwares II Chair: Sungje Hong, Pohang University of Science and Technology, Korea Automatic Reconfiguration of an Autonomous Disk Cluster D. It0 and H. Yokota Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits T. Kitai and T. Yoneda ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation B. Min and G. Choi Development of a Fail-safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature S. Takahashi, M. Taira, H. Saegusa, T. Hoshino, and H. Nakamura vi

6 Session 48: Mobile Systems Chair: Keecheon Kim, Konkuk University, Korea Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks C-H. Chuan and S-Y. Kuo An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments M.J. Kim and Y.1. Eom Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks J. Y. Lim and T. M. Chung Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems B-R. Lee, T-Y. Kim, and S-S. Kang Session 5A: Fault Tolerant Microprocessors Chair: Nohpill Park, Oklahoma State University, USA Evaluating Low-Cost Fault-Tolerance Mechanism for Microprocessors on Multimedia Applications T. Sato and I. Arita Analytical Results for Reconfiguration of E-1%- Track Switch Torus Arrays with Multiple Fault Types T. Horita and I. Takanami A Generic Availability Model for Clustered Computing Systems H. Sun, J. J. Han, and H. Levendel Session 5B: Networking Issues II Chair: Wonjun Lee, Ewha Women's University, Korea ARQ in Optical Networks P. Oprisan and B. Bose Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels M. Arai, A. Yamamoto, A. Yamaguchi, S. Fukurnoto, and K. Iwasaki Secure Access to Personalized Web Services G. B. Barone, N. Margarita, A. Maueo, N. Mauocca, and L. Romano Session 6A: CORBA and Group Communication Chair: Sunyoung Han, Konkuk University, Korea Failure Detection Mechanism for Distributed Object Computing Using CORBA W-C. Su, S-C. Wang, and S-Y. Kuo The Implementation and Analysis of OCI-Based Group Communication Support in CORBA D. Lee, D. Nam, H.Y. Youn, and C. Yu Ticket-Based Secure Delegation Service Supporting Multiple Domain Models K-A. Chang, T-S. Lee, B-H. Chun, and T-Y. Kim vii

7 Session 6B: Fault Tolerant Applications I Chair: Jong Kim, Pohang University of Science and Technology, Korea A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base H. Kim and D-J. Hwang Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel J-M. Kang, W. Shin, C-G. Park, and D-I. Lee Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web Y-K. Kang and M-H. Kim Session 7A: Reliable Software Systems Chair: Inhwan Lee, Hanyang University, Korea A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance F.T. Sheldon, H.Y. Kim, and Z Zhou Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction M. Kitakami, S. Kubota, and H. It0 Session 78: Fault Tolerant Applications II Chair: Arun Somani, Iowa State University, USA TREG: Transactional Services Based on Incremental Messages C. Pe'rez, G. Fabregat, J. J. Villaplana, and R. J. Martinez Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems Y. Sasaki, H. lmai, M. Tsunoyama, and I. lshii Dependable Automatic Train Control System Using Digital Track Signals M. Matsumoto, T. Tsurumaki, T. Shigeta, K. Tashiro, and D. Watanabe Session 8A: Real-Time Systems Chair: Tomohiro Yoneda, Tokyo Institute of Technology, Japan Validating Real-Time Constraints in Embedded Systems R.K. Shyamasundar and J.V. Aghav Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems D. Kim, Y. Doh, and Y-H. Lee Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA Y. Kim, S. Hong, K. Park, K. Kim, and S. Han Session 9A: Availability Analysis Chair: Frederic T. Sheldon, Washington State University, USA Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation H. Sun and J. J. Han viii

8 Safety Analysis by Box Modeling Method of System Behavior-Application Train Control System S. Hiraguri, N. Nishibori, Y. Hidaka, T. Kasai, and H. Nakamura Safety Analysis Using Temporal Database H. Kobayashi Author Index to ix

Proceedings Pacific Rim International Symposium on Dependable Computing PRDC 2002

Proceedings Pacific Rim International Symposium on Dependable Computing PRDC 2002 Proceedings 2002 Pacific Rim International Symposium on Dependable Computing PRDC 2002 i [blank page] ii Proceedings 2002 Pacific Rim International Symposium on Dependable Computing PRDC 2002 16-18 December