Organizing Committee

Program Committee

Conference Program

Registration Information

Call for Fast Abstracts 

Call for Papers

Hotel Information

Local and
Transport
Information

Hong Kong Tourist Association (for local information on Hong Kong)
 

08:30 – 09:15	Keynote Speech III Diversity for Dependability (Prof. Jean-Claude Laprie)
09:15 – 10:00	Keynote Speech IV Computer Crime in Hong Kong (Mr. Anthony Fung)
10:00 – 10:15	Coffee & Tea Break
10:15 – 11:45	Session 4A Software Dependability	Session 4B Checkpointing
11:45 – 12:45	Lunch Break (Patio Coffee Shop)
12:45 – 15:15	Session 5A Fault-Injection	Session 5B Dependability in Parallel Systems
15:15 – 15:30	Coffee & Tea Break
15:30 – 17:00	Fast Abstracts Session	Session 6B Dependability in Computer Networks

08:15 – 08:30 Opening Ceremony

08:30 – 09:15 Keynote Speech I

Dependable Real-Time Communication in Wide-Area Networks
(Prof. Kang Shin)
Chair: Prof. W. Zhao

The Myth of Fault Tolerance in Complex Systems
(Prof. Jacob A. Abraham)
Chair: Prof. Y. Min

10:00 – 10:15  Coffee & Tea Break

10:15 – 12:15 Session 1A Dependability in Mobile Environments
Chair: Dr. J. Cao

1A – 1 Adaptive Checkpointing with Storage Management for Mobile Environments, K.-F. Ssu, W. K. Fuchs and N. Neves, Univ. of Illinois, USA
1A – 2 Dependability Issues in Mobile Distributed Systems, H. Laamanen, T. Alanko, and K. Raatikainen, Sonera ltd. Mobile Communications, Finland
1A – 3 Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System, H. Sun, Y. Cao, K. S. Trivedi, and J. J. Han, Duke University, USA
1A – 4 LLT and LTn Schemes: Error Recovery Schemes in Mobile Environments, M. Yagi, K. Kaneko and H. Ito, Chiba Univ., Japan

10:15 – 12:15 Session 1B Hardware Fault-Tolerance
Chair: Prof. Y. Tohma

1B – 1 A Novel NMR Structure with Concurrent Error Location Capabilities, J.-H. Jiang, H.-B. Shi, Y. Min and X.-D. Zhao, Shanghai Tiedao Univ., China
1B – 2 A Novel Fault-Tolerant Approach for SRAM-Based FPGAs, J. Xu, P. SI, W. Huang, and F. Lombardi, Fudan Univ., China
1B – 3 An Automatic Testing and Diagnosis for FPGAs, A. Doumar, and H. Ito, Chiba Univ., Japan
1B – 4 Parity Sensitive Comparators, G. Fabregat, J. V. Martí, and G. León, Universitat Jaume 1, Spain

13:15 – 15:15 Session 2A Error Detection and Correction
Chair: Prof. W. Huang

2A – 1 Interconnecting Lock-step Synchronous Fault-tolerant Systems Based on Voting and Error-Correcting Codes, T. Krol, Univ. of Twente, The Netherlands
2A – 2 Hardware Fault Tolerance in Arithmetic Coding for Data Compression, R. Redinbo, Univ. of California, Davis, USA
2A – 3 Empirical-Bayesian Availability Index of Safety & Time Critical Software Systems with Corrective Maintenance, M. Sahinoglu, and E. Chow, Case Western Reserve Univ., USA
2A – 4 The Specified Strong Failure Detector Class for Asynchronous Distributed Systems, C.-C. Hsu and C.-C. Kung, National Taiwan Univ., Taiwan

2B – 1 The Design of a Fault-Tolerant COTS-Based Bus Architecture, S. N. Chau, L. Alkalai, and A. T. Tai, California Institute of Technology, USA
2B – 2 FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5, H. Yokota, and M. Goto, Tokyo Institute of Technology, Japan
2B – 3 The Effect of Interconnect Schemes on the Dependability of a Modular Multi-processor System with Shared Resources, F. M. G. Dörenberg, H.-S. Kim and A. K. Somani, Allied Signal Avionics & Lighting, USA

15:30 – 17:00 Panel Session Topic Secure Systems in the Near Future

15:30 – 17:00 Session 3B Dependability Evaluation
Chair: Dr. Jong Kim

3B – 1 A Fuzzy Based Aid Approach for the Design and Evaluation of Dependable Systems Using Markov Model, P. S. Cugnasca, M. T. Carvalho de Andrade, and J. B. Camargo Jr., Escola Politéchnica da Universidade de São Paulo, Brazil
3B – 2 Enhancing Dependability via Parametrized Refinement, E. A. Troubitsyna, Turku Center for Computer Science, Finland
3B – 3 Testing-Resource Allocation for Redundant Software Systems, B. Yang and M. Xie, National Univ. of Singapore, Singapore

08:30 – 09:15 Keynote Speech III

Diversity for Dependability
(Prof. Jean-Claude Laprie)
Chair: Dr. M. R. Lyu

Computer Crime in Hong Kong
(Mr. Anthony Fung)
Chair: Dr. L. C. K. Hui

10:00 – 10:15 Coffee & Tea Break

10:15 – 11:45 Session 4A Software Dependability
Chair: Prof. M. Xie

4A – 1 Approximate Correctness Checking of Computational Results, H. Jin, G. F. Sullivan and G. M. Masson, Johns Hopkins Univ., USA
4A – 2 Combining Methods for the Analysis of a Fault-Tolerant System, H. Shi, J. Peleska and M. Kouvaras, Univ. of Bremen, Germany
4A – 3 Architecture-Based Software Reliability Model, W.-L. Wang, Y. Wu, and M.-H. Chen, SUNY Albany, USA

4B – 1 Selective Checkpointing and Rollbacks in Multithreaded Object-oriented Environment, M. Kasbekar, C. Narayanan, and C. R. Das, The Pennsylvania State Univ., USA
4B – 2 Reliable Probabilistic Checkpointing, H.-C. Nam, J. Kim, S. Hong, and S. Lee, Pohang Univ. of Science and Technology, Korea
4B – 3 Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms, T. Dohi, N. Kaio and S. Osaki, Hiroshima Univ., Japan

12:45 – 15:15 Session 5A Fault-Injection
Chair: Prof. K. S. Trivedi

5A – 1 A Simulated Fault Injection Tool for Dependable VoD Application Design, L. Romano, G. Capuozzo, A. Mazzeo, and N. Mazzocca, Università di Napoli, Italy
5A – 2 Networked Windows NT System Field Failure Data Analysis, J. Xu, Z. Kalbarczyk, and R. Iyer, Univ. of Illinois, USA
5A – 3 Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms, C. Constantinescu, Intel, USA
5A – 4 Cost of Ensuring Safety in Distributed Database Management Systems, M. Sabaratnam, O. Torbjornsen, ans S.-V. Hvasshovd, Norwegian Univ. of Science and Technology, Norway
5A – 5 Experimental Assessment of COTS DBMS Robustness under Transient Faults, D. Costa and H. Madeira, Univ. of Coimbra, Portugal

5B – 1 A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes, S.-C. Wang, S.-Y. Kuo and Y. Huang, National Taiwan Univ., Taiwan
5B – 2 Self-Validating Diagnosis of Hypercube Systems, P. Santi, and P. Maestrini, University of Pisa, Italy
5B – 3 Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices, F. Gao, and Z. Li, Chinese Acad. of Sciences, China
5B – 4 Reconfiguration of Two-Dimensional Meshes Embedded in Hypercubes, S. Nakano, N. Kamiura, Y. Hata, and N. Matsui, Himeji Institute of Technology, Japan
5B – 5 A New Placement Algorithm Dedicated to Parallel Computers: Bases and Application, F. Clermidy, T. Collette, and M. Nicolaïdis, LETI, France

15:30 – 17:00 Fast Abstracts Session
Chair: Dr. J. K. Muppala

FA – 1 Protecting Huffman Data Compression Operations, T. Hourteillan and G. R. Redinbo, Univ. of California, Davis, USA
FA – 2 A High Dependability Computer Attainable by a Tracking Redundancy Scheme, H. Kato, Shonan Inst.of Technology, Japan
FA – 3 Design of 2-D Hash Function for Fault Tolerant Cryptography, C. N. Zhang and C. Lai, Univ. of Regina, Canada
FA – 4 Reachability Analusis of Cellular Automata, J. K. Deka and P. Dasgupta, Indian Inst. of Technology, Kharagpur, India
FA – 5 Efficient Checkpointing Using Incremental Messages: Performance Evaluation, C. Perez, J. J. Villaplana, G. Fabregat, and R. J. Martinez, Univ. of Valencia, Spain
FA – 6 Using Time Redundancy for Detection of Result Errors Caused by Permanent Hardware Faults, O. Askerdal and J. Tonnin, Chalmers Univ. of Technology, Sweden
FA – 7 Using Group Communication for Implementing Fault Tolerant Mobile Agents, A. Cherif and T. Katayama, Japan Advanced Institute of Science and Technology, Japan
FA – 8 A Methodology for the Adaptive Optimization of N-Version Software Systems, K.-E. Grosspietsch, German National Research Center for Information Technology, Germany
FA – 9 The Effect of Faults on the Performance of Non-blocking Shared Data Objects in Multiprocessor Systems, P. Tsigas and Y. Zhang, Chalmers Univ. of Technology, Sweden
FA – 10 Dependable Procedures for Bus Phase Control, Y. Hayashi, T. Matsubara, and Y. Koga, National Defense Academy, Japan

15:30 – 17:00 Session 6B Dependability in Computer Networks
Chair: Dr. M. R. Lyu

6B – 1 Performance of Message Logging Protocols for NOWs with MPI, H. Y. Youn, and S. Afroz, Univ. of Texas at Arlington, USA
6B – 2 The Measurement and Modeling of Burst Packet Losses in Internet End-to-End Communications, M. Arai, A. Chiba, and K. Iwasaki, Tokyo Metropolitan Univ., Japan
6B – 3 A Fault-Tolerant Data Communication Setup to Improve Reliability and Performance for Internet-Based Distributed Systems, A. K. Y. Wong, and T. T. Dillon, Hong Kong Polytechnic Univ., Hong Kong