SCI协议实时性的仿真研究

可扩展一致性接口 ( SCI)是 IEEE提出的一个协议标准 ,主要用于高速、低延迟的大规模集群系统。对 SCI协议的基本拓扑结构——环网进行了建模 ,在此基础上 ,对一个典型的 4节点环进行仿真 ,考察特定消息的网络延迟和网络负载的关系。仿真结果表明 ,SCI协议适用于对实时性要求较高的任务系统的互联     

航空电子系统机载网络实时性能评价技术

机载网络是航空电子系统中实现信息实时可靠传输的手段，其发展程度和能力决定了航空电子系统的总体构型及信息综合效能。不同于一般计算机网络，机载网络更加强调组网的实时性，需要采用苛刻高效的方法实现其实时性能的分析与评价。以交换式网络中消息传输过程为分析对象，研究了消息端到端传输延迟模型，给出了实时性能评价方法在评估悲观性和计算紧性的对比指标；对解析分析、行为仿真和模型检查等典型机载网络实时性评价关键技术进行了梳理和分析，给出了各种实时性能评价方法在计算紧性和效率等方面的差异和实现途径。以简单网络和工业规模网络为研究案例对上述方法进行了验证说明，并对比分析了各种方法在计算紧性的差异，探讨了航空电子系统机载网络实时性能评价技术的发展趋势。      

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

基于光纤通道的航空电子网络研究

介绍先进综合化航空电子系统结构及先进综合化航空电子系统对采用光纤统一网络互连的要求;列举光纤通道(FC)互联网络的高可靠性、容错性和确定性等指标,并评估其适于作为新一代航空电子系统互连标准;描述FC在未来航空电子系统应用中复杂的体系结构和多种上层映射协议共用的解决方案;介绍1553上层映射(FC-AE-1553)、虚拟接口结构上层映射(VIA ULP)、音频视频上层映射(FC-AV)等三种FC的上层映射协议适用于未来航空电子系统应用的特点,分析三种上层映射协议在未来航空电子系统中的应用。     

分布式IMA的网络分区方法及其实时性能分析

 针对分布式综合模块化航空电子(IMA)体系结构,在时间、空间分区以及带宽分区的基础上,提出了网络分区的概念,并建立了相应的网络模型、消息模型、流量模型及调度模型。利用网络演算方法,推导了航空电子混合消息集在网络分区下端到端(ETE)延迟的计算公式;搭建典型网络,通过理论计算对比了网络分区与带宽分区的实时性能。计算结果表明:网络分区下两条硬实时数据流的延迟较带宽分区分别降低了33.5%和74.2%;而弱硬实时与软实时数据流的延迟增加约30%。最后通过OPNET仿真对理论分析所得结果进行了验证,证明网络分区方法符合分布式IMA的分布式架构要求,并满足了系统混合关键性的需求。     

基于OPNET的CAN网络建模与仿真

为分析控制器局域网(Controller Area Network, CAN)协议,评价CAN网络性能,提出在OPNET网络仿真环境中CAN网络模型的建模方法.采用网络层次化建模方法构建节点模型.介质访问控制(Medium Access Control, MAC)子层中设计MAC、错误处理和帧间空间模块,保证系统结构清晰.通过进程设计,MAC模块中实现了网络实时性模型;错误处理模块中实现了连续错误下网络不可用模型.定义和编辑链路及数据帧模型.根据实例模型进行网络模型的配置和仿真.仿真结果与实例测试结果一致,验证了网络模型的有效性.通过分析具体网络仿真环境下的仿真结果,对CAN网络性能进行了讨论.该模型提供了独立可编辑的节点模型,链路模型和数据帧模型,可实现灵活的网络配置,用于不同网络拓扑分析.     

航空电子全双工交换式从太网标准研究

介绍AFDX的标准化文档ARINC 664系列规范的构成与发展过程,以及国内外在交换式以太网的平台电子应用领域的研究和标准化的进展情况,重点阐述为了适用航空电子"(时间)确定性网络"的需求,相关的规范(主要是ARINC 664第7部分)对网络流量控制与调度机制的实时性能保证机制的标准化规定,并展望经过实时性能改造的交换式以太网技术及其标准化工作在我国发展大中型飞机中的应用前景.     

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

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

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

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

基于固定优先级航天器任务分层调度研究

在航天器自主控制结构中, 采用分层结构构建系统, 实现不同分组的软件互不影响执行. 针对固定优先级调度模型, 通过对分区可调度性和分区设计问题进行研究, 仔细考察了任务最大响应时间迭代计算过程, 提出了一种更为精确的求解算法; 在固定优先级任务利用率上限的基础上, 给出了分区任务可设计的判定条件; 通过利用价值函数, 给出了分区参数解析模型, 在此基础上, 提出了一种局部最优的设计方法来实现整个处理器的分区设计, 通过具体实例对所提出的分区分析和设计方法进行了验证.