基于Petri网的软件故障树分析

Petri Net-based Analysis on Software Fault Tree

软件故障树最小割集求解方式与效率极大影响软件可靠性分析结果及有效性。提出将故障树转化为Petri网,使用Petri网关联矩阵法,求解软件系统故障树最小割集。能够较好分析大型复杂软件系统,故障树最小割集求解更加简洁有效。通过ADS-B解码板解码任务验证其有效性,表明能够有效求解故障树最小割集。

Since solving way and efficiency of software fault tree minimal cut set is of great impact on the results of the software reliability analysis and effectiveness, an approach of converting software fault tree into Petri net and u- sing Petri net incidence matrix to solve minimal cut set of software fault tree is presented. Using this approach can better analyze large-scale complex software systems, and make solving minimal cut set more concise and effective. Its effectiveness is verified by using the ADS-B decoding board decoding task. The results indicate using this ap- proach can effectively solve minimal cut set of the fault tree.