Time: 4.0 hours
YS Dai, M Xie, KL Poh, SH Ng., 2004. A model for correlated failures in N-version programming. IIE Transactions. v36 i12. 1183-1192. (gs:16)
IIE Transactions: 由Taylor & Francis出版, SCI收录(IF=1.023, 2008), 关注以下4方面内容: Design and Manufacturing, Operations Engineering and Analysis, Quality and Reliability Engineering, and Scheduling and Logistics．
作者Yuanshun Dai, 本科清华, 博士新加坡国立, 目前是Dept of EECS & Dept of IIE@University of Tennessee, Knoxville的教员. 研究方向有Grid computing, Reliability等, 在IEEE Transactions上发表过多篇论文.
针对N-version容错系统的分析, 通常都假设"independence of the different versions", 但实际上, 不同版本之间会存在关联关系, "common cause"会导致多个版本同时失效. 本文提出了一种针对"dependent failures"的模型和reliability计算方法(S2), 同时提出了一种参数估计的方法(S3.2). 最后, 还讨论了本文模型在"testing resource allocation optimization"问题中的应用(S4).
(S2)讨论了本文的模型. 作者通过穷举, 将components failure分成互斥的2^N-1种情形(假设共有N个components)(S2.1). 使用fault-tree analysis来表示system reliability (S2.2).
(S3)中算是case study. 使用非齐次泊松过程(Non-Homogeneous Poinsson Processes, NHPPs)来模拟各种event发生的概率, 比较了"dependent model"和"independent model"的计算结果. 结果表明, 在开始阶段independence model得到的reliability值更高, 随着时间的推移, 后来是"dependent model"得到的reliability值更高(S3.3).
(S4)中讨论本文模型在"testing resource allocation problem"中的应用, 感觉这部分跟文章其他部分的关系不是很紧密.
本文的模型理论只用到了概率里面的基本知识, 因此并不难懂. 看这篇论文花了4个小时, 主要是因为对这个领域不太熟悉, 要找相关文献等, 读起来比较慢.