综合模块化航空电子系统远程加载技术研究及性能分析

随着飞机航空电子系统综合化程度的提高，软件的部署、加载和更新的复杂度也在逐步提高。传统软件更新后，需要在地面为每个模块进行升级，并将新版本的软件映像文件固化在模块上，这种更新周期长且流程复杂。随着通用模块和应用重构的发展，软件映像需要部署在系统的各个冗余备份节点中，从而使其更新的流程更为复杂。本文针对以上问题提出了基于光纤通道和 ARINC653操作系统的远程数据加载系统，以使系统在上电、重启及重构时可实现从大容量存储模块上远程加载操作系统内核映像、分区应用及自启动功能。在功能实现的基础上，本文对远程加载和本地加载的时间性能进行了分析和比较。     

民用飞机综合模块化航电系统分区和资源分配的研究

对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统设计具有一定的指导意义和实用价值。     

综合化航电系统中的密钥管理方法研究

综合化航电系统的安全问题将是系统设计者的主要挑战之一,密钥管理是解决安全问题的基础.综合化航电系统的密钥管理不同于联合式航电系统,不存在专用的安全模块和加密总线,因此密钥及保密数据的加载需要新的方式.从综合化航电系统的特点出发,从地面到空中全方位考虑密钥的生成、加载、分配、存储以及擦除的过程,给出了航电系统密钥管理的一个具体方案,并对该方案的优缺点进行了分析,表明该方案具有较好的安全性.     

NH90航空电子系统演进

NH90是一种法、德、意、荷、葡联合研制的先进中型多用途直升机,未来将成为法、德、意等国的主力作战运输、突击、反潜、搜救机型。介绍了 NH90的航空电子系统,其中包括核心航空电子,任务航空电子及飞控系统。跟踪了 NH90航空电子软件开发团队使用软件产品线（SPL）技术对航空电子架构进一步升级的方向。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

综合模块化航空电子系统节能分层调度的设计(英文)

近年来,综合模块化航空电子(Integrated Modular Avionics,IMA)构架逐渐流行,并通过引入资源分区的概念取代了传统的联合式系统构架。研究了IMA构架下分层调度的设计问题。调度模型通过强时间分区,使多个强实时应用方便地集成在一个单处理器平台。推导出分区周期、分区系数以及可调度性在实时条件下的数学关系,并提出了分区参数的优化算法。考虑具有任意时限的实时任务模型,提高了算法的通用性。在分层调度的基础上,通过有效利用松弛时间,提出一种能量优化方法,进一步减少了飞行器上嵌入式系统的能耗。实验结果表明,本文提出的系统设计方法在保证硬实时需求的基础上,有效的降低能耗达 14%。     

面向IMA网络文件系统的双服务器结构设计

为了提高面向IMA网络文件系统的可靠性和实时性,设计了一种双服务器结构的网络文件系统。客户优先访问主服务器,在得不到主服务器响应时,访问从服务器;主服务器在无法满足同时有多个访问请求时,把一部分的访问请求分给从服务器;主服务器和从服务器通过数据实时更新和定时检测更新,保持数据的高度一致。     

虚拟化技术在综合化航电系统中的应用

将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统.     

航空电子系统混合实时任务的双层调度

针对航空电子系统的实时性需求,提出满足综合模块化航空电子(IMA)构架的双层任务调度算法.通过加权轮转调度激活分区,并为分区提供固定的时间窗口,增强了系统的可预测性;分区内部采用可抢占的固定优先级调度,减少了高优先级任务的响应时间.算法支持混合任务集的调度:对周期的强实时任务,建立具有任意时限的任务模型,增强了模型的通...     

面向IMA的网络文件系统访问控制分析与设计

为了解决面向IMA的网络文件系统访问控制问题,分析了其中的访问控制,并提出一种访问控制的设计方案。采用网络文件锁,通过对文件的上锁和解锁,实现多个分区互斥访问远程文件;使用权限控制模块验证用户对文件的访问权限,用户通过验证后才能访问文件;日志文件记录整个访问远程文件的过程。给出了网络文件锁、权限控制和日志模块的工作原理。