Data Diversity: An Approach to Software Fault Tolerance
IEEE Transactions on Computers - Fault-Tolerant Computing
Conceptual Modeling of Coincident Failures in Multiversion Software
IEEE Transactions on Software Engineering
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Estimating Bounds on the Reliability of Diverse Systems
IEEE Transactions on Software Engineering
Dependability models for iterative software considering correlation between successive inputs
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
The Effect of Testing on Reliability of Fault-Tolerant Software
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
In this paper we study the effects on system reliability of the correlation over input space partitions between the rates of failure of two-channel fault-tolerant control software. We use a continuous-time semi-Markov model to describe the behavior of the system. We demonstrate via simulation that the variation of the failure rates of the channels over the partitions of the input space can affect system reliability very significantly. With a plausible range of model parameters we observed that the mean time to system failure may vary by more than an order of magnitude: positive correlation between the channel rates makes the system less reliable while negative correlation between the channel rates implies that the system is more reliable than assuming constant failure rates for the channels. Our observations seem to make a case for more detailed reliability measurements than is typically undertaken in practice.