See this document in CiteSeerX!

Software Fault Tolerance: A Tutorial (2000)  (Make Corrections)  
Wilfredo Torres-Pomales



  Home/Search   Context   Related

 
View or download:
nasa.gov/pub/techr...2000tm210616.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nasa.gov/ltrs/cit (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Because of our present inability to produce error-free software, software fault tolerance is and will continue to be an important consideration in software systems. The root cause of software design errors is the complexity of the systems. Compounding the problems in building correct software is the difficulty in assessing the correctness of software for highly complex systems. This paper presents a review of software fault tolerance. After a brief overview of the software development... (Update)

Active bibliography (related documents):   More   All
1.4:   The Methodology of N-Version Programming - Avizienis (1995)   (Correct)
0.9:   Fault-Tolerant Software Voters Based on Fuzzy Equivalence.. - Kim, Vouk, McAllister   (Correct)
0.9:   Gates Building 2A, Room 236 - Computer Systems Laboratory   (Correct)

Similar documents based on text:   More   All
0.0:   Collaboration Coordination, and Computer Support - An Activity.. - Bardram (1998)   (Correct)
0.0:   Measurable Multifunctions In Nonseparable Banach Spaces - Barcenas, URBINA (1997)   (Correct)
0.0:   On Founding the Theory of Algorithms - Moschovakis (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ torres-pomales-software,
  author = "Wilfredo Torres-Pomales",
  title = "Software Fault Tolerance: A Tutorial",
  url = "citeseer.ist.psu.edu/torres-pomales00software.html" }
Citations (may not include all citations):
293   System Structure for Software Fault Tolerance (context) - Randell - 1975
267   Software Engineering: A Practitioner's Approach (context) - Pressman - 1997
208   No Silver Bullet: Essence and Accidents of Software Engineer.. (context) - Brooks - 1987
184   Checkpointing and Rollback-Recovery for Distributed Systems (context) - Koo, Toueg - 1987
173   Safeware: System Safety and Computers (context) - Leveson - 1995
107   An Experimental Evaluation of the Assumption of Independence.. - Knight, Leveson - 1986
98   Fault Tolerance: Principles and Practice (context) - Anderson, Lee - 1981
92   Software-Based Replication for Fault Tolerance (context) - Guerraoui, Schipper - 1997
82   Fault Injection for Dependability Validation: A Methodology .. (context) - Arlat - 1990
79   Why Do Computers Stop and What Can Be Done About It - Gray - 1986
71   Algorithm-Based Fault Tolerance for Matrix Operations (context) - Huang, Abraham - 1986
64   The Infeasibility of Quantifying the Reliability of Life-Cri.. - Butler, Finelli - 1991
63   Hardening COTS Software with Generic Software Wrappers - Fraser - 1999
56   The MAFT Architecture for Distributed Fault Tolerance (context) - Kieckhafer - 1988
55   Fault-Tolerant Computer System Design (context) - Pradhan - 1996
50   Evaluation of Safety-Critical Software (context) - Parnas, van Schouwen et al. - 1990
43   Validation of Ultrahigh Dependability for Software-Based Sys.. (context) - Littlewood, Stringini - 1993
39   Data Diversity: An Approach to Software Fault Tolerance (context) - Ammann, Knight - 1988
39   Software Fault Tolerance (context) - Lyu - 1995
37   Experimental Analysis of Computer System Dependability (context) - Iyer, Tang - 1996
33   Software Safety: Why (context) - Leveson - 1986
33   An Experimental Evaluation of Software Redundancy as a Strat.. (context) - Eckhardt - 1991
32   Architectural Principles for SafetyCritical Real-Time Applic.. (context) - Lala, Harper - 1994
31   Conceptual Modeling of Coincident Failures in Multiversion S.. (context) - Littlewood, Miller - 1989
30   Dependable Computing: From Concepts to Design Diversity (context) - Avizienis, Laprie - 1986
27   Fault Injection for the Formal Testing of Fault Tolerance (context) - Avresky - 1992
27   The Evolution of the Recovery Block Concept (context) - Randell, Xu - 1995
26   Comparing the Robustness of POSIX Operating Systems (context) - Koopman, DeVale - 1999
25   Fault-Tolerant Computing: Fundamental Concepts (context) - Nelson - 1990
23   Comparing Operating Systems Using Robustness Benchmarks - Koopman - 1997
22   and Software Fault Tolerance in Tandem GUARDIAN90 Operating .. (context) - Lee, Iyer et al. - 1993
21   Fault-Tolerant Software Reliability Modeling (context) - Scott, Gault et al. - 1987
19   Exception Handling and Software Fault Tolerance (context) - Cristian - 1982
19   Hardware- and Software-Fault Tolerance: Definition and Analy.. (context) - Laprie - 1987
19   An Empirical Comparison of Software Fault Tolerance and Faul.. (context) - Shimeall, Leveson - 1991
19   Toward Systematic Design of Fault-Tolerant Systems (context) - Avizienis - 1997
19   Exception Handling and Software-Fault Tolerance (context) - Cristian - 1980
17   Cleanroom Software Engineering: Technology and Process (context) - Prowell - 1999
16   Version Programming for Software Fault Tolerance During Exec.. (context) - Avizienis, Chen et al. - 1977
15   Faults in Its Sleeve: Amplifying Software Reliability Testin.. - Hamlet, Voas - 1993
15   Automated Robustness Testing of Off-the-Shelf Software Compo.. - Kropp - 1998
15   Hardware and Software Fault Tolerance: A Unified Architectur.. (context) - Lala, Alger - 1988
14   Implementing Design Diversity to Achieve Fault Tolerance (context) - Kelly - 1991
13   How Fail-Stop are Faulty Programs (context) - Chandra, Chen - 1998
13   Fault-Tolerant Real-Time Objects (context) - Kim, Subbaraman - 1997
12   A Design Approach for Ultrareliable Real-Time Systems (context) - Lala - 1991
12   Using Executable Assertions for Testing and Fault Tolerance (context) - Andrews - 1979
12   The Impact of Diversity Upon Common Mode Failures - Littlewood - 1996
11   Software Dependability in the Tandem GUARDIAN System (context) - Lee, Iyer - 1995
11   Version Approach to Fault-Tolerant Software (context) - Avizienis, N- - 1985
11   The Consistent Comparison Problem in N-Version Software - Brilliant - 1989
10   Fault Tolerant Operating Systems (context) - Denning - 1976
10   A Large Scale Experiment in N-Version Programming (context) - Knight - 1985
10   Application Transparent Fault Management in Fault Tolerant M.. (context) - Russinovich - 1993
10   Version Programming (context) - Avizienis, of - 1995
9   Architectural Issues in Software Fault Tolerance (context) - Laprie - 1995
9   Beyond Fault Tolerance (context) - Chou - 1997
9   A Comparison of Voting Strategies for Fault-Tolerant Distrib.. (context) - Blough, Sullivan - 1990
9   A Byzantine Resilient Fault Tolerant Computer for Nuclear Po.. (context) - Lala - 1986
8   The UCLA DEDIX System: A Distributed Testbed for Multiple-Ve.. (context) - Avizienis - 1985
8   Roll-Forward Checkpointing Scheme: Concurrent Retry with Non.. (context) - Pradhan, Vaidya - 1992
8   Software Fault Tolerance (context) - Avizienis - 1989
7   A Theoretical Investigation of Generalized Voters for Redund.. (context) - Lorczack - 1989
7   Executable Assertions and Flight Software (context) - Mahmood - 1984
7   Predictably Dependable Computing Systems (context) - Randell - 1995
7   An Algorithm for Supporting Fault Tolerant Objects in Distri.. - Beedubail - 1995
7   Measuring Robustness of a Fault Tolerant Aerospace System (context) - Dingman - 1995
6   Saturation: Reduced Idleness for Improved FaultTolerance (context) - Fabre - 1988
6   Assessment of COTS Microkernels by Fault Injection (context) - Fabre - 1999
6   Reliability of Voting in Fault-Tolerant Software Systems for.. (context) - McAllister - 1990
6   The Effectiveness of Software Error-Detection Mechanisms in .. (context) - Damm - 1986
6   TFT: A Software System for Application-Transparent Fault Tol.. - Bressoud - 1998
6   A Theoretical Basis for the Analysis of Redundant Software S.. (context) - Eckhardt, Lee - 1985
6   FINE: A Fault Injection and Monitoring Environment for Traci.. (context) - Kao - 1993
5   Resourceful Systems for Fault Tolerance (context) - Abbott - 1990
5   Resilient Computing Systems (context) - Anderson - 1985
5   An Evaluation of Software Fault Tolerance in a Practical Sys.. (context) - Anderson - 1985
5   Executable Assertions and Timed Traces for On-Line Software .. (context) - Rabjac - 1996
5   Electrical Flight Controls: A Family of Fault-Tolerant Syste.. (context) - Briere, Traverse - 1993
5   Definition and Analysis of Hardware- and SoftwareFault -Tole.. (context) - Laprie - 1990
4   Software Diversity Metrics and Measurements - Lyu - 1992
4   A System for Supporting Multi-Language Versions for Software.. (context) - Purtilo, Jalote - 1989
4   Ada95 Object-Oriented and Real-Time Support for Development .. (context) - Shokri, Tso
4   Replication within Atomic Actions and Conversations: A Case .. (context) - Mancini, Shrivastava - 1989
4   Fault-Tolerant Real-Time Task Scheduling in the MAFT Distrib.. (context) - Kieckhafer - 1989
4   Software Fault Tolerance: Achievement and Assessment Strateg.. (context) - Kersken, Saglietti - 1992
4   Checkpointing and the Modeling of Program Execution Time (context) - Nicola - 1995
4   Fault-Tolerance for Off-The-Shelf Applications and Hardware (context) - Russinovich, Segall - 1995
3   Measurement-Based Evaluation of Operating System Fault Toler.. (context) - Lee - 1993
3   Software Fault Insertion Testing for Fault Tolerance (context) - Lai, Wang - 1995
3   Reliability Engineering and System Safety (context) - Knight, Ammann et al. - 1991
3   Multi-Version Software Development (context) - Kelly - 1986
3   Improving Software Robustness with Dependability Cases - Maxion, Olszewski - 1998
3   Software Engineering Guides (context) - Mazza - 1996
3   Fundamental Differences in the Reliability of N-Modular Redu.. (context) - Eckhardt, Lee - 1988
3   Guaranteeing Deadlines in MAFT (context) - McElvany - 1988
3   An Empirical Study of Software Error Detection Using SelfChe.. (context) - Cha - 1987
3   Fault-Tolerant Software Systems: Techniques and Applications (context) - Pham - 1992
3   Voting in Real-Time Distributed Computer Control Systems (context) - Bass - 1995
3   Software Fault Tolerance by Design Diversity (context) - Bishop - 1995
3   IEEE Transactions on Reliability (context) - Hecht, Software - 1979
2   Fault Tolerant Avionics (context) - Hills, Nisar et al. - 1988
2   The Transparent Implementation of Fault Tolerance in the Tim.. (context) - Kopetz, Millinger - 1999
2   Experimental Comparison of Voting Algorithms in Cases of Dis.. (context) - Bass - 1997
2   Reducing the Probability of Common-Mode Failure in the Fault.. (context) - Lala, Harper - 1993
2   On Self-Checking Software Design (context) - Lala - 1991
2   Introduction to Robust Data Structures (context) - Black - 1980
2   An Introduction to the Design and Analysis of Fault-Tolerant.. (context) - Johnson - 1996
2   International Federation for Information Processing (context) - Laprie, Dependability et al. - 1992
2   Software Fault Tolerance in a Clustered Architecture: Techni.. (context) - Lyu, Mendiratta - 1999
2   A Design Paradigm for Fault Tolerant Systems (context) - Avizienis - 1987
2   An Application of Formal Analysis to Software in a Fault-Tol.. (context) - Chisholm, Wojcik - 1999
2   Defects and Reliability Analysis of Large Software Systems: .. (context) - Levendel - 1989
2   Dependable Flight Control System Using Data Diversity with E.. (context) - Christmansson - 1994
2   Dependable Flight Control System Using Data Diversity with E.. (context) - Christmansson - 1998
2   Extension of the Midvalue Selection Technique for Redundancy.. (context) - Potter, Suman - 1986
2   Software Fault Tolerance Through Executable Assertions (context) - Andrews - 1979
2   Implementation of a Transient-Fault-Tolerance Scheme on DEOS - Dong - 1999
2   Software Diversity -- Some Considerations About Its Benefits.. (context) - Saglietti, Ehrenberger - 1986
2   Version FaultTolerant Software Systems for Large N (context) - Scott, McAllister et al. - 1996
2   IEEE Transactions on Software Engineering (context) - Hecht, Hecht et al. - 1986
1   Design of Reliable Software via General Combination of NVers.. (context) - Parhami - 1996
1   Dependable Computing Depends on Structured Fault Tolerance (context) - Avizienis - 1995
1   Fault Tolerant System Design Paradigm (context) - Tolerant, Paradigm et al. - 1990
1   Digest of Papers: The Twenty-Fifth International Symposium o.. (context) - Moser, System - 1995
1   On Requirements for Software Fault Tolerance for Flight Cont.. (context) - Migneault - 1983
1   Application Layer Software Fault Tolerance for Distributed O.. (context) - Kim, Nair - 1995
1   Software Fault Tolerance for Distributed Object Based Comput.. (context) - Kim, Nair - 1997
1   Self-Checking Programs: An Axiomatisation of Program Validat.. (context) - Metze, Mili - 1981
1   Development of Software Fault-Tolerance Techniques (context) - Melliar-Smith - 1983
1   Systems Approach to Software Fault Tolerance (context) - Caglayan, Eckhardt - 1985
1   Fault-Tolerance in Distributed Fly-By-wire Flight Control Sy.. (context) - Gluch, Paul - 1986
1   An Integrated Scheduling Mechanism for Fault-Tolerant Modula.. (context) - Lee - 1998
1   Fault Tolerant Real-Time Operating System for 32 Bit Micropr.. (context) - Kojo - 1988
1   A Comparison of Voting Algorithms for N-Version Programming (context) - Gersting - 1991
1   Fault-Tolerance in Software (context) - Hecht, Hecht - 1996
1   Software Fault Tolerance: The Case for Forward Recovery (context) - Leveson - 1983
1   Digest of Papers FTCS-2: The 2 nd Annual International Sympo.. (context) - Elmendorf, Programming - 1972
1   Software Technology for Next-Generation Strike Fighter Avion.. (context) - Hamilton-Jones - 1996
1   An Analysis of the Effects of Coincident Errors on Multi-Ver.. (context) - Eckhardt, Lee - 1985
1   Processor Assignment and Execution Sequence for Multiversion.. (context) - Leung - 1997
1   Digest of Papers Fault-Tolerant Computing: The Twenty-First .. (context) - Jewett, Unix - 1991
1   The Effects of Voting Algorithms on N-Version Software Relia.. (context) - Greeley - 1987
1   Dependable Onboard Computer Systems with a New Method -- Ste.. (context) - Kanekawa - 1989
1   Testing: Principles and Practice (context) - Schach - 1996
1   Digest of Papers: Twenty-Ninth Annual International Symposiu.. (context) - Salles, Fault - 1999
1   Formal Methods for the Validation of Fault Tolerance in Auto.. (context) - Ayache - 1996
1   The Fault Tolerant Processor Operating System Concepts 41 an.. (context) - Babikyan - 1990
1   The Impact of Voter Granularity in Fault-Tolerant Software o.. (context) - Saglietti - 1991
1   Software Diversity Metrics: Quantifying Dissimilarity in the.. (context) - Saglietti - 1990
1   Application Transparent Fault Managemet in Fault Tolerant Ma.. (context) - Russinovich - 1994
1   Hardware and Software Fault Tolerance Using Fail-Silent Virt.. (context) - Echtle, Lovric - 1995
1   Task Reconfiguration in a Distributed Real-Time System (context) - Kieckhafer - 1987
1   Digest of Papers FTCS-11: The Eleventh Annual International .. (context) - Black, of et al. - 1981
1   Commercial Jet Transport Fly-By-Wire Architecture Considerat.. (context) - Bleeg - 1988
1   Development of Software Fault-Tolerant Applications with ADA.. (context) - Shokri - 1996
1   Comparative Analysis of Two Architectural Alternatives for t.. (context) - Doyle, Mackey - 1995
1   How Much is Safety Worth (context) - Laprie - 1994
1   Approach: A Position Paper (context) - Deck, Reliability et al. - 1998
1   Development of a Fault Tolerant Computer System for the HERM.. (context) - David, Guidal - 1993
1   Seawolf Submarine Ship Control System: A Case Study of a Fau.. (context) - Daughan - 1994
1   Reducing Message Overhead in TMR Systems - Ramirez, Melhem - 1999
1   Efficient Service of Rediscovered Software Problems (context) - Lee - 1996
1   Structuring Software Systems for Fault Tolerance (context) - Lee - 1983
1   Summing Up the 777's First Year: Is This a Great Airplane (context) - McKinzie - 1996
1   A Structured Mechanism for Diverse Software (context) - Anderson - 1986
1   Exception Handling and Error Recovery Techniques in Modular .. (context) - Boi - 1981
1   Boeing 777 Airplane Information Management System Operationa.. (context) - Aleska, Carter - 1997
1   Intelligent Voting for Real-Time Control Software (context) - Croll - 1995
1   Achieving Software Reliability and Fault Tolerance Using the.. (context) - Chang, Dillon - 1994
1   New Voters for Redundant Systems (context) - Broen - 1975
1   Version Programming with Majority Decision: Dependability Mo.. (context) - Goseva-Popstojanova, Grnarov - 1993

Documents on the same site (http://techreports.larc.nasa.gov/ltrs/cit.html):   More
Formal Verification of the Interactive Convergence Clock.. - Rushby, von Henke (1991)   (Correct)
Using the MCPLXS Generator for Technology Transfer - Moore, al. (1987)   (Correct)
An Overview of Particle Sampling Bias - Edwards, Meyers   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC