ABSTRACT

Software rejuvenation is a policy to counter the phenomenon of software ageing. However, how to implement software rejuvenation is still an important issue. In this paper, periodic impulse control is proposed as an effective tool to perform software rejuvenation and improve the availability of software system. First, we formulate the software rejuvenation system with periodic impulse by a group of coupled differential equations with impulsive action. Then the well-posedness of the system is demonstrated by using operator semigroup theory. At the end of the paper, numerical examples are shown to illustrate the dynamic behaviour of the system and the relationship between the system instantaneous availability and the impulsive indexes, including impulse interval and impulse strength, which yields that the system availability can be improved by adjusting the impulsive indexes.

摘要

软件复兴是一种应对软件老化现象的政策。但是，如何实现软件的年轻化仍然是一个重要的问题。在本文中，周期性脉冲控制被提出作为执行软件更新和提高软件系统可用性的有效工具。首先，我们通过一组具有脉冲作用的耦合微分方程来制定具有周期性脉冲的软件回春系统。然后利用算子半群理论证明了系统的适定性。最后通过数值算例说明了系统的动态行为以及系统瞬时可用性与脉冲间隔和脉冲强度等脉冲指标之间的关系，