共查询到20条相似文献,搜索用时 140 毫秒
1.
为确保综合模块化航空电子系统的安全性需求能够在全双工交换式以太网中得到一致性保证,提出了一种面向风险均衡的路径规化(RBPP)算法,以满足各航电功能间的安全隔离要求,同时分散风险,避免局部物理链路的风险集中,提高系统安全性。以民机失效状态类别划分为基础,建立了航电功能、分区、端系统、虚拟链路(VL)风险模型;RBPP以均衡各物理链路风险为目标,同时综合考虑网络实时性、链路负载能力等因素,采用粒子群算法进行优化目标求解。利用仿真优化方法对RBPP算法进行了实现,在典型工业航空电子全双工交换式以太网(AFDX)网络架构及A380AFDX网络架构下进行仿真分析,结果显示多播VL的简化处理的会使网络风险增加;在1 000条VL配置下与负载均衡(LB)算法和最短路径(SP)算法进行了分析对比,结果显示RBPP算法在满足各航电功能间的隔离需求的同时,链路风险均衡能力在两种网络拓扑下分别比负载均衡算法提高了10.7%和23.4%,比最短路径算法分别提高了35.4%和47.9%。 相似文献
2.
性能保证条件下航空电子高速交换机的加速方法 总被引:1,自引:1,他引:0
以保证航空电子互连网络的确定性延迟和高带宽为目的,建立航空电子交换式以太网(AFDX)承载于波分复用(WDM)之上的架构,兼容AFDX的延迟确定性和WDM的带宽可扩性,满足航空电子互连网络对实时性和高带宽的要求。通过对实时通信中周期性数据帧的分析,提出光波聚合加速方法,对输入端到达的数据帧进行重新分配和整型,充分利用每条光波的带宽资源,减少交换使用的波长数。在性能保证条件(100%通过率下保证有界延迟)下,对使用光波聚合方法的交换机制进行了数学推导。最后通过计算机仿真,以网络延迟时间率和加速因子为性能衡量指标推证了该加速方法的优越性和可行性。 相似文献
3.
4.
5.
6.
AFDX流量管制信用量设置的模型检查 总被引:1,自引:0,他引:1
航空电子全双工交换式以太网(AFDX)实时通信中,交换节点采用信用量令牌桶(creditedtoken bucket)进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性(bounded liveness)模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路(VL)的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。 相似文献
7.
8.
Switched Ethernet testing for avionics applications 总被引:1,自引:0,他引:1
Switched Ethernet is being implemented as an avionics communication architecture. A commercial standard (ARINC-664) and an aircraft vendor-specific implementation known as avionics full duplex switched Ethernet (AFDX) have been developed that defines the topology and use of switched Ethernet in an avionics application. In avionics applications, the movement of data between devices must take place in a deterministic fashion and must be delivered reliably. All aircraft flight hardware must be tested to be sure that it will communicate information properly in the switched Ethernet network. The airframe manufacture must test the integrated network to verify that all flight hardware is communicating properly. Testing and maintenance testing is required to perform data communication level testing of switched Ethernet architectures for avionics applications to insure that all communication is deterministic and reliable. This paper provides an overview of a switched Ethernet avionics network and identifies the testing challenges associated with a switched Ethernet avionics application. A practical implementation performing the required tests is discussed. 相似文献
9.
10.
为了提升新一代航空电子全双工交换以太网(AFDX)网络的传输速率和余度设计可靠性,在AFDX
网络标准的基础上(ARINC 664 p7),建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模,
而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧
管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度
AFDX 网络帧传输过程中不存在死锁。此外,针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备
份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不
必要的丢帧,提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。 相似文献
11.
12.
13.
14.
结合相关标准对AFDX总线传输特性技术进行了分析,首次提出了基于数据传输流程和协议的测试标准指标体系的确定方法,给出了 AFDX总线传输特性测试标准指标体系,同时也给出了一种适用于信息传输测试技术的标准指标确定的通用方法. 相似文献
15.
16.
17.
基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统(ES,EndSystem)为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。 相似文献
18.
机载总线网络及其发展 总被引:14,自引:1,他引:14
从当今机载电子系统对信息传递的需求出发,纵观航空电子综合化系统的发展阶段,说明为了适应新一代航空电子系统的大容量、深层次的信号与信息综合的要求,机载互连手段从较低速率的总线向宽带网络发展成为必然的趋势。介绍了光纤通道(FiberChannel,FC)、可扩展性一致性接口(ScalableCoherentInterface,SCI)以及波分复用光网络等宽带互连方案,给出它们的研究动向,说明它们作为先进综合式航空电子系统统一网络(UniversalAvionicsNetwork,UAN)的候选所具有的特点。 相似文献
19.
分级式航空电子综合化仿真系统研究 总被引:2,自引:0,他引:2
介绍一个分级式航空电子综合化仿真系统。该系统以航空电子综合化工程中一个分系统为仿真目标,由两层双余度1553B总线和MBI(multiplex bus interface)将AVS(Avionics simulator)、SSCU(subsystem control unit)、若干个EQS(equipment simulator)以及部分真实设备连成的三级分布式计算机系统。一个面向实时控制的分布式操作系统和相应的仿真软件分布在三级仿真器中;其中,分布式操作系统实现两级总线的衔接、通信控制、并行多任务管理、错误检测、故障处理和实时内存数据库管理,仿真软件模拟航空电子上层环境、操作员控制与显示、分系统各设备数据产生与接收数据处理以及信息处理应用任务。系统研制成功为工程化实现打下了技术基础并提供了一个实验环境。 相似文献
20.
新一代航空电子总线系统结构研究 总被引:2,自引:0,他引:2
航空电子总线系统结构是航空电子系统的神经中枢,直接决定着航空电子综合化程度的高低和性能的优劣。本文通过对航空电子数据总线结构现状和发展要求的分析,提出了新一代航空电子总线系统的设计原则和体系结构,并论述了其核心技术综合模块化航空电子系统的通用模块和综合核心处理机的组成。 相似文献