DSN 2001: Göteborg, Sweden
- 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1101-5
Session 2A: Modeling - John Meyer
- Peter T. Popov, Lorenzo Strigini:
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. 5-14 - Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey:
Techniques for Estimation of Design Diversity for Combinational Logic Circuits. 25-36
Session 2B: Algorithms - David Powell
- John A. Gunnels, Robert A. van de Geijn, Daniel S. Katz, Enrique S. Quintana-Ortí:
Fault-Tolerant High-Performance Matrix Multiplication: Theory and Practice. 47-56
Session 2C: Panel
Session 3A: Software Demos - T. Basil Smith
- Yiannis Papadopoulos, Matthias Maruhn:
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. 77-82 - Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson:
GOOFI: Generic Object-Oriented Fault Injection Tool. 83-88 - Peter Liggesmeyer, Oliver Mäckel:
Quantifying the Reliability of Embedded Systems by Automated Analysis. 89-96
Session 3B: Replication - Jean-Claude Laprie
- Yun Wang, Francisco Vilar Brasileiro, Emmanuelle Anceaume, Fabíola Greve, Michel Hurfin:
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers. 97-106 - Sudha Krishnamurthy, William H. Sanders, Michel Cukier:
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. 107-116 - Bettina Kemme, Alberto Bartoli, Özalp Babaoglu:
Online Reconfiguration in Replicated Databases Based on Group Communication. 117-130
Session 4A: Software Robustness - David Taylor
- Laurent Réveillère, Gilles Muller:
Improving Driver Robustness: An Evaluation of the Devil Approach. 131-140 - Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang:
Robustness Testing and Hardening of CORBA ORB Implementations. 141-150 - Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa:
Constructing Self-Testable Software Components. 151-160 - Martin Hiller, Arshad Jhumka, Neeraj Suri:
An Approach for Analysing the Propagation of Data Errors in Software. 161-172
Session 4B: Survivability and Security - Yves Deswarte
- Matti A. Hiltunen, Richard D. Schlichting, Carlos A. Ugarte:
Enhancing Survivability of Security Services Using Redundanc. 173-182 - Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson:
Protection of Software-Based Survivability Mechanisms. 193-202 - Bruno Dutertre, Hassen Saïdi, Victoria Stavridou:
Intrusion-Tolerant Group Management in Enclaves. 203-214
Session 5A: Wireless and Mobile Communications - Andrea Bondavalli
- Stefan Pleisch, André Schiper:
FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach. 215-224 - Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta:
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller. 225-234 - F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli:
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. 235-250
Session 6A: Consistency - Elmootazbellah Elnozahy
- Subramanian Lakshmanan, Mustaque Ahamad, H. Venkateswaran:
A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs. 251-260 - Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. 261-270 - Janghoon Lyu, Youngjin Kim, Yongsub Kim, Inhwan Lee:
A Procedure-Based Dynamic Software Update. 271-284
Session 7A: Real-Time - Gerhard Fohler
- Songkuk Kim, Daji Qiao, Sharath Kodase, Kang G. Shin:
Design and Evaluation of Routing Schemes for Dependable Real-Time Connections. 285-294 - Jong Kim, Kang G. Shin:
Performance Evaluation of Dependable Real-Time Communication with Elastic QoS. 295-303 - Pascal Chevochot, Isabelle Puaut:
Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components. 304-313 - João Carlos Cunha, Ricardo Maia, Mário Zenha Rela, João Gabriel Silva:
A Study of Failure Models in Feedback Control Systems. 314-326
Session 7B: Testing and Runtime Error Detection - Henrique Madeira
- Juan-Carlos Ruiz-Garcia, Pascale Thévenod-Fosse, Jean-Charles Fabre:
A Strategy for Testing MetaObject Protocols in Reflective Architectures. 327-336 - Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. 337-346 - Jonny Vinter, Joakim Aidemark, Peter Folkesson, Johan Karlsson:
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover. 347-356 - Jiannong Cao, Nick K. C. Cheung, Alvin T. S. Chan:
Run-Time Fault Detection in Monitor Based Concurrent Programming. 357-368
Session 8A: Models for Fault Tolerance - Andras Pataricza
- Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders:
Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. 369-378 - Simona Bernardi, Susanna Donatelli:
Performance Validation of Fault-Tolerance Software: A Compositional Approach. 379-388
Session 8B: Hardware Architecture and Design - Joerg Kaiser
- Jun Xu, Shuo Chen, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
An Experimental Study of Security Vulnerabilities Caused by Errors. 421-432
Session 9A: Group-Oriented Systems - Yair Amir
- Indranil Gupta, Robbert van Renesse, Kenneth P. Birman:
Scalable Fault-Tolerant Aggregation in Large Process Groups. 433-442 - Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande, Petr Kouznetsov, Anne-Marie Kermarrec:
Lightweight Probabilistic Broadcast. 443-452 - David E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr:
Middleware Support for Voting and Data Fusion. 453-462 - Yi-Min Wang, Paramvir Bahl, Wilf Russell:
The SIMBA User Alert Service Architecture for Dependable Alert Delivery. 463-474
Session 9B: Practical Experience I - W. Kent Fuchs
- Pradip Bose:
Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation. 481-486 - Thomas C. Bressoud, Tom Clark, Ti Kan:
The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform. 487-492
Session 10A: Practical Experience II - Jay Lala
- Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan:
Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance. 501-506 - Per Johannessen, Christian Grante, Anders Alminger, Ulrik Eklund, Jan Torin:
Hazard Analysis in Object Oriented Design of Dependable Systems. 507-512