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

基于模型检验的飞机系统安全性分析方法研究

刘超  
【摘要】:传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,一定程度上存在容易疏漏系统失效状态或误判失效影响的局限性,因此有必要在飞机系统安全分析领域中引入新方法。模型检验方法使用了计算机技术,通过验证工具列出模型系统的所有状态,并能按照逻辑表达式的描述对全部状态进行搜索,在得到安全性分析结果的同时能够降低对分析人员能力的要求。 本文研究了模型检验理论、计算机实现原理和验证工具,分析总结了目前通用的飞机系统安全性评估流程和安全性分析方法,剖析了故障树分析方法流程,指出了其存在的局限性。为此,本文将模型检验方法应用到飞机系统安全性分析中。以系统需求规范为分析起点,给出了一种基于模型检验的飞机系统安全性分析流程。 根据前述工作,本文开发了基于NuSMV安全验证平台,平台使用了数据库技术,建立了基本的元件代码库和失效代码库,可以帮助用户快速构建系统模型、生成验证代码和知识库文件。最后以ARP4761附录中的机轮刹车系统为例,使用模型检验方法对其安全性进行了分析。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈旺虎;韩燕波;王菁;刘晨;王建武;;一种适应性web服务匹配方法(英文)[J];Journal of Southeast University(English Edition);2007年03期
2 王佳婧;侯秀萍;;基于层次自动机和模型检测的UML状态图检测方法[J];硅谷;2010年23期
3 张鹏程;李必信;周宇;;模型检验软件体系结构研究与进展[J];计算机科学;2007年04期
4 董威,王戟,齐治昌;并发和实时系统的模型检验技术[J];计算机研究与发展;2001年06期
5 黄蔚;;模型检验技术的研究与应用[J];电子质量;2008年02期
6 刘锋,李舟军,李梦君,宋震,张艳;基于SMV的安全协议模型检验[J];计算机工程与科学;2004年02期
7 卜广志;葛含益;邢继娟;;一种用于模型检验的符号检验法[J];计算机仿真;2007年01期
8 古天龙;张勐;;基于模型检验集成规划系统的机械装配序列规划[J];计算机集成制造系统;2008年09期
9 郭涛;;半实物仿真系统中零阶保持器的数字补偿方法[J];自动化学报;1993年02期
10 邵明,李光辉,李晓维;模型检验中迁移关系的分组策略[J];计算机辅助设计与图形学学报;2003年09期
11 崔霞,苗长芬;硬件设计中的形式化方法[J];新乡教育学院学报;2005年02期
12 刘霞;古天龙;常亮;郭云川;;无线认证协议的模型检验分析研究[J];计算机工程与应用;2006年21期
13 王斌;田野;章云;;采用时间约束Petri网分析优化广电过程模型[J];计算技术与自动化;2007年01期
14 陈旺虎;李婧;;基于抽象服务模型提高Web服务匹配的适应性[J];计算机科学;2009年09期
15 郭建,韩俊刚;SOC的形式化验证方法[J];西安邮电学院学报;2005年03期
16 郭建;韩俊刚;;模态转移系统的三值逻辑模型检验[J];计算机辅助设计与图形学学报;2006年06期
17 刘万伟;王戟;陈火旺;;基于LTL Tableau的自动机构造[J];吉林大学学报(工学版);2007年01期
18 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
19 叶俊民;张振方;王敬华;李蓉;;基于模型检验技术的源程序分析研究[J];微电子学与计算机;2009年08期
20 汪文元;沙基昌;;工作流模型的模型检验技术研究[J];计算机仿真;2005年11期
中国重要会议论文全文数据库 前10条
1 宗群;窦立谦;孙连坤;刘文静;;基于残差分析方法的模型检验[A];第二十七届中国控制会议论文集[C];2008年
2 韩银全;滕文彦;周向阳;崔春霞;;既有隧道安全性分析与加固技术[A];第二届湖北省力学学会青年学术研讨会论文集[C];2006年
3 姜正涛;郝艳华;王育民;;对一种公钥概率加密体制的效率改进[A];第十九次全国计算机安全学术交流会论文集[C];2004年
4 李敏;;大型天然气球形容器长期运行的安全性分析[A];第四届全国压力容器学术会议论文集[C];1997年
5 范涛;鲍先巡;吴传华;常劲松;彭代银;;桑资源饮品的研究——灵芝桑茶的理化品质与安全性分析[A];中国蚕学会第七次全国代表大会论文集[C];2003年
6 陈文兵;;宫颈癌介入治疗后手术的安全性分析[A];中华医学会第九次全国妇科肿瘤学术会议论文汇编[C];2006年
7 岳磊;叶震;宋卫卫;;一种基于参考状态的移动代理静态路由协议[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
8 罗榕;刘凌;司洋;方嘉佳;徐鸿儒;赵丽莉;安冬梅;慕洁;;拉莫三嗪治疗癫痫的疗效及安全性分析[A];中华医学会第十三次全国神经病学学术会议论文汇编[C];2010年
9 孔建民;;球形容器建造全面质量控制及安全性分析[A];第四届全国压力容器学术会议论文集[C];1997年
10 张德华;姚海波;陈浩;;城市地铁既有线下暗挖隧道施工安全及控制[A];城市地下空间开发与地下工程施工技术高层论坛论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 宋辉;隐密安全性机理研究[D];大连理工大学;2011年
3 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
4 覃广平;交互式马尔可夫链:理论与应用[D];中国科学院研究生院(成都计算机应用研究所);2006年
5 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
6 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
7 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
8 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
9 傅瑜;数字图像隐写算法安全性与性能优化研究[D];北京邮电大学;2010年
10 颜兆林;系统安全性分析技术研究[D];中国人民解放军国防科学技术大学;2001年
中国硕士学位论文全文数据库 前10条
1 崔晓旭;商业银行评级模型检验系统的设计与实现[D];山东大学;2012年
2 吴晓丹;CTCS-3级列控系统的UML建模与模型检验研究[D];北京交通大学;2010年
3 陈华;盲签名理论研究与设计[D];湖北工业大学;2007年
4 胡新祥;NTRU公钥密码体制的安全性分析和应用研究[D];西安电子科技大学;2005年
5 徐东红;基于SPI演算的移动自主网络安全路由协议分析[D];曲阜师范大学;2006年
6 安花英;无线局域网安全分析与OPNET仿真[D];中国地质大学(北京);2008年
7 化鹏;SNMP协议安全性分析与实践[D];国防科学技术大学;2007年
8 郭永彦;外墙外保温工程震害调查及抗震性能初步分析[D];重庆交通大学;2009年
9 常逢佳;椭圆曲线加密算法研究及其在即时通讯系统中的应用[D];南京理工大学;2008年
10 王猛;基于baker map混沌理论的卫星图像加密技术研究[D];哈尔滨工程大学;2008年
中国重要报纸全文数据库 前10条
1 北京 Analysist;ExGB GuestBook安全性分析[N];电脑报;2001年
2 何宝宏;IP网QoS与安全性分析[N];人民邮电;2004年
3 上海市宝山区建设工程安全质量监督站 黄云峰;导轨式爬架的安全性分析[N];建筑时报;2008年
4 刘霞;网格计算安全性分析[N];计算机世界;2003年
5 ;IP电话与SAFE[N];网络世界;2003年
6 ;手机支付安全性分析[N];计算机世界;2003年
7 王静;水库大坝安全性分析[N];中国水利报;2009年
8 张娟娟 左秋红;一院对安全隐患“零容忍”[N];中国航天报;2011年
9 刘喜喜;“手机钱包”上演三幕话剧[N];中国计算机报;2006年
10 立实;测绘部门累计供图5.3万张[N];中国测绘报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978