基于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网络终端系统测试监视系统。     

AFDX交换机的ASIC设计和实现

文章介绍了符合ARINC 664规范第7部分的AFDX交换机的ASIC设计和实现。文章先简单介绍了AFDX交换机的特点以及与商用交换机的区别;着重介绍了AFDX交换机的系统结构和各模块的功能设计;最后介绍了ASIC芯片的设计过程和实现情况。测试结果证明,该交换机芯片满足ARINC 664的各项性能指标,且通过了TechSat ADS2的各项测试用例,同时也可实现器件国产化的需求。     

基于AFDX交换机数据捕获的状态监控系统设计

为方便飞机系统的分析和维护,提出了一种基于AFDX交换机数据捕获的状态监控系统设计方法。通过捕获AFDX交换机上数据帧,进行数据帧的解析、处理、存储以及事后的下载和分析,为成员系统的性能分析、趋势判断、保障维护等方面提供数据支持。该方法已经应用于飞机设计。     

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

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

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

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

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

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

浅谈航空电子全双工交换式以太网——AFDX

简要介绍了一种新型高速总线AFDX的网络拓扑及其组成部件：端系统和交换机，并对其功能和设计要点进行了详细说明。     

基于GEF框架的AFDX网络建模工具的设计与实现

本文提出了基于Eclipse GEF框架的AFDX网络建模方法。该方法应用GEF的MVC结构,以RCP的形式实现了图形化的AFDX网络建模工具,为用户提供了高效的展示和编辑AFDX网络模型的环境。由于建立了基于Eclipse RCP技术的开放性平台,用户可以Eclipse插件的形式将任何新的功能无缝地集成在此平台下,极大地提高了工具的可扩展性。     

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

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

基于AFDX网络的SNMP协议实现

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

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

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

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

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

面向风险均衡的AFDX虚拟链路路径寻优算法

为确保综合模块化航空电子系统的安全性需求能够在全双工交换式以太网中得到一致性保证,提出了一种面向风险均衡的路径规化（RBPP）算法,以满足各航电功能间的安全隔离要求,同时分散风险,避免局部物理链路的风险集中,提高系统安全性。以民机失效状态类别划分为基础,建立了航电功能、分区、端系统、虚拟链路（VL）风险模型;RBPP以均衡各物理链路风险为目标,同时综合考虑网络实时性、链路负载能力等因素,采用粒子群算法进行优化目标求解。利用仿真优化方法对RBPP算法进行了实现,在典型工业航空电子全双工交换式以太网（AFDX）网络架构及A380AFDX网络架构下进行仿真分析,结果显示多播VL的简化处理的会使网络风险增加;在1 000条VL配置下与负载均衡（LB）算法和最短路径（SP）算法进行了分析对比,结果显示RBPP算法在满足各航电功能间的隔离需求的同时,链路风险均衡能力在两种网络拓扑下分别比负载均衡算法提高了10.7%和23.4%,比最短路径算法分别提高了35.4%和47.9%。     

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

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