利用着色 Petri 网对大型数字仪控系统的共因失效进行建模
软件工程
2014-12-12 v1 性能
摘要
本研究旨在表征大型数字系统中的共因失效（CCF）。所研究的系统代表核电站的控制系统。CCF 模型采用广义 Atwood 模型，它能够表征独立失效、对部分系统元件非致命的 CCF 以及对所有元件致命的 CCF。Atwood 模型经过修改，可将非致命动态共因（DCC）“导向”系统的特定部分，并考虑 DCC 的不同可能起源。该模型纳入了维护与修复过程，因而具有动态特性。主要评估结果为概率性质，所考虑的指标是要求时失效概率（PFD）。研究对比了考虑所有失效的 PFD 估计量与仅考虑已检测失效的 PFD 估计量。
引用
@article{arxiv.1412.3687,
title = {Modelling common cause failures of large digital I&C systems with coloured Petri nets},
author = {Gilles Deleuze and Nicolae Brinzei and Nicolas Villaume},
journal= {arXiv preprint arXiv:1412.3687},
year = {2014}
}
备注
in French, 19\`eme Congr\`es de Ma\^itrise des Risques et S\^uret\'e de Fonctionnement, Lambda-Mu'2014, Oct 2014, Dijon, France