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

• 作者: 杨瀚程 林红
• 来源期刊: 火控雷达技术
• 学科: 工学
• 关键词: 故障树 最小割集 Petri网 关联矩阵
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 总体工程
• 页码范围: 40-43
• 页数: 4页
• 分类号: TP311
• 字数: 2308字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林红		4	21	2.0	4.0
2	杨瀚程		1	4	1.0	1.0