基于模型的综合化航电系统资源配置安全性分析与研究

发布时间：2017-11-10 08:36

  本文关键词：基于模型的综合化航电系统资源配置安全性分析与研究

  更多相关文章： 综合航空电子系统安全性 ARINC653标准 资源配置 IMACT AADL模型 失效模型

【摘要】：资源配置是综合模块化航空电子系统(IMA)设计的重要环节,配置信息的安全性分析是保障整个航空电子系统安全性的关键。传统的安全性分析方法得到的结果往往不能展示其安全性属性,安全性分析结果不能直接反馈到系统设计模型中;其次由于缺少精确的系统结构模型及其故障模式,常常使得安全性工程师花费大量的精力去收集系统结构和行为信息。基于模型的安全性分析方法在很大程度上可以弥补传统方法的不足,但是现有基于模型的方法往往用到不同的分析工具,分析工具各有侧重,它们之间缺少必要的衔接。而要完整地分析IMA系统配置安全性需要在系统资源、功能综合和任务合成三个层次进行分析,需要用到IMA配置工具、体系结构分析工具和构建故障模式分析工具。在实际工程上,IMACT、AADL语言的工具和Alta Rica语言的工具可以分别支持这三个层面的工作,但各工具的模型不能进行自动转换,使得整个分析工作是割裂的。为了更完整地分析IMA资源配置信息的安全性,需要将资源配置信息模型进行转换并进行功能和任务层面的安全性分析。针对上述问题,本文完成了以下主要工作:首先对IMA配置和ARINC653标准进行了分析和研究,设计了基于模型的航空电子系统资源配置信息的安全性分析和验证框架。其次,利用EMF对符合ARINC653标准的IMA资源对象进行建模,并使用IMA资源配置工具IMACT对该模型进行配置,将该资源配置信息转换为AADL模型,将需要验证的安全性质用REAL语言进行描述并进行自动验证;并将该功能集成到IMACT中。最后,利用得到的资源配置AADL模型,进一步对IMA系统应用操作层和功能层建模和分析,同时基于Alta Rica语言建立失效模型,并利用Sim Fia工具得到故障树。
【学位授予单位】：南京航空航天大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：V243

【相似文献】

中国期刊全文数据库 前10条

1 刘柏;唐龙利;;舰船安全性分析技术研究[J];电子产品可靠性与环境试验;2006年05期

2 王喜奎;刘春雷;;可靠性工程师资格考试辅导教材之六——安全性[J];质量与可靠性;2008年04期

3 赵子建;任璐璐;;关于飞机区域安全性分析评价模型的构建[J];科协论坛(下半月);2012年04期

4 冯福来;飞机区域安全性分析[J];航空标准化与质量;1994年03期

5 单晨;孙景峰;;一卡通主要卡片的安全性分析[J];智能建筑;2009年10期

6 刘晓;蒋睿;;移动云计算中弹性存储外包方案的安全性分析和改进(英文)[J];Journal of Southeast University(English Edition);2012年04期

7 李晓磊;田瑾;赵廷弟;;改进的区域安全性分析方法[J];航空学报;2008年03期

8 杨建蓉,孟立,王跃鸿;地区电网调度自动化系统安全性初探[J];山西电力;2005年03期

9 云平;姜红旗;梁海燕;;大坡度滑索安全性分析[J];起重运输机械;2011年08期

10 熊峻江,刘宝成,高宏;系统安全性分析与设计方法研究[J];北京航空航天大学学报;2002年02期

中国重要会议论文全文数据库 前10条

1 文晓阳;高能;荆继武;;论坛验证码技术的安全性分析[A];全国计算机安全学术交流会论文集（第二十二卷）[C];2007年

2 王丹琛;何大可;;密写系统的安全性研究[A];2006中国西部青年通信学术会议论文集[C];2006年

3 范涛;鲍先巡;吴传华;常劲松;彭代银;;桑资源饮品的研究——灵芝桑茶的理化品质与安全性分析[A];中国蚕学会第七次全国代表大会论文集[C];2003年

4 张兆心;方滨兴;胡铭曾;张宏莉;;基于SIP网络的安全性研究[A];全国网络与信息安全技术研讨会'2005论文集（上册）[C];2005年

5 查月;高磊;;TCP/IP协议的安全性分析与防御[A];2008-2009年船舶通信导航论文集[C];2009年

6 林曦;高文建;何朝阳;薛峰;许剑冰;徐泰山;薛禹胜;汪磊;;广西电网在线动态安全性分析系统[A];第三届广西青年学术年会论文集（自然科学篇）[C];2004年

7 林曦;高文建;何朝阳;薛峰;许剑冰;徐泰山;薛禹胜;汪磊;;广西电网在线动态安全性分析系统[A];广西电机工程学会第八届青年学术年会论文集[C];2004年

8 海培华;;浅谈GSM手机的安全性[A];中国通信学会第五届学术年会论文集[C];2008年

9 马瑞萍;;SSL安全性分析研究[A];第十六次全国计算机安全学术交流会论文集[C];2001年

10 陈伟杰;林宏基;;SOAP的安全性分析与整合[A];全国第16届计算机科学与技术应用（CACIS）学术会议论文集[C];2004年

中国重要报纸全文数据库 前3条

1 ;如何提高SQL Server的安全性？[N];网络世界;2008年

2 中国科学院动物研究所研究员 沈孝宙;关于GMO的对话[N];中国国门时报(中国出入境检验疫报);2001年

3 北京 Analysist;ExGB GuestBook安全性分析[N];电脑报;2001年

中国博士学位论文全文数据库 前10条

1 张源;安卓平台安全性增强关键技术的研究[D];复旦大学;2014年

2 宋辉;隐密安全性机理研究[D];大连理工大学;2011年

3 赵义博;量子密钥分配的安全性研究[D];中国科学技术大学;2009年

4 柴震川;门限密码方案安全性和应用研究[D];上海交通大学;2007年

5 汪朝晖;椭圆曲线密码的安全性研究[D];武汉大学;2004年

6 范伟;移动商务安全性研究[D];北京邮电大学;2010年

7 孙艳宾;公平交换协议的设计与安全性研究[D];北京邮电大学;2011年

8 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年

9 孔鸿滨;语义Web技术的本体安全性研究[D];云南大学;2012年

10 吉林;桥基安全性实时监控体系与工程应用研究[D];河海大学;2002年

中国硕士学位论文全文数据库 前10条

1 王晶;SSL/TLS的侧信道攻击[D];山东大学;2015年

2 温轩;实际QKD系统的安全性分析[D];哈尔滨工业大学;2015年

3 牛磊;云存储中数据审计协议的分析与设计[D];电子科技大学;2014年

4 李文宇;城市道路无标记路段穿越安全性研究[D];北京交通大学;2016年

5 邢逆舟;基于模型的综合化航电系统资源配置安全性分析与研究[D];南京航空航天大学;2015年

6 李军;舰船典型系统安全性分析评估方法研究[D];哈尔滨工程大学;2012年

7 张旭光;火箭滑橇设计结构安全性分析[D];南京理工大学;2012年

8 娄振华;信息隐藏的安全性研究[D];解放军信息工程大学;2008年

9 张少华;多域访问控制环境中的安全性分析研究[D];湖南大学;2010年

10 薛雨杨;无线局域网安全标准的安全性分析与检测[D];中国科学技术大学;2009年

，

本文编号：1165889