ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

从A320机载电子设备看现代航空电子教学的改革

空中客车 A320是现在世界上最先进的民航客机之一。本篇以空中客车 A320为例说明现代机载电子设备的概况和飞速发展。最后略叙了我们如何适应这种变革,捉出了作者对航空电子教学改革的一些看法。     

基于多令牌协议航电WDM光环网波长分配方法

 针对航空电子光网络的实时性问题,建立了航空电子波分复用(WDM)环网模型,以实时消息流矩阵作为网络的输入,依据静态光网络最小化波长数目的优化目标,提出了一种基于多令牌协议的光网络波长分配方法,并推导了航电光网络中光通道的端到端传输时延计算公式。通过对理论计算和仿真结果的分析,此协议下的波长分配方法在网络中可以实现波长重用,比传统环网的波长数目平均降低了58.1%,优化了波长数目,并且多令牌控制协议满足航空电子网络对消息实时性的要求。此方法对于航空电子光网络的设计与性能分析具有参考价值。     

基于在线加载分区机制的重构方案的设计与实现

随着综合模块化航空电子系统（IMA）结构技术的发展,对航电系统的安全性和可靠性的要求也进一步提高。本文提出的IMA重构方案基于VxWorks653系统中的在线加载分区(Online-Loaded)机制,可以做到对应用程序的动态加载,使得IMA系统在发生故障时能按预设的配置进行功能迁移,从而实现IMA系统的重构。在该重构方案的基础上还同时设计了分步加载技术。测试验证表明,分步加载技术明显减少了重构的耗时,提高了重构的效率。     

民用机载航电系统安全性实现方法分析

安全性是适航的重要基础,为实现规定的安全性目标,必须系统策划,统筹管理,合理配置资源,综合应用各类分析方法和工具。本文就安全性工作团队的组建,项目开发使用的流程,如何有效使用分析工具等问题阐述了安全性实现的一些方法。     

航电系统SCI环型互连的可靠性建模研究

研究了SCI(可扩展一致性接口)环型互连的可靠性建模问题.结合SCI协议及航电系统ICD(接口控制文件)设计文件,提出了基于消息流的源-目的可靠度概念,建立SCI环型互连系统的可靠性模型,并针对3种环型拓扑进行了可靠性的建模分析,指出该可靠度指标对消息流的制定及航电系统任务的可靠度分配具有重要指导意义.      

航空电子WDM网络的实时性能分析

对航空电子波分复用(WDM,Wavelength Division Multiplexing)网络实时性评估问题,采用网络演算理论,提出了一种周期消息在WDM复杂虚拓扑上多跳端对端最大延迟的计算方法.建立了波长路由器WDM网络模型,分析了消息流端对端延迟的组成部分.针对网络演算理论下的WDM网络通信模型,推导了消息经单节点和多节点波长路由器的最大延迟的计算公式.并结合实际航空电子系统对公式进行了修正,解决了突发度过大的问题.最终得到最大延迟的紧密上限.最后在OPNET仿真环境下验证了计算分析方法的有效性.     

IEEE-1394b光纤总线系统的QoS分析

为解决航电系统的网络延迟和阻塞问题,对应用于其上的IEEE-1394b光纤总线系统进行了带宽预留机制和平均响应时间等关键特性的分析.基于IEEE-1394b协议的带宽预留机制,提出了等时数据传输和异步数据传输的服务质量(QoS,Quality of Service)满足的条件(硬QoS).在QoS服务准入控制的等时和异步请求混合的情况下,利用排队论进行了IEEE-1394b异步请求的QoS分析(软QoS),得到了忽略响应间隔时间,IEEE-1394b异步请求队列的平均响应时间.最后通过IEEE-1394b光纤总线实验系统进行了IEEE-1394b的QoS服务评估,验证了理论分析结果.对IEEE-1394b驱动层QoS的设计具有一定的指导意义.      

IEEE-1394异步传输机制建模及性能分析

高速数据总线技术是航空电子中的关键技术之一.IEEE-1394是一种串行高速数据总线,已经成功应用于航空电子中.其异步传输模式保证数据传输的可靠性,广泛用于命令、状态数据的传输.为解决IEEE-1394总线异步传输过程中的传输延时、吞吐量以及总线利用率等问题,基于确定与随机Petri网(DSPN,Deterministic and Stochastic Petri Nets),建立了IEEE-1394总线异步传输的节点模型,并基于模型仿真分析了其异步传输系统的性能.通过仿真研究得到了IEEE-1394异步传输系统吞吐量、平均等待时间等性能指标同数据包大小和数据到达速率的关系,并给出了IEEE-1394异步传输数据包到达速率极限的计算方法.     

一种基于AADL的IMA系统配置信息的正确性检测方法

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