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
- Elaine J. Weyuker: Difficulties Measuring Software Risk in an Industrial Environment. 15-24
- 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
- G. Robert Redinbo: Concurrent Error Detection in Fast Unitary Transform Algorithms. 37-46
- 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
- Ulrich Schmid: How to Model Link Failures: A Perception-Based Fault Model. 57
Session 2C: Panel
- Michele Morganti: Dependability of Mobile Networks and Services: Can We Rely on Them? 13
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
- Christian Cachin: Distributing Trust on the Internet . 183-192
- 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, Y. 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
- Bob Bentley: alidating the Intel® Pentium® 4 Microprocessor. 493-500
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
Session 10B: Fast Abstracts II
- William H. Sanders: Business Meeting: IEEE Technical Committee on Fault Tolerance.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team