ARINC661服务器软件自动化测试的研究与实现

针对ARINC 661服务器软件测试的规模庞大、维护困难等问题,结合ARINC 661服务器软件标准部件库特点,本文提出了一种自动化测试方法,研究了自动化测试的关键技术,并完成了自动化测试工具的开发。实际测试结果表明,自动化测试方法以及自动化测试工具可以显著提高软件的测试水平,减少测试的成本。     

ATLAS程序语言结构分析

以波音737飞机装备的FMC为例，详细分析和介绍ATLAS语言测试程序的组成、结构及其定界标志，可为涉及相关工作的技术人员提供参考。     

ARINC659背板数据总线应用研究

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

SOC应用中的寄存器组设计自动化

介绍了片上系统(SOC)技术在航空电子应用中的实例,重点讨论了在设备寄存器组设计中如何自动生成VHDL的源文件,包括寄存器组的数据结构、VHDL设计模板、源文件自动生成规则、编程技术和操作界面.     

ARINC661符号设计器研究与实现

随着航空电子技术的飞速发展,航电系统将走向高度综合化、数字化、自动化、智能化,ARINC661协议应运而生。协议为座舱显示系统的设计引入标准化的接口设计及模块化理念,并提升其可移植性和可扩展性。通过对ARINC661协议的分析,研究了符号的基本概念,对符号设计器中图形坐标转换、图形高效填充绘制及数据库访问等关键技术开展研究。在此基础上设计开发了一套符合ARINC661规范的符号设计器,满足座舱显示系统的个性化需求设计。     

基于单片机的ARINC429校准用信号源设计研究

在对ARINC429总线规范和校准方法分析的基础上,提出一种基于单片机的ARINC429校准用信号源的设计方案,并利用实验对其可行性进行了分析。     

基于HS3282的ARINC429航空通讯总线设计

ARINC429通讯总线已经广泛应用在航空电子系统中,成为机载设备之间通讯主要接口。简要地介绍了ARINC429接口的硬件设计和软件算法。在航电系统通讯设计中具有典型性和实用性。     

IMA平台分区分析方法研究

依照综合模块化航空电子系统（Integrated modular avionics ,IMA）平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块（General processing module, GPM）、航空数据网络ARINC664交换机和远程数据集中器（Remote data concentrator, RDC）进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。     

基于TTE网络的分布式系统分区同步方法

先进分布式综合飞行器管理系统对通信网络的实时性和确定性有严格要求。研究了时间触发以太网(TTE)的同步服务、提出了在符合ARINC653标准的分区操作系统下,基于TTE网络的分布式系统分区同步方法,建立分区同步测试平台,并对分区同步精度进行测试分析。测试结果表明,基于TTE网络的分布式系统分区同步的精度和抖动均可达到μs级,可满足先进分布式综合飞行器管理系统的网络时间同步的要求。     

基于AADL的航空电子系统安全性分析

AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。