航空电子系统基于需求的自动测试方法

提出了一种基于需求的自动测试方法.该方法针对目前航空电子系统的系统设计与验证中的"V"型流程进行建模,并对其进行形式化的描述,以供计算机分析、识别.设计了一套有效、完备的自动测试系统以达到对系统需求的验证,并在此基础上提出了进一步研究的方向.通过实际软件验证了所提方法的有效性.     

三层面分析法探究航空电子系统未来发展

近些年来随着人工智能、信息网络等技术的成熟,航空电子系统迅速发展,关于未来航空电子系统如何应用于作战的讨论层出不穷。通过三层面分析法对航空电子系统各种创新活动进行整合,从而构建面向未来的合理且持续的方法论来研究航空电子系统领域。首先系统梳理了航空电子系统的研究背景和现状,接着深入剖析了三层面分析法模型,重点从3个层面详细分析了航空电子系统的应用情况：有人机航电系统效益降低及其原因,当前航空电子系统的不断改进和两类创新归纳,未来高度自主的无人机航电主导的设想及其3个推动因素。     

面向IMA平台的应用软件动态重构方法

针对综合模块化航空电子系统(integrated modular avionics, IMA)具备高度资源共享、多余度的特点,当IMA航空电子系统内标准模块在功能发生变化或使用备用模块替换工作模块时,传统软件重构方法是将应用软件映像固化在本地类似FLASH芯片中,人工对模块软件升级,以保证模块软件功能正常,降低了平台的可靠性,增加了人力成本。基于此,提出了一种面向IMA平台的应用软件动态重构方法,用于解决IMA航空电子系统重构时应用软件需要动态地适应性重构的问题。具体而言,通过诊断系统内各模块的健康状态,动态地为每个模块分配角色软件,进而为每个模块加载软件映像及配置数据。在保障系统资源的利用率的同时,避免了航空电子系统重构所带来的软件升级冗余操作,提升了系统的可靠性和可维护性。     

航空电子系统技术及发展方向分析

当前,航空电子系统技术日趋精细和复杂,总体而言,航空电子系统及相关设备的总体性能得到了大幅提高,并成为当前飞机技术中发展最快的领域之一。本文针对航空电子系统所采用的关键技术进行了分析,并对其未来发展方向进行了探讨。     

ARINC653多核多分区操作系统的任务调度

随着航空电子系统综合化、模块化的发展,单核处理器已难以满足综合模块化航空电子(Integrated Modular Avionics,IMA)高性能的计算要求,多核处理器逐步在航空电子系统中得到运用。ARINC653作为 IMA 架构的标准应用接口,如何在满足实时性前提下充分利用多核处理器资源成为 ARINC653 任务调度的关键。针对航空电子系统任务调度的实时性要求,采用实时任务中的周期性任务模型,提出了一种满足实时性要求的实时多核静态轮转调度算法。该算法通过优化RL(Round Length)轮转参数、任务的权值分配和多核处理器分配策略,减少任务拆分次数,提高多核处理器利用率。仿真结果显示,该算法能够对分区操作系统的任务集合进行高效调度,明显提高多核处理器利用率。     

设计模式的一种形式化描述方法

设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模武应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.     

三代半航空电子系统核心处理技术研究

集中控制和综合处理技术已广泛应用于现代军用航空电子系统,综合处理机作为航空电子系统控制和管理的计算机信息处理平台,其开放式系统结构、综合处理技术及可靠性将是系统设计的关键。介绍了一种高性能机载核心处理计算机系统。根据航空电子系统功能需求,进行了综合化、层次化结构设计,并对该系统的重构管理、综合显示管理和告警管理等关键技术进行了研究分析,同时给出了合理的解决方案。航空电子系统综合试验表明,核心处理机性能先进,可靠性高,并极大地改善和提高了航空电子系统的整体性能。     

《电讯技术》专题资料《大型飞机先进航空电子系统与技术的发展》题要（一）

在分析发展我国大型飞机航空电子系统的必要性和可行性,以及在分析航空电子系统技术发展趋势的基础上,提出了发展未来我国大型飞机综合模块化航空电子系统的架构设想,以及发展未来我国大型飞机航空电子系统的几点建议。     

我国大型飞机航空电子系统的发展与思考

在分析发展我国大型飞机航空电子系统的必要性和可行性,以及航空电子系统技术发展趋势的基础上,提出了未来发展我国大型飞机综合模块化航空电子系统的架构设想,并对我国发展大型飞机航空电子系统提出了几点建议.     

航空电子综合模块化操作系统体系设计分析与研究

综合模块化航空电子已经成为航电系统发展的主导,其体系结构和模块设计也趋于成熟和完善。通过对航空电子体系综合模块化操作系统体系进行分析与研究,对空间分区、时间分区、任务管理进行了设计,并对系统进行了性能测试与应用,提高了系统的实时性能,使系统的升级和维护更加容易,大大降低未来航电系统中软件的开发成本,为航空电子系统建模设计提供了可供参考的依据。     

基于ASAAC标准的BIT软件架构设计

为检测和定位航空电子系统的故障,研究了ASAAC标准和自动测试技术。参照ASAAC标准的多级结构,将自测试系统分为节点级、子系统级和系统级三级测试,每一级分别设计了上电自测试、周期自测试和维护自测试,实现了对系统各个运行阶段及不同层次的测试。该系统不仅能检测系统的硬件状态,还能检测软件的启动和运行状态,提高了航空电子系统的自检测能力。     

特种任务飞机电子系统的发展趋势

特种任务飞机是一类能够执行空中预警指挥、侦察监视、电子战或反潜等特殊作战任务的飞机,在信息化战争中发挥着重要作用。航空电子系统是集合探测传感器、综合处理、显示控制、通信和武器等软硬件构成的综合电子系统,尤其对于特种任务飞机而言,主要作战任务是由电子系统完成的。文章就航空电子系统的架构发展进行了分析,并对今后特种任务飞机航空电子系统的发展趋势及新技术进行简要论述。     

航空电子系统的发展分析

首先介绍了航空电子系统的发展经历，即：分立式阶段、联合式阶段、综合化阶段和高度综合化阶段，并进一步讨论新一代航空电子系统的发展趋势，针对新一代航空电子系统的特点，分析新一代航空电子系统的关键技术及其解决途径。     

基于LRM的航空电子系统BIT研究

随着我国新型航空电子系统的加速发展,航空电子系统综合度和复杂度越来越高,以LRM为基础的综合航空电子系统将成为主要的发展方向,这为系统的测试和维修提出了更高的要求。而LRM的BIT技术是其中一项非常关键的技术,在研究基于LRM的航空电子结构和LRM组成的基础上提出了LRM内部3级组合BIT方法,并对该方法做了较详细的描述。该方法在LRM的设计以及功能改进过程中,可以提高LRM的自检测能力,降低BIT实现难度。     

光纤通道网络故障处理方法研究

介绍了光纤通道技术的主要性能,并评估了光纤通道适合用于未来航空电子系统互连;分析了光纤通道网络故障因素,给出了一套光纤通道网络故障检测和恢复的解决方案;光纤通道网络故障处理方法的研究对于未来航空电子系统光纤通道互连的容错设计具有重要意义.     

系统综合与设计

简要叙述了航空电子系统综合的重要性以及航空电子系统顶层设计要求 ,分别从信息流、过程、系统时钟、数据库等几个方面详细地介绍了子系统航空电子系统航空电子系统综合的需求分析 ,提出了一些设计方法以及注意事项     

测试的区别

自检测（self—tesx）和机内检测个（built-initest）描述的功能稍微有点不同。当一个航空电子系统在使用中时．为了保证系统能满意地工作和出现故障时间飞行员发出警报，要连续地或周期地进行自检验。机内检测通常只在航空电子系统首次接通时进行。如果检测到故障，它就自动地再进行一系列的测试．以便将故障隔离到可快速更换的部件、机内检测主要是由外场维扩人员使用，但在飞行中飞行员也可以使用。测试的区别     

一种面向嵌入式软件体系结构的形式化建模方法

为了解决MARTE（Modeling and Analysis of Real Time and Embedded systems）在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA（Probabilistic Timed Automation）的优点,本文提出了一种集成的形式化建模方法--PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程.     

综合化航空电子系统PHM应用与设计

故障预测与健康管理(PHM)技术应用是保障电子系统任务完成成功率的重要手段和方法。对航空电子系统的PHM应用及设计思路进行了探讨,提出了PHM系统功能关系及适合综合化航空电子系统的健康管理体系。对PHM工程实现的主要关键技术及解决方案进行了研究,重点分析了基于测试性模型的多信号增强诊断方法,以及基于马尔科夫和贝叶斯网络的健康评估方法,对最终实现航空电子系统的PHM全面应用具有指导意义。     

微电子技术在航空电子系统中的应用

介绍了微电子技术推动航空电子系统发展的历史,综述了与航空相关的微电子技术发展状况及在我国某型飞机航空电子系统结构中的应用;并指出:微电子技术的进步将推动未来先进航空电子系统的迅速发展;将新的微电子技术及产品应用到航空电子系统中,能够提升航空电子综合化、模块化、智能化水平。