基于概率模型的EFVS分层建模与安全性分析技术研究

发布时间：2020-09-11 14:39

　　 增强飞行视景系统(Enhanced Flight Vision System,EFVS)能够将飞机外界环境实时增强图像与飞行信息叠加后提供给驾驶员,提高飞行员情景意识,实现飞机低能见度起降。分析显示,由于EFVS功能错误或丧失会导致I、II、III类失效状态发生,因此,需要对其展开定量系统安全性分析。由于传统安全性分析方法存在依赖专家经验,在系统发生更改迭代时工作量大等问题,难以满足复杂机载系统的安全性评估需求。解决上述问题,本文提出了基于概率检验模型的安全性分析方法,以实现对EFVS的定量安全性分析,并提高分析效率。研究内容围绕以下方面展开:(1)本文首先在捕获EFVS系统设计需求基础上,对其功能与顶层失效状态展开深入研究,完成系统功能危害性分析;研究EFVS物理及逻辑架构,建立相应的名义模型;(2)分析系统内部底层软硬件的失效模式、失效影响及失效率等信息,将失效信息注入到名义模型中,生成系统定性失效扩展模型;(3)研究转换规则,将失效扩展模型转换为可以用于定量分析的概率检验模型;(4)将定量安全性需求转换为系统定量属性,对典型失效状态展开模型检验,得出定量分析结果,验证EFVS典型功能架构的设计合理性。最后,为进一步证明结果的可信性及方法的有效性,本文采用传统故障树对运算结果加以验证,并将整个基于模型的方法同传统安全性方法进行比较,结果表明,本文采用的方法能够实现复杂系统定量安全性自动分析,运算结果可信,且安全性分析效率得到提高。
【学位单位】：中国民航大学
【学位级别】：硕士
【学位年份】：2018
【中图分类】：V328

【参考文献】

相关期刊论文 前10条

1 王鹏;张帆;董磊;胡剑波;赵长啸;;故障拓展模型到概率检验模型的转换规则[J];系统工程与电子技术;2017年11期

2 王鹏;张帆;董磊;赵长啸;;基于概率模型检验的民机平视显示系统建模与安全性分析[J];电光与控制;2017年11期

3 陈磊;焦健;赵廷弟;;基于模型的复杂系统安全分析综述[J];系统工程与电子技术;2017年06期

4 车程;刘轶斐;;基于模型的安全性分析技术研究[J];航空工程进展;2016年03期

5 费益;;民用飞机增强型飞行视景系统研究[J];科技视界;2016年11期

6 谷青范;王国庆;张丽花;翟鸣;;基于模型驱动的航电系统安全性分析技术研究[J];计算机科学;2015年03期

7 张福凯;贺轶斐;谷青范;;基于模型驱动的HUD系统安全性分析方法研究[J];航空电子技术;2014年03期

8 王全忠;高文正;;平视显示器在民用飞机上的应用研究[J];电光与控制;2014年08期

9 全宏宇;赵会兵;;基于概率模型检验的CTCS-3级无线通信建模与分析[J];北京交通大学学报;2014年02期

10 侯刚;周宽久;勇嘉伟;任龙涛;王小龙;;模型检测中状态爆炸问题研究综述[J];计算机科学;2013年S1期

相关博士学位论文 前1条

1 徐伟峰;多主体模型定量验证方法研究[D];吉林大学;2014年

相关硕士学位论文 前4条

1 唐小勇;马尔科夫链问题算法研究[D];电子科技大学;2015年

2 吴连慧;机载平显图形生成与视频处理算法研究及其FPGA实现[D];南京航空航天大学;2014年

3 顾敏丽;基于概率模型检验的无线传感网机会路由研究[D];南京邮电大学;2014年

4 马径梁;基于形式化模型检验的飞机系统演绎式安全分析方法研究[D];南京航空航天大学;2012年

本文编号：2816800