Measurement-based evaluation of operating system fault tolerance

Model-based performance evaluation of distributed checkpointing protocols

“…9(a) but with decreasing probabilities of recovering. We also have here an optimum T for every value of k. However, v(k) is a slow monotonic function with k, and as can be seen, v (16) is almost the same as v (25). Fig.…”

“…In addition, we assume that the failure rate is identical (denoted by λ) and failures are independent. Several people have suggested different failure distribution, such as some form of exponential distribution or hyperexponential distribution [16,22,24]. However, here we pursue the mentioned assumptions regarding failure rate to be able to compare our results with other related approaches.…”

Model implementation of the simulation environment of voting algorithms, as a dynamic system for increasing the reliability of the control complex of autonomous unmanned objects

“…The low reliability index of all versions as 0.7 is taken for clarity of simulation results, since with quite reliable versions (P> 0.95) even with the number of multiversions N = 3, both voting algorithms give no faults for 300 votes [15][16]. What we have seen data is a kind of a perfect example of the system reliability increases overall, despite each models extremely unreliable software modules [14,17,18] throw an fault of 30% cases, we observe that in a system with 9 versions all 300 responses are correct.…”

Use of Combined System Dependability and Software Reliability Growth Models

“…For example, several studies have shown that 80 to 95 percent of software failures in real-time systems are recoverable by redundant processes. 5,13 In such cases, software reliability growth models do not provide meaningful answers.…”

“…Such models have been used to evaluate operational software based on failure data collected from commercial computer operating systems for more than a decade. 5,16,17 Research on estimating parameters for such models, including failure rates and restoration times of both hardware and software components, been a research topic in computer engineering for fifteen years. 15 System availability modeling has been used to evaluate availability for air traffic control software systems, 9,13,14 and most recently also to the early operational phase at multiple sites.…”