火控雷达技术

2013年04期

本刊往期查看全部 >

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

林红;杨瀚程

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

安装知网阅读App
手机 · Pad同步看

开通季卡/年卡,优惠更多
立即开通