【24h】

Software rejuvenation in maritime applications

机译:海事应用中的软件复兴

获取原文
获取原文并翻译 | 示例

摘要

In recent years much research has been focused on finding the causes of computer system failures. The results of this research led in observing that these failures are caused more due to software faults than due to hardware faults. Therefore, for constructing a reliable system it is necessary to improve software reliability. Although the great effort performed in this area, fault avoidance is very difficult for complex software systems. When software applications run continuously for a long period of time, error conditions are accumulated and the result is performance degradation or even a crash failure. This phenomenon has been reported as software aging. Software rejuvenation is very important way to counteract the phenomenon of software aging and system failures. It is a preventive and proactive solution and in a few words is the restart of an application at a clean internal state periodically. The modelling in this paper is formulated under a Homogeneous and a Non-Homogeneous Continuous Time Markov Chain framework. Additionally the cost of performing rejuvenation is also taken into consideration and a cost function for the model is produced and furthermore a rejuvenation policy is proposed for a maritime application. Finally, a numerical example is presented where the case of a software application on board of a ship is examined. Software rejuvenation procedure will be applied for a ship's propulsion automation in order to determine the best rejuvenation policy and to minimize the overall unavailability of the ship.
机译:近年来,许多研究都集中在寻找计算机系统故障的原因上。这项研究的结果导致观察到这些故障更多是由于软件故障而不是硬件故障引起的。因此,为了构建可靠的系统,有必要提高软件的可靠性。尽管在这方面付出了巨大的努力,但是对于复杂的软件系统而言,避免故障非常困难。当软件应用程序长时间连续运行时,会累积错误情况,结果是性能下降甚至崩溃失败。据报道这种现象是软件老化。复兴软件是抵御软件老化和系统故障现象的非常重要的方法。这是一种预防性的主动解决方案,简而言之就是定期以干净的内部状态重新启动应用程序。本文中的建模是在均质和非均质连续时间马尔可夫链框架下制定的。另外,还考虑了进行更新的成本,并且产生了该模型的成本函数,此外,提出了用于海事应用的更新策略。最后,给出了一个数字示例,其中研究了船上软件应用程序的情况。软件更新程序将应用于船舶的推进自动化系统,以确定最佳的更新策略并最大程度地降低船舶的总体利用率。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号