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.

中文翻译：

---

单事件效应下软件可靠性设计模式的抗老化分析

软件老化是与软件持续运行相关的风险，开发抗老化技术来抵消或缓解老化现象是必不可少且有意义的。虽然软件老化和抗老化技术引起了相当大的关注，但很少有研究将单一事件效应作为空间环境中的软件老化原因。本研究针对上述具体原因引起的软件老化问题，除了经典的软件回春，我们进一步探讨了软件可靠性设计模式的抗老化效果和规律，包括三重模块冗余（TMR）和逻辑分区. 可靠性和可用性被用作老化指标，并通过概率模型检验定量分析可靠性设计模式和复兴策略的抗老化效果。仿真和理论结果表明，可靠性设计模式可以缓解软件老化。但是，TMR 模式是时间敏感的。发现回春策略的应用使得时间敏感性消失。可靠性设计模式与返老还童政策相结合，可以获得最佳的抗老化效果。本文的分析和讨论可以为软件研究人员实例化不同的软件抗衰老发明或新应用提供有用的见解。发现回春策略的应用使得时间敏感性消失。可靠性设计模式与返老还童政策相结合，可以获得最佳的抗老化效果。本文的分析和讨论可以为软件研究人员实例化不同的软件抗衰老发明或新应用提供有用的见解。发现回春策略的应用使得时间敏感性消失。可靠性设计模式与返老还童政策相结合，可以获得最佳的抗老化效果。本文的分析和讨论可以为软件研究人员实例化不同的软件抗衰老发明或新应用提供有用的见解。