29. FTCS 1999: Madison, Wisconsin, USA

Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, June 15-18, 1999, Madison, Wisconsin, USA. IEEE Computer Society, 1999, ISBN 0-7695-0213-X

Algorithm-Based Fault Tolerance

Paula Prata, João Gabriel Silva:
Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. 4-11
Amitabh Mishra, Prithviraj Banerjee:
An Algorithm Based Error Detection Scheme for the Multigrid Algorithm. 12-19

Operating Systems

Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
MetaKernels and Fault Containment Wrappers. 22-29
Philip Koopman, John DeVale:
Comparing the Robustness of POSIX Operating Systems. 30-37

Checkpointing I

Dwight Sunada, David Glasco, Michael J. Flynn:
Multiprocessor Architecture Using an Audit Trail for Fault Tolerance. 40-47
Sriram Rao, Lorenzo Alvisi, Harrick M. Vin:
Egida: An Extensible Toolkit for Low-Overhead Fault-Tolerance. 48-55
Carlos Pérez, Germán Fabregat, Rafael J. Martínez, G. Martín:
Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data. 56-63

Design of Fault-Tolerant Systems

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. 68-75
Wee Teck Ng, Peter M. Chen:
The Systematic Improvement of Fault Tolerance in the Rio File Cache. 76-83
Eric Rotenberg:
AR-SMT: A Microarchitectural Approach to Fault Tolerance in Microprocessors. 84-91

Networking Issues I

G. Mohan, C. Siva Ram Murthy:
Routing and Wavelength Assignment for Establishing Dependable Connections in WDM Networks. 94-101
Bhaskar Maruthi, Arun K. Somani, Murat Azizoglu:
Interference Robust TCP. 102-109
Govind Krishnamurthi, Arun K. Somani:
Effect of Failures on Optimal Location Management Algorithms. 110-117

Panel

Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson:
COTS Hardware and Software in High-Availability Systems (Panel). 120

Diagnosis and Reconfiguration

Nihar R. Mahapatra, Shantanu Dutt:
Efficient Network-Flow Based Techniques for Dynamic Fault Reconfiguration in FPGAs. 122-129
Wenyi Feng, Fred J. Meyer, Fabrizio Lombardi:
Two-Step Algorithms for Maximal Diagnosis of Wiring Interconnects. 130-137
Béchir el Ayeb:
Fault Identification Algorithmic: A New Formal Approach. 138-145

CORBA and Group Communication

Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan:
A Fault Tolerance Framework for CORBA. 150-157
JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi:
The Performance of Database Replication with Group Multicast. 158-165
Shivakant Mishra, Lan Fei, Guming Xing:
Design, Implementation and Performance Evaluation of a CORBA Group Communication Service. 166-173
Takako M. Hickey, Robbert van Renesse:
An Execution Service for a Partitionable Low Bandwidth Network. 174-181

Coding and On-Line Testing

Emmanuel Simeu, Arno W. Peters, Iyad Rayane:
Automatic Design of Optimal Concurrent Fault Detector for Linear Analog Systems. 184-191
Luca G. Tallini, Bella Bose:
Some Transmission Time Analysis for the Parallel Asynchronous Communication Scheme. 192-199
G. Robert Redinbo, Ranjit Manomohan:
Fault Tolerance, Channel Coding and Arithmetic Source Coding Combined. 200-207
Andreas Steininger, Christoph Scherrer:
On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study. 208-215

Software Demonstrations and Practical Experience Reports

P. Emerald Chung, Woei-Jyh Lee, Yennun Huang, Deron Liang, Chung-Yih Wang:
Winckp: A Transparent Checkpointing and Rollback Recovery Tool for Windows NT Applications. 220-223
William R. Dieter, James E. Lumpp Jr.:
A User-Level Checkpointing Library for POSIX Threads Programs. 224-227
Christoph Lindemann, Andreas Reuys, Axel Thümmler:
The DSPNexpress 2.000 Performance and Dependability Modeling Environment. 228-231
Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit:
The Galileo Fault Tree Analysis Tool. 232-235

Special Seminar

Marc Dacier, O. Sami Saydjari:
Special Seminar: Intrusion Detection. 238

Checkpointing II

Lorenzo Alvisi, E. N. Elnozahy, Sriram Rao, Syed Amir Husain, Asanka De Mel:
An Analysis of Communication Induced Checkpointing. 242-249
James S. Plank, Michael G. Thomason:
The Average Availability of Parallel Checkpointing Systems and Its Importance in Selecting Runtime Parameters. 250-257

Testing

Ilker Hamzaoglu, Janak H. Patel:
Reducing Test Application Time for Full Scan Embedded Cores. 260-267
Harry Hengster, Bernd Becker:
Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability. 268-275

Networking Issues II

Craig Labovitz, Abha Ahuja, Farnam Jahanian:
Experimental Study of Internet Stability and Backbone Failures. 278-285
José Rufino, Paulo Veríssimo, Guilherme Arroz:
A Columbus' Egg Idea for CAN Media Redundancy. 286-293
Bin Yao, Kuo-Feng Ssu, W. Kent Fuchs:
Message Logging in Mobile Computing. 294-301

Dependability Evaluation

Maitrayi Sabaratnam, Øystein Torbjørnsen, Svein-Olaf Hvasshovd:
Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management Systems. 306-313
Purnendu Sinha, Neeraj Suri:
Identification of Test Cases Using a Formal Approach. 314-321
Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik:
Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance. 322-329
Xinyu Zang, Hairong Sun, Kishor S. Trivedi:
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. 330-337

Practical Experience Reports

Meng-Lai Yin, Lawrence E. James, Rafael R. Arellano, Raymond V. Hettwer:
Real Time Estimation for Usage-Dependent Reliability on a Dual-Backbone Network Subsystem. 340-343
Anup K. Ghosh, Matthew Schmid, Frank Hill:
Wrapping Windows NT Software for Robustness. 344-347
Yannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer:
Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt. 348-351
Kamran Zarrineh, Shambhu J. Upadhyaya:
Programmable Memory BIST and a New Synthesis Framework. 352-355