Skip to main content

Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods

Publication ,  Journal Article
Qiu, K; Zheng, Z; Trivedi, KS; Mura, I
Published in: IEEE Transactions on Reliability
September 1, 2021

Mandelbug-caused software failures are significant threats to system availability, especially in the context of mission-critical and safety-critical systems. However, there is still no systematic method for keeping the software free from Mandelbugs before release. To guarantee the availability of systems suffering from Mandelbugs, environmental-diversity-based fault tolerance techniques have been proposed to recover from the failures caused by them. In this article, we develop and study an analytic model to assess the availability of systems that utilize a sequence of environmental-diversity-based recovery methods. Improving over previous relevant studies, the availability formula we obtain in this article works for any number of recovery methods the system is equipped with; it is also independent on both the nature of those recovery methods and the order of their utilization. In addition, we consider the problem of how to arrange the set of available recovery methods to achieve the largest system availability. Based on the results of our analysis, we develop an open-source tool, called OPENS, which assists in the calculation of the optimal system availability. We validate the effectiveness of the proposed modeling approach in two ways, namely by comparing our results with those obtained for specific systems considered in relevant studies and by conducting numerical analyses for more general scenarios of its application.

Duke Scholars

Published In

IEEE Transactions on Reliability

DOI

EISSN

1558-1721

ISSN

0018-9529

Publication Date

September 1, 2021

Volume

70

Issue

3

Start / End Page

1126 / 1142

Related Subject Headings

  • Operations Research
  • 4612 Software engineering
  • 4010 Engineering practice and education
  • 0906 Electrical and Electronic Engineering
  • 0803 Computer Software
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Qiu, K., Zheng, Z., Trivedi, K. S., & Mura, I. (2021). Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Transactions on Reliability, 70(3), 1126–1142. https://doi.org/10.1109/TR.2020.3023032
Qiu, K., Z. Zheng, K. S. Trivedi, and I. Mura. “Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.” IEEE Transactions on Reliability 70, no. 3 (September 1, 2021): 1126–42. https://doi.org/10.1109/TR.2020.3023032.
Qiu K, Zheng Z, Trivedi KS, Mura I. Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Transactions on Reliability. 2021 Sep 1;70(3):1126–42.
Qiu, K., et al. “Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.” IEEE Transactions on Reliability, vol. 70, no. 3, Sept. 2021, pp. 1126–42. Scopus, doi:10.1109/TR.2020.3023032.
Qiu K, Zheng Z, Trivedi KS, Mura I. Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Transactions on Reliability. 2021 Sep 1;70(3):1126–1142.

Published In

IEEE Transactions on Reliability

DOI

EISSN

1558-1721

ISSN

0018-9529

Publication Date

September 1, 2021

Volume

70

Issue

3

Start / End Page

1126 / 1142

Related Subject Headings

  • Operations Research
  • 4612 Software engineering
  • 4010 Engineering practice and education
  • 0906 Electrical and Electronic Engineering
  • 0803 Computer Software