基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统（ES,EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。     

AFDX网络一体化测试监视系统研究

AFDX网络的测试和验证已成为民用飞机航电系统研制的难点和关键问题.为了对AFDX网络系统进行监视及测试,搭建了AFDX网络通信仿真测试系统,仿真了AFDX数据包的发送、接收、测试及监控.通过试验,收到了良好的效果,可作为民用飞机机载网络的测试方案.     

AFDX交换机测试分析系统设计

AFDX网络由端系统、交换机和传输链路组成,交换机是AFDX网络的中枢构件。本文首先研究了AFDX交换机的功能和性能,在此基础上,设计了AFDX交换机测试分析系统,测试软件基于多框架、多视图、单文档,采用面向对象技术实现了交换机配置文件的处理、数据帧的捕获和解析、VL转发特征测试、技术时延测试、流量管制测试等一系列功能。最后进行了测试分析试验,试验展示了该测试分析系统对于AFDX交换机的测试效果。     

AFDX网络端系统测试技术研究

介绍了AFDX网络端系统的功能,在基于ATCS平台对AFDX端系统的测试中,设计了一种命令/响应型测试策略,并给出了测试方法和步骤。     

AFDX网络终端系统调度方法研究

对AFDX终端系统子虚拟链路到虚拟链路的分配调度方法进行了研究，对AFDX流量整形约束机制下的通信任务的数据包延迟抖动进行了分析和仿真，验证了AFDX网络在保证网络实时通信方面的特点。通过仿真，得到了FIFO、Round-Robin度方法和最小调度抖动调度方法的特点和各种调度方法使用的范围。     

航空电子全双工交换式以太网端系统研究与设计

航空电子全双工交换式以太网(Avionics Full Duplex Switched Ethernet,简称AFDX)是新一代机载数据总线的最佳选择.AFDX端系统(End System,简称ES)是各个航空电子子系统和AFDX网络之间信息交换的接口部件,为信息在各个子系统和AFDX网络之间的传递提供了数据通道,是保障AFDX网络服务质量的关键.对AFDX端系统进行了深入的研究,基于ARINC664规范第7部分,提出了一种AFDX端系统的设计方案,并对端系统虚拟链路层进行了分析设计.在测试平台上对端系统的验证结果表明本文提出的方案可行,满足ARINC664规范要求.     

AFDX网络连通可靠性仿真算法研究与实现

航空电子全双工交换式以太网(AFDX)已成为现代先进民用飞机通信网络的主干网络,AFDX网络的可靠性对于航电系统至关重要,研究其可靠性评价方法有着重要的意义。阐述了AFDX网络连通可靠性的评价度量参数与模型,研究了蒙特卡洛仿真模型、参数和算法。最后给出双余度级联AFDX网络连通可靠性的仿真计算结果。     

基于FPGA的千兆级AFDX端系统设计与实现

传统航空电子全双工交换式以太网(AFDX)带宽为10 Mbit/s或100 Mbit/s。为满足机载网络对带宽增长的需求,必须进行千兆级AFDX的研究。AFDX端系统是AFDX网络的重要组成部分,为航空电子子系统接入AFDX网络提供了接口,保证航空电子子系统之间进行安全可靠的数据交换。着重研究了千兆级AFDX端系统,给出了基于现场可编程门阵列(FPGA)的千兆级AFDX端系统的设计。     

基于AFDX网络的时间同步分析与实现

时间同步技术对分布式网络是不可缺少的。根据AFDX网络的完整性、冗余性等特点,提出一种AFDX网络时间同步模型和实现方法。分析了时间同步过程中产生的时间延迟,并提出两种延迟补偿方法,分别为一次性补偿法和分段补偿法。对两种时间延迟补偿方法进行对比后,采用较为理想的分段补偿法给出AFDX网络的时间同步实现。提出一种时间同步精度的测量方法,并对AFDX网络的时间同步进行了实验和测量。结果表明,方法具有较高的同步精度,能够满足AFDX网络的使用要求。     

千兆三余度AFDX 帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网（AFDX）网络的传输速率和余度设计可靠性，在AFDX 网络标准的基础上（ARINC 664 p7），建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模， 而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧 管理机制进行形式化验证，验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明，千兆三余度 AFDX 网络帧传输过程中不存在死锁。此外，针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备 份的丢失的现象，提出在接收端设置一个队列，记录那些比连续帧更晚到达的冗余备份的帧序号，从而减少不 必要的丢帧，提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。     

AFDX总线传输特性测试要求标准指标体系的确定

结合相关标准对AFDX总线传输特性技术进行了分析,首次提出了基于数据传输流程和协议的测试标准指标体系的确定方法,给出了AFDX总线传输特性测试标准指标体系,同时也给出了一种适用于信息传输测试技术的标准指标确定的通用方法。     

基于AFDX网络的SNMP协议实现

航空全双工交换式以太网(AFDX/ARINC664)是适用于航电系统信息传输的确定性飞机数据网路总线系统,目前广泛应用于各个机型的航电系统中。由于AFDX网络的确定性,需要对该网络的消息传输、故障检查等项目进行实时的监控管理,以维护该网络系统的正常运行。本文阐述了在某型直升机综合任务处理系统的开发过程中,使用简单网络管理协议(SNMP)对AFDX网络中各个设备的数据信息进行网络管理的设计与实现。     

基于AFDX的特种飞机任务电子系统总线应用研究

随着航空电子系统综合化程度的不断提高,对数据总线的通信能力提出了更高的要求,此需求对于具备较高信息收集能力的特种飞机任务电子系统来说尤为突出.本文提出了一种基于航空全双工交换式以太网(AFDX)的特种飞机任务电子系统构建思路,并对其进行了分析与验证.     

AFDX端系统发送单元的研究与实现

AFDX网络已成为客机、运输机综合化航空电子系统的主干网络,AFDX端系统(ES)是其重要的组成部分。介绍了ARINC664标准对ES设计关键的虚拟链路、子虚拟链路、带宽和抖动要求,论述了ES发送单元的结构、组成和流程分析,重点描述了虚拟链路和子虚拟链路的发送调度机制和实现方法。采用FPGA实现了AFDX端系统发送单元的功能目标,为研制自主化的ES产品奠定了基础。