一种航空电子系统体系结构错误行为验证方法

作者： 丁明   张书玲   张琛   来源： 西北大学学报(自然科学版) 年份： 2019 文献类型 ： 期刊 关键词： 错误模型   模型检测   体系结构   航空电子系统  

描述： 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。

航空电子系统软件组件服务化设计要求标准研究

作者： 王硕   周庆   叶至傲   李铁颖   来源： 航空标准化与质量 年份： 2022 文献类型 ： 期刊 关键词： 软件组件   服务模型   航空电子系统  

描述： 针对航空电子系统应用软件规模及数量增加带来的系统综合集成复杂度提升，以及任务需求多样性带来的航空电子软件敏捷开发和部署需求，因此开展航空电子系统软件组件服务化设计要求标准研究，定义航空电子系统软件组件模型及设计流程，提出航空电子系统软件组件服务化设计总体要求、定义要求等，并对服务化软件架构、航空电子服务模型和服务封装接口等进行了详细定义和阐述，为面向服务的航空电子系统软件设计开发及持续集成提供了解决思路和参考规范。

航空电子系统的云存储技术研究

作者： 范超   韩忠   赵琳   来源： 电光与控制 年份： 2022 文献类型 ： 期刊 关键词： 协同工作   云存储   任务分解   航空电子系统  

描述： 传统单服务器的分布式存储系统很难满足航空电子系统对实时性的要求，使用云存储技术可以有效提高数据的访问速度。设计了一种适合航空电子系统数据访问特征的云存储方案，用于提高数据访问的实时性。将数据分散地存储在多个服务器上，将任务依据数据存储的特征分解成多个子任务，由子任务并发访问多个服务器，从而提高数据访问的实时性。测试结果表明，多机协同的云存储系统比传统单机工作的存储系统具有更高的访问速度。

航空电子综合化仿真系统的设计与实现

作者： 文其龙   来源： 现代工业经济和信息化 年份： 2022 文献类型 ： 期刊 关键词： 综合模块化   仿真   航空电子系统   设计与实现  

描述： 航空电子系统为现代化飞机最重要的综合模块化系统，其能够利用开放化的控制处理器、数据采集传感器、射频装置和以太网络等，建立起多层航电模块化仿真系统，提供网络通信、定位及导航、数据传输、任务处理、显示控制功能。因此，围绕着航空电子数据传输、任务处理、显示控制等的系统功能，借助于多台PC机、1553B总线、通信网卡、射频仿真器和惯导仿真器等硬件，以及通信接口驱动软件、编码/解码程序、数据缓冲区和仿真控制端口的软件，进行飞机火控系统、总线通信系统功能仿真分析。

开放式航空电子系统架构标准研究与实践

作者： 刘青春   周庆   李兵飞   刘朝辉   来源： 航空标准化与质量 年份： 2022 文献类型 ： 期刊 关键词： 标准   航空电子系统   面向服务   开放式架构  

描述： 面向航空电子系统信息化、网络化发展趋势及高安全性、经济性等发展需求，在分析航空电子系统特点及国内外航电架构标准现状的基础上，提出了面向服务的开放式航空电子系统架构标准，包括术语定义、架构规范、实施指南、维护管理等，并开展了应用实践。结果表明，该标准开放性好、扩展能力强，支持航空电子系统“搭积木”构建，具有很高的应用推广价值。

航空电子系统的重构技术研究

作者： 范超   赵琳   段海军   来源： 软件 年份： 2022 文献类型 ： 期刊 关键词： 系统重构   航空电子系统   数据订阅与分发  

描述： 航空电子系统采用重构技术提高系统的可靠性。传统的重构技术需对机载网络进行重构,重构流程复杂,系统开销大,重构时间长。本文设计一种基于数据订阅与分发技术的系统重构技术,采用静态网络动态配置的方式,简化了网络结构,提高了数据传输的灵活性。系统重构通过动态订阅与分发技术重新建立通信路由,无需重新初始化机载网络,系统重构流程简单,开销小,重构时间短。试验结果表明,采用基于数据订阅与分发技术的系统重构技术可实现不同模式下的系统重构,重构时间小于传统重构技术。

航空电子系统的云存储技术研究

作者： 范超   韩忠   赵琳   来源： 电光与控制 年份： 2022 文献类型 ： 期刊 关键词： 协同工作   云存储   任务分解   航空电子系统  

描述： 传统单服务器的分布式存储系统很难满足航空电子系统对实时性的要求，使用云存储技术可以有效提高数据的访问速度。设计了一种适合航空电子系统数据访问特征的云存储方案，用于提高数据访问的实时性。将数据分散地存储在多个服务器上，将任务依据数据存储的特征分解成多个子任务，由子任务并发访问多个服务器，从而提高数据访问的实时性。测试结果表明，多机协同的云存储系统比传统单机工作的存储系统具有更高的访问速度。

DNN加速器技术发展及航空计算系统应用展望

作者： 赵一煊   刘飞阳   高晗   王建生   来源： 航空计算技术 年份： 2022 文献类型 ： 期刊 关键词： 智能计算   深度神经网络   航空电子系统   硬件加速器  

描述： 新一代航空计算系统将以高性能智能数据处理为核心，能够支撑智能化的图像/雷达目标识别、大数据分析、指控决策、故障自诊断等多种应用场景。深度神经网络硬件加速器是面向人工智能领域专用的硬件加速平台，能够为深度卷积神经网络、循环神经网络等人工智能算法提供一个灵活可配置的运行环境，与通用计算硬件相比将获得高性能、低时延、低功耗等优势，其核心技术主要包括智能计算单元设计、并行计算加速结构、存储结构优化等。重点分析国内外深度神经网络硬件加速器技术发展情况，总结关键技术解决方案，探讨其在航空计算系统的应用场景及未来需要重点突破的技术方向，为新一代智能航空计算系统研制提供理论支撑。

航空电子综合化仿真系统的设计与实现

作者： 文其龙   来源： 现代工业经济和信息化 年份： 2022 文献类型 ： 期刊 关键词： 综合模块化   仿真   航空电子系统   设计与实现  

描述： 航空电子系统为现代化飞机最重要的综合模块化系统，其能够利用开放化的控制处理器、数据采集传感器、射频装置和以太网络等，建立起多层航电模块化仿真系统，提供网络通信、定位及导航、数据传输、任务处理、显示控制功能。因此，围绕着航空电子数据传输、任务处理、显示控制等的系统功能，借助于多台PC机、1553B总线、通信网卡、射频仿真器和惯导仿真器等硬件，以及通信接口驱动软件、编码/解码程序、数据缓冲区和仿真控制端口的软件，进行飞机火控系统、总线通信系统功能仿真分析。

面向分布式作战的航空电子系统云架构研究

作者： 李卫红   吴莉莉   樊振凯   张靖   来源： 第五届中国航空科学技术大会 年份： 2021 文献类型 ： 会议论文 关键词： 跨平台   分布式作战   航空电子系统   云架构  

描述： 面向分布式作战的航空电子系统云架构研究