收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于统计模型检测的DFT定量分析方法

乔森  黄志球  王金永  宛伟健  
【摘要】:动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明所提方法的有效性。

知网文化
【相似文献】
中国期刊全文数据库 前16条
1 杜德慧;程贝;刘静;;面向安全攸关系统中小概率事件的统计模型检测[J];软件学报;2015年02期
2 高婉玲;洪玫;杨秋辉;赵鹤;;统计算法选择对统计模型检测效率的影响分析[J];计算机科学;2017年S1期
3 缪力;张大方;;程序模型检测的两阶段框架[J];计算机应用;2007年12期
4 杨茜茜;;模型检测技术的发展研究[J];科学家;2016年10期
5 化志章;吴传孙;揭安全;薛锦云;;软件模型检测新技术研究[J];微计算机信息;2007年36期
6 肖健宇;张德运;郑卫斌;;过程提取用于改善程序模型检测的可伸缩性[J];西安交通大学学报;2006年06期
7 袁志斌;徐正权;王能超;;软件模型检测中的抽象[J];计算机科学;2006年07期
8 何恺铎;顾明;宋晓宇;李力;李江;;面向源代码的软件模型检测及其实现[J];计算机科学;2009年01期
9 邝宏斌;罗贵明;;并行软件模型检测[J];计算机工程;2008年19期
10 黄卫平;;程序重构预处理在提高软件模型检测效率中的应用[J];计算机研究与发展;2008年08期
11 梁常建;李永明;;广义可能性计算树逻辑的模型检测问题[J];电子学报;2017年11期
12 王舜;杜晔;韩臻;刘吉强;;基于程序局部性引导的有界模型检测优化方法[J];通信学报;2018年03期
13 戎玫;张广泉;;模型检测新技术研究[J];计算机科学;2003年05期
14 袁申;魏杰林;李永明;;具有多值决策过程的广义可能性计算树逻辑模型检测[J];计算机工程与科学;2019年01期
15 徐雨波;晏荣杰;;一种基于有限精度时间自动机的模型检测工具[J];计算机应用研究;2006年05期
16 韩炜,臧红伟;机载计算机的可测试性工程设计(DFT)[J];测控技术;2001年05期
中国重要会议论文全文数据库 前4条
1 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
3 赵正旭;张常有;刘立嘉;;信息对象开放式采集系统的形式化描述[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年
4 韩婷婷;陈韬略;颜锋;吕建;;部分状态空间的建模及其验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 段钊;基于CEGAR的C程序模型检测研究[D];西安电子科技大学;2019年
2 师亚;基于投影时序逻辑的Petri网模型检测[D];西安电子科技大学;2017年
3 李艳梅;基于模型检测的XML查询安全性验证方法研究[D];哈尔滨工程大学;2018年
4 范艳焕;模糊系统验证的形式化方法研究[D];陕西师范大学;2018年
5 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
6 赵璐;On-the-Fly和动态的软件模型检测方法研究[D];哈尔滨工程大学;2014年
7 许德合;基于DFT的矢量地理空间数据数字水印模型研究[D];解放军信息工程大学;2008年
8 袁志斌;基于模拟理论的模型检测研究[D];华中科技大学;2007年
9 张一弛;程序恶意行为识别及其恶意性判定研究[D];解放军信息工程大学;2012年
10 奚琪;基于模型检测的二进制代码恶意行为识别技术研究[D];解放军信息工程大学;2014年
中国硕士学位论文全文数据库 前10条
1 王静;基于模糊Petri网的复杂系统模型检测并行化研究[D];陕西师范大学;2018年
2 陈云潇;基于LLVM的静态程序有界模型检测[D];华侨大学;2018年
3 姜献昭;基于模型检测的制动系统文档测试方法与应用[D];大连理工大学;2018年
4 任海芬;基于LTL的并行软件系统CPN模型启发式模型检测方法研究[D];内蒙古大学;2018年
5 杨芳;基于模型检测的安全协议自动验证方法研究[D];湖南大学;2015年
6 李培培;基于模型检测的系统形式化建模与应用研究[D];江西理工大学;2018年
7 马超;基于模型检测的安全路径验证[D];兰州大学;2018年
8 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年
9 王晓雪;基于模型检测的开源软件安全缺陷与漏洞检测研究[D];哈尔滨工程大学;2015年
10 童伟超;基于软件模型检测的C程序内存泄漏修复[D];西安电子科技大学;2017年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978