检索结果-内蒙古大学图书馆

基于AFDX的综合航电系统余度技术研究

引用

教练机 2019年第4期 40-42页

作者：徐辉海装驻南昌地区军事代表室

基于AFDX数据网络提出了航电系统总线数据传输的冗余设计,重点介绍了网络配置实现主控制器与备份控制器的切换技术,从软硬件系统综合考虑,提高综合模块化航电系统的可靠性。

关键词：综合模块化航电系统 AFDX网络配置余度设计控制器切换

来源：评论

学校读者我要写书评

暂无评论

IMA分区间通信的一致性测试模型

引用

计算机仿真 2018年第2期35卷 43-48页

作者：周德新牛亚月崔海青中国民航大学电子信息与自动化学院天津300300

为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本。提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法。首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上... 详细信息

为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本。提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法。首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上的不同分区间的通信模型。然后提出一个分区间通信实例,说明了端口的调用规则与预期的通信流程,并编写相应的测试规范。最后对模型的框架,端口的调度以及数据等进行一致性测试,并生成端口一致性测试报告,结果所建立的模型通过了一致性验证。测试结果证明了测试方法的可行性,为进一步研究IMA系统测试理论打下了基础。

关键词：综合模块化航电系统分区通信一致性测试

来源：评论

学校读者我要写书评

暂无评论

适用于民机IMA的通用机载软件开发平台

引用

电讯技术 2012年第6期52卷 1027-1030页

作者：郑澜王运盛中电科航空电子有限公司成都611731

针对目前国内民用飞机在综合模块化航电系统(IMA)集成应用技术的发展,参考国外民用飞机航电系统的IMA体系结构和IMA集成应用技术,结合分区操作系统的特点,给出了在分区操作系统下开发BSP和AFDX驱动移植的方法。利用这些方法可以构建一... 详细信息

针对目前国内民用飞机在综合模块化航电系统(IMA)集成应用技术的发展,参考国外民用飞机航电系统的IMA体系结构和IMA集成应用技术,结合分区操作系统的特点,给出了在分区操作系统下开发BSP和AFDX驱动移植的方法。利用这些方法可以构建一种满足民用飞机的通用机载软件开发平台,为民用飞机中IMA上的驻留功能软件开发提供基础实验环境和验证平台。

关键词：民用飞机综合模块化航电系统 AFDX驱动分区操作系统软件开发平台

来源：评论

学校读者我要写书评

暂无评论

IMA分区通信机制的一致性测试方法研究

IMA分区通信机制的一致性测试方法研究

引用

作者：牛亚月中国民航大学

学位级别：硕士

航空电子系统的测试验证是关系到飞行安全的关键问题。由于综合模块化航电系统的高度集成化及资源共享的特点,IMA系统测试验证是航空电子研究领域的难点问题。一致性测试能够确保IMA操作系统中的通信行为的正确性,解决分区应用程序的可... 详细信息

航空电子系统的测试验证是关系到飞行安全的关键问题。由于综合模块化航电系统的高度集成化及资源共享的特点,IMA系统测试验证是航空电子研究领域的难点问题。一致性测试能够确保IMA操作系统中的通信行为的正确性,解决分区应用程序的可移植性问题,进一步减少系统测试的人力以及时间成本。提出了一种符合ARINC653接口规范的IMA分区端口通信行为的一致性测试方法。具体内容如下:首先,对IMA分区通信机制进行研究,得到IMA分区通信的模式以及确定IMA系统资源分配以及时间配置的方式,给出了一种确定IMA分区主时间框架的方法。其次,提出了一种基于架构模型的IMA分区通信机制的一致性测试方法,该方法使用架构分析与设计语言,将IMA分区通信过程实例模型化,建立IMA分区通信过程的AADL模型。最后,在上述模型的基础上,根据一致性测试的标准与测试的步骤,使用架构分析语言编写一致性测试规范,并生成AADL文件。然后在测试环境中,执行一致性测试。静态和动态测试结果表明所建模型通过了一致性测试。为了评估该测试方案的可行性,提出了基于信号流图模型的方法,获取测试的相关矩阵,对系统的一致性测试率进行计算。结果证明了该测试方法的可行性,为IMA系统的一致性测试奠定了坚实的理论基础。

关键词：综合模块化航电系统分区通信一致性测试 AADL模型

来源：评论

学校读者我要写书评

暂无评论

软件产品线约束复杂特征模型的配置分析与优化方法研究

软件产品线约束复杂特征模型的配置分析与优化方法研究

引用

作者：王铭南京航空航天大学

学位级别：硕士

软件产品线工程是一套采用共用核心资产进行相似软件系统开发的方法。产品线方法利用领域中的大量共性能加速产品线软件的开发过程,降低开发成本,缩短产品上市时间等。特征在产品线工程共性和可变性建模管理中起着关键作用。特征模型对... 详细信息

软件产品线工程是一套采用共用核心资产进行相似软件系统开发的方法。产品线方法利用领域中的大量共性能加速产品线软件的开发过程,降低开发成本,缩短产品上市时间等。特征在产品线工程共性和可变性建模管理中起着关键作用。特征模型对特征进行组织构建,是领域的抽象描述。对特征模型的进行特征选择是为了获得符合用户需求的具体产品,需要在需求和领域描述的特征组合之间达成妥协。采用启发式方法进行自动化特征选择是目前常用的特征选择手段。受制于特征模型复杂的约束空间,启发式方法随机搜索得到的产品配置常常难易合法。同时在IMA系统下进行特征选择面临资源分配等问题,需要进一步解决。针对采用遗传算法进行特征选择时,随机搜索破坏特征模型约束关系的问题,本文提出了一种基于子树分解的方法,解决了产品配置中有效解较少的情形。该方法通过分析特征模型的结构并与遗传算法的交叉算子进行结合,阐明了特征模型进行交叉操作所代表的实际意义,使得相似系统之间的子模块能够尽可能合法的进行功能交叉。同时本文还对遗传算法中环境选择算子进行分析,将约束违反项作为第一优化目标,设计了二维的环境选择算子,使得种群向着满足特征模型约束关系的方向进化。最终通过不同规模的特征模型来验证方法的有效性。实验数据表明,本文提出的两种方案均能显著的增加最终解集中有效产品配置的占比。针对IMA系统特征模型进行特征选择面临的挑战,本文对资源分配的约束进了讨论建模,采用多目标优化算法进行问题求解。首先对IMA系统资源分配模型进行分析,并进了任务系统到硬件设备的映射的建模。接下来引入特征模型资源分配所需要满足的约束情况,对安全性约束和资源限制约束进行了建模。通过扩展特征模型添加特征属性和分配点,完成特征模型与资源分配模型的映射关系。本文设计三个优化目标以体现用户的多类需求,并设计编码方案和交叉变异算子以满足复杂的约束情况。最后通过不同规模的模型来验证方法的有效性。

关键词：软件产品线工程特征模型产品配置综合模块化航电系统遗传算法约束处理

来源：评论

学校读者我要写书评

暂无评论

模型驱动的IMA标准符合性测试自动化技术研究

引用

航空科学技术 2015年第11期26卷 83-89页

作者：王博陆皓白晓颖清华大学计算机科学与技术系北京100084

随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中... 详细信息

随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中处理与融合。针对IMA开放式体系结构的模块化、标准化等特点,本文提出了一种基于接口语义模型的测试自动化技术。其中,标准接口的语义模型对接口数据、功能和行为进行抽象,测试模型内建测试策略与测试计划。从接口模型到测试模型,研究探讨了测试用例的自动生成、部署、和调度执行的方法。研究成果在国产机载操作系统ARINC653标准符合性测试中进行了初步应用,有效提高了测试的系统性、效率和工作质量。

关键词：综合模块化航电系统模型驱动自动化测试标准符合性开放式软件架构

来源：评论

学校读者我要写书评

暂无评论

ARINC659总线在IMA架构中的适用性分析

引用

航空计算技术 2017年第3期47卷 115-118,124页

作者：张晓敏中航工业西安航空计算技术研究所陕西西安710068

综合模块化航电系统在飞机航电设备的研制中逐渐得到应用,实现综合化模块化航电的一个关键技术是系统内部总线的选择,通过论述综合模块化航电系统对系统内部总线的要求、介绍ARINC659总线的特点,分析ARINC659总线在综合模块化航电系统... 详细信息

综合模块化航电系统在飞机航电设备的研制中逐渐得到应用,实现综合化模块化航电的一个关键技术是系统内部总线的选择,通过论述综合模块化航电系统对系统内部总线的要求、介绍ARINC659总线的特点,分析ARINC659总线在综合模块化航电系统中的适用性,可以得出ARINC659总线能够满足综合模块化航电系统的要求,目前ARINC659总线已经开始广泛应用于综合模块化航电系统中。

关键词：综合模块化航电系统内部总线 ARINC659总线适用性

来源：评论

学校读者我要写书评

暂无评论

一种ARINC653分区应用数据加载改进方案的设计

引用

信息通信 2020年第5期33卷 68-69,72页

作者：徐宁郝玉锴中国航空工业集团公司西安航空计算技术研究所陕西西安710115

针对采用基于时间和空间分区的ARINC653软件架构中的设备加载端(任务加卸载设备)向应用软件(飞行管理软件维护分区)加载数据文件效率低速度慢的问题,文章通过改进设备加载端的时间延时、改进AFDX网络配置的数据包间隔时间、改进数据接... 详细信息

针对采用基于时间和空间分区的ARINC653软件架构中的设备加载端(任务加卸载设备)向应用软件(飞行管理软件维护分区)加载数据文件效率低速度慢的问题,文章通过改进设备加载端的时间延时、改进AFDX网络配置的数据包间隔时间、改进数据接收端的任务属性和主时间框架分配,实现了加载效率的有效提升。经过理论分析和实际测试,改进后的网络传输效率较之前提高3倍,满足了现阶段的系统需求。

关键词： ARINC653 综合模块化航电系统数据加载分区操作系统

来源：评论

学校读者我要写书评

暂无评论

基于网格的多目标优化及其航空应用

基于网格的多目标优化及其航空应用

引用

第六届演化计算与学习研讨会(ECOLE)

作者：蔡昕烨南京航空航天大学

文章着重研究基于网格的多目标优化，并提出在线多样性度量指标，最后对分布式综合模块化航电系统的优化设计。

关键词：综合模块化航电系统分布式架构多目标优化多样性度量

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：