马尔可夫模型在存储可靠性建模中有效吗？
摘要：连续时间马尔可夫链（CTMC）已被广泛用于可靠性建模。尽管马尔可夫模型的指数分布逗留时间被广泛认为是不现实的（需要考虑韦伯型模型来描述诸如硬盘之类的组件），但最近的研究还突显了CTMC模型的一些其他问题，如处理修复时间的能力。由于这些模型的无记忆性质，任何一个组件的故障或修复都会将“时钟”重置为零，任何其它子系统中的部分修复或老化都会被遗忘。因此，人们认为模拟是研究多个组件的存储系统可靠性的唯一准确技术。我们展示了当我们在一个系统的详细模型中考虑一组仔细的近似时，如何处理上述问题。一个详细的模型有很多状态，其中的转换及当前状态捕捉了各个组件的"记忆"。我们使用多个指数分布的和模拟非指数分布，并且使用一个支持减小大状态空间的概率模型检验工具的CTMC求解器。此外，我们可以以较低的成本获得接近模拟结果的结果。
作者：Prasenjit Karmakar and K. Gopinath
论文ID：1503.07931
分类：Performance
分类简称：cs.PF
提交时间：2015-03-30