Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
IEEE Transactions on Computers
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability
IEEE Transactions on Software Engineering
The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Performance Analysis of Real-Time Software Supporting Fault-Tolerant Operation
IEEE Transactions on Computers
A New Approach to the Modeling of Recovery Block Structures
IEEE Transactions on Software Engineering
High-pressure steam engines and computer software
ICSE '92 Proceedings of the 14th international conference on Software engineering
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
ED4I: Error Detection by Diverse Data and Duplicated Instructions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
IEEE Transactions on Software Engineering
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
An empirical evaluation of maximum likelihood voting in failure correlation conditions
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Scheduling Algorithms for N-Version Programming Scheme
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Setting checkpoints in legacy code to improve fault-tolerance
Journal of Systems and Software
A majority voter for intrusion tolerant software based on N-version programming techniques
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
Extending Ada to support multi-core based monitoring and fault tolerance
Proceedings of the ACM SIGAda annual international conference on SIGAda
Automated harvesting of test oracles for reliability testing
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Dependable and Historic Computing
| Hi-index | 0.01 |
In situations in which computers are used to manage life-critical situations, software errors that could arise due to inadequate or incomplete testing cannot be tolerated. This paper examines three methods of creating fault-tolerant software systems, Recovery Block, N-Version Programming, and Consensus Recovery Block, and it presents reliability models for each. The models are used to show that one method, the Consensus Recovery Block, is more reliable than the other two.