摘要：综合模块化航电(IMA)系统中错误信息的传输漏洞会对飞机安全带来严重影响,为了提高IMA系统时间传输的完整性,使子系统能在确定的时间窗口内进行数据传输,提出了一种IMA系统高安全性时间管理技术;通过使用多个时间管理服务,建立每个子系统与时间管理服务的偏差表,确定其本地时间参考(LTR)和与之通信的每个远程子系统时间参考之间的关系;使驻留IMA的子系统具有高安全性时间同步机制,能够协调分离的驻留子系统共同安全地执行同一任务,满足IMA系统时间同步和安全性要求。

摘要：综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。

摘要：针对现代综合模块化航电系统的机内测试(Built-in-Test,BIT)虚警问题,深入分析了其Ⅰ类和Ⅱ类BIT虚警的产生原因及机理。结合航电系统综合化、模块化的架构特点及其复杂性、层次性、相关性和不确定性的故障特征,从模块和系统两个层次提出了BIT虚警的技术解决措施以及全寿命周期需采取的设计手段。重点给出了一种基于模型的系统级BIT虚警识别算法,能依据测试性建模输出的D矩阵,分析测试之间相悖或相互佐证关系,识别虚警和确认真实的故障指示。最后,结合综合航电超短波功能进行了案例验证。

摘要：综合模块化航电系统(Integrated Modular Avionics System,IMA)在飞机航电设备的研制中逐渐得到应用。为了完整地说明IMA的设计方法,以某型飞机航电系统的升级改进为背景,提出一种基于VxWorks653分区操作系统的IMA方案,首次实现将两个独立分系统的设备集成到一台IMA中,方案对IMA的软件架构、分区任务规划、时间空间资源分配等关键要素进行设计和实现,并建立实验平台。实验数据表明,IMA运行正确,可以实现原有系统的功能,分区之间时间和空间隔离机制工作正常,通信工作正常,具有较高稳定性和可靠性。

摘要：航空电子系统的综合模块化发展对软件系统提出了更高的要求。介绍了基于ARINC653软件规范的分区操作系统的原理、综合模块化航电系统的特点和需求,以该系统中显控子系统软件的设计为例,说明了ARINC653分区操作系统在综合模块化航电系统中的应用价值。

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

摘要：基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能够缩短任务的平均响应时间。

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

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