【摘 要】
:
资源配置是综合模块化航空电子系统(IMA)设计的重要环节,配置信息的安全性分析是保障整个航空电子系统安全性的关键。传统的安全性分析方法得到的结果往往不能展示其安全性属
论文部分内容阅读
资源配置是综合模块化航空电子系统(IMA)设计的重要环节,配置信息的安全性分析是保障整个航空电子系统安全性的关键。传统的安全性分析方法得到的结果往往不能展示其安全性属性,安全性分析结果不能直接反馈到系统设计模型中;其次由于缺少精确的系统结构模型及其故障模式,常常使得安全性工程师花费大量的精力去收集系统结构和行为信息。基于模型的安全性分析方法在很大程度上可以弥补传统方法的不足,但是现有基于模型的方法往往用到不同的分析工具,分析工具各有侧重,它们之间缺少必要的衔接。而要完整地分析IMA系统配置安全性需要在系统资源、功能综合和任务合成三个层次进行分析,需要用到IMA配置工具、体系结构分析工具和构建故障模式分析工具。在实际工程上,IMACT、AADL语言的工具和Alta Rica语言的工具可以分别支持这三个层面的工作,但各工具的模型不能进行自动转换,使得整个分析工作是割裂的。为了更完整地分析IMA资源配置信息的安全性,需要将资源配置信息模型进行转换并进行功能和任务层面的安全性分析。针对上述问题,本文完成了以下主要工作:首先对IMA配置和ARINC653标准进行了分析和研究,设计了基于模型的航空电子系统资源配置信息的安全性分析和验证框架。其次,利用EMF对符合ARINC653标准的IMA资源对象进行建模,并使用IMA资源配置工具IMACT对该模型进行配置,将该资源配置信息转换为AADL模型,将需要验证的安全性质用REAL语言进行描述并进行自动验证;并将该功能集成到IMACT中。最后,利用得到的资源配置AADL模型,进一步对IMA系统应用操作层和功能层建模和分析,同时基于Alta Rica语言建立失效模型,并利用Sim Fia工具得到故障树。
其他文献
当今自动机理论及其相关的形式语言的理论得到了高度的发展,由其衍生出的知识也层出不穷。但经典自动机和语言理论也存在某方面的不足,特别是一些证明从数学的角度看仍不够完美
微粒群算法是基于群体智能理论的优化算法,通过群体中粒子间的合作与竞争产生的群体智能指导优化策略。微粒群算法与其它进化算法有许多共同之处,均使用“群体”概念,表示一
KVM(键盘、显示器和鼠标的缩写)系统的工作模型为客户/服务器模型。客户端通过RFB(远程帧缓冲)协议远程控制服务器。在KVM系统中,虚拟磁盘技术将客户端逻辑磁盘虚拟给服务器
图论是组合数学和离散数学最重要的分支之一,也是计算机科学、运筹学、系统科学的重要基础。图论的研究不仅具有重要的理论价值而且具有重要的应用背景,它已被广泛地用来解决信
随着计算机网络的空前发展,带宽已经成为制约其发展的一个瓶颈。而光纤由于其传输频带宽,通信容量大,损耗低,电磁干扰小,质量轻等优点,已经成为现在网络中最主要的一种传输介质。因
随着电子商务的迅速发展,网络上涌现了许多购物网站和产品论坛,这些购物网站和产品论坛不只介绍商家的产品,还为消费者提供了发表评论的平台,消费者能及时的将对商品的评论反馈给
随着信息技术的发展,作为传统实验教学的一种有效补充,虚拟实验教学已成为加强实践教学、提高教学质量的重要手段。虽然虚拟实验教学系统的研究与开发已经步入成熟,但是目前
近年来,物联网和移动通信技术的不断发展,使得人们对于基于位置服务的需求日益迫切。随着GPS卫星定位技术的广泛应用,其在室内环境中定位的缺陷显得越来越明显,基于近距离无
随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模和复杂性的不断增加,这给软件测试提出了更
电子商务经过多年的发展,给商务企业带来了丰厚的利润和无限的商机,在整个商业活动中已具有举足轻重的作用。然而,电子商务所使用的技术普遍陈旧,大多停留在静态服务的层面上