Fault-Tolerant SoFtware Reliability Modeling
IEEE Transactions on Software Engineering
X-Ware Reliability and Availability Modeling
IEEE Transactions on Software Engineering
A New Approach to the Modeling of Recovery Block Structures
IEEE Transactions on Software Engineering
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
Evaluating FTRE's for Dependability Measures in Fault Tolerant Systems
IEEE Transactions on Computers - Special issue on fault-tolerant computing
An integrated framework for security and dependability
Proceedings of the 1998 workshop on New security paradigms
Estimating Bounds on the Reliability of Diverse Systems
IEEE Transactions on Software Engineering
Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Evaluation of Software Dependability Based on Stability Test Data
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Dependability Modelling in a Prototype Development Framework
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Proceedings of the 2004 ACM symposium on Applied computing
Improving complex distributed software system availability through information hiding
Proceedings of the 2010 ACM Symposium on Applied Computing
Dependable and Historic Computing
Dependability evaluation of complex embedded systems and microsystems
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Hi-index | 14.98 |
Dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches-recovery blocks (RBs) and N version programming (NVP)-are presented. The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test; NVP: three versions and a decider). For each approach a detailed model based on the software production process is established and then simplified by assuming that only a single fault type may manifest during execution of the fault-tolerant software and that no error compensation may take place within the software. The analytical results obtained make it possible to identify the improvement, compared to a non-fault-tolerant software, that could result from the use of RB (the acceptance test has to be more reliable from the alternates) and NVP (related faults among the versions and the decider have to be minimized) and to determine the most critical types of related faults. Nested RBs are studied, showing that the proposed analysis approach can be applied to such realistic software structures and that when an alternate is itself an RB, the results are analogous to the case of the addition of a third alternate. The reliability analysis shows that only a small improvement can be expected.