ARINC659总线多余度容错系统同步技术

介绍了ARINC659总线结构、窗口活动、同步方式,分析了初始同步和重同步过程中时钟漂移和异步度产生的原因。以ARINC659背板总线为核心,设计了满足高安全性和高可靠性需求的四余度综合化、模块化的飞机机载计算机系统,分析了系统架构、总线桥接方式、工作原理。针对余度管理的同步核心功能,设计了系统应用级的任务同步算法和总线通信级的消息同步算法。该同步技术已经应用于型号研制中。     

ARINC659总线验证平台节点设计与实现

ARINC659背板总线是综合化模块化航空电子系统（IMA）中在线可更换模块（LRM）之间的数字数据传送标准。在所构建的ARINC659总线验证平台中,对ARINC659总线节点的设计和实现进行了深入研究,并给出了测试结果。     

ARINC659总线协议容错机制的一种设计与实现

在飞行控制系统中,对系统安全性、可靠性、可用性的要求不断提高,系统的容错控制能力也在不断的发展.ARINC659是一种具有较高吞吐量、严格的故障隔离、数据传输确定特性的数据总线.描述了ARINC659背板数据总线协议规范中使用的两种容错机制,并实现了容错机制,使用verilog语言设计实现并给出了相应的仿真结果,能够有效的实现对一路故障以及部分两路故障的屏蔽保证系统的可靠性.     

ARINC659芯片协议符合性验证关键技术研究

ARINC659总线主要用于机架内部各在线可更换模块(LRM)间的通信。在ARINC659芯片设计过程中,如何对协议符合性进行充分验证是确保芯片设计符合协议的关键和核心。本文首先对ARINC659总线产生的背景及ARINC659协议及总线协议处理芯片进行了概述,并结合ARINC659总线协议处理芯片对芯片协议符合性验证中的关键技术进行了分析和研究。     

ARINC659总线协议同步机制的研究与实现

总线的同步保证了设计能够正常工作,因此在通信系统中有着极其重要的地位。描述了ARINC659（Aeronautical Radio Incorporated,航空无线电组成公司的）总线规范,分析了该协议采用的TDPA（Table Driven Proportional Access,表驱动均衡访问）通信机制,给出了符合协议规范的同步机制设计并得出了相应的设计结果。主要研究ARINC659协议同步机制,希望能对研究总线同步的同行有所帮助,对ARINC659总线的描述也有助于同仁对ARINC航空总线的研究。     

ARINC659总线在IMA架构中的适用性分析

综合模块化航电系统在飞机航电设备的研制中逐渐得到应用,实现综合化模块化航电的一个关键技术是系统内部总线的选择,通过论述综合模块化航电系统对系统内部总线的要求、介绍ARINC659总线的特点,分析ARINC659总线在综合模块化航电系统中的适用性,可以得出ARINC659总线能够满足综合模块化航电系统的要求,目前ARINC659总线已经开始广泛应用于综合模块化航电系统中.     

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

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

ARINC659背板数据总线应用研究

ARINC659背板数据总线是一种高可用、高完整、支持鲁棒的时间分区和空间分区的容错串行总线,它是ARINC651标准定义的综合化模块化航空电子系统的关键技术。深入分析了航空电子系统综合化对背板总线的要求,概述了ARINC659背板数据总线体系结构、介质访问机制、同步机制等规范,详细介绍了ARINC659背板数据总线的典型应用系统,探讨了ARINC659背板数据总线特性与应用前景。     

基于FC的航电数据加载服务系统的设计研究

为适应日益发展的综合化航空电子系统及机载网络技术,航电系统维护中尤其是软件升级需要一套标准的数据及文件传输规范来保证加载的安全性和高效性。选用ARINC 615A数据加载协议,在深入分析其传输操作、传输文件以及传输协议的基础上,采用FC高速网络,设计适合ARINC 653和非ARINC 653操作系统的航电数据加载服务系统,并引入状态监控、CRC校验和短加载机制,实现数据加载的正确、稳定、可靠。     

ARINC659总线简介

简要描述了综合化模块化航空电子在线可更换模块（LRM）之间数据传送的标准──ARINC规范659。