ACM Transactions on Computer Systems (TOCS)
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Fault-Tolerant SoFtware Reliability Modeling
IEEE Transactions on Software Engineering
Performance Modeling Based on Real Data: A Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Modeling of Correlated Failures and Community Error Recovery in Multiversion Software
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
Real-time Systems Performance in the Presence of Failures
Computer - Special issue on real-time systems
A New Approach to the Modeling of Recovery Block Structures
IEEE Transactions on Software Engineering
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Performability Modeling with UltraSAN
IEEE Software
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
International Workshop on Timed Petri Nets
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
A Design Diversity Metric and Analysis of Redundant Systems
IEEE Transactions on Computers
Annals of Software Engineering
Failure Correlation in Software Reliability Models
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A Design Diversity Metric and Reliability Analysis for Redundant Systems
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A Simulation Approach to Structure-Based Software Reliability Analysis
IEEE Transactions on Software Engineering
Estimating the probability of failure when software runs are dependent: an empirical study
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
| Hi-index | 0.00 |
The authors examine the problem of accurately modeling the software fault-tolerance technique based on recovery blocks. Analysis of some systems have investigated the correlation between software modules, which may be due to a portion of the functional specification that is common to all software modules, or to the inherent hardness of some problems. Three types of dependence which can be captured using measurements are considered. These are correlation between software modules for a single input, correlation between successive acceptance tests on correct module outputs and incorrect module outputs, and correlation between subsequent inputs. The authors' technique is quite general and can be applied to other types of correlation. In accounting for dependence, they use the intensity distribution introduced by D.E. Eckhardt and L.D. Lee (1985). A method of generating the intensity distribution that is based on the pairwise correlation between modules is discussed. This method is contrasted with the assumption of independent modules as well as the use of the beta-binomial density introduced by V.F. Nicola and A. Goyai (1990). The effects of dependencies were studied using a Stochastic Reward Network (SRN) that incorporates all of the above dependencies and a modeling tool called Stochastic Petri Net Package (SPNP).