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

摘要

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

关键词