Paper Info
Title
Anti-aging analysis for software reliability design modes in the context of single-event effect
Abstract
Software aging is a risk associated with the continuous operation of software, and it is essential and meaningful to develop anti-aging technology to offset or mitigate the aging phenomenon. While considerable attention has been devoted to software aging and anti-aging techniques, few studies have focused on single-event effect as a software-aging reason in the context of a space environment. In this study, aiming at the software-aging problem caused by the specific reason above, besides the classic software rejuvenation, we further explore the anti-aging effects and rules of software reliability design modes, including triple modular redundancy (TMR) and logical partitioning. Reliability and availability are used as aging indicators, and the anti-aging effect of reliability design modes and rejuvenation policy is quantitatively analyzed through probabilistic model checking. The simulation and theoretical results show that the reliability design mode can alleviate software aging. However, the TMR mode is time-sensitive. It is found that the application of the rejuvenation policy makes time-sensitivity disappear. A combination of reliability design modes and rejuvenation policy can obtain the best anti-aging effect. The analysis and discussion in this paper can provide useful insights for software researchers to instantiate different software anti-aging inventions or new applications.
Year
DOI
Venue
2020
10.1007/s11219-019-09464-3
Software Quality Journal
Keywords
DocType
Volume
Software aging, Reliability design modes, Software rejuvenation, Probabilistic model checking, Single-event effect
Journal
28
Issue
ISSN
Citations 
1
0963-9314
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Qi Shao102.70
Xiaodong Gou233.78
Tingting Huang300.34
Shunkun Yang43112.25