一种基于MATLAB快速开发跨平台算法软件的方法

利用MATLAB进行算法的研究、仿真和实现，已经成为科研工作者的重要手段之一。在MATLAB上开发算法便捷、高效，但无法直接应用在其他平台，此时需要软件人员编码转换进行二次开发。如果某个算法同时应用在Windows和Linux这两个系统中，软件人员需要开发两个不同的软件，它们功能相同只是代码不同。这不仅增加了软件开发的工作量，同时也不利于后期维护。针对上述问题，提出了一种基于MATLAB快速开发跨平台算法软件的方法。首先，利用MATLAB开发算法的便捷性进行算法的调试与验证，简化接口函数；其次，使用MATLAB Coder生成独立于MATLAB的C/C++代码；然后，将生成的代码在不同平台下进行封装，生成该目标平台的动态链接库；最后，不同平台通过调用该平台下的动态链接库，实现了同一算法的跨平台软件开发。所提出的算法软件跨平台开发方法，已成功应用于多个实际项目。通过本方法，不仅缩短了软件的开发周期，提高了软件编程效率，减少了软件开发中的人为错误，同时方便了软件的后期维护。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

云服务技术在航电软件研发中的应用研究

航空电子系统硬件的发展，为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术， 将机载计算资源进行池化管理，并借助服务化技术，将复杂航电软件拆分为可协作的独立模块，能够实现航电 软件的快速构建、灵活部署，并提高航电软件之间的互操作能力。本文讨论了云服务技术在航空领域的应用现 状，研究并提出了一种应用于航电软件研发的云服务架构，给出了服务化和容器管理平台的实现方案，并构建 了应用原型验证环境。     

基于TestStand及LabVIEW的航电通用故障监控软件自动化测试研究

基于TestStand及LabVIEW软件平台,以航电通用故障监控软件为例,从测试架构、测试逻辑等角度,为航空电子软件自动化测试提供思路和方法.     

基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂，飞机对机载计算机的计算力和功耗比要求不断提升，这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用，随之而来的是运行其上的软件复杂度急剧上升，面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题，而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的，影响最大的是在机载嵌入式实时操作系统环境下的驱动软件，因此需要充分考虑多核带来的各方面影响，尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点，提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法，并基于该方法设计了FC 总线驱动和MBI 总线驱动，项目应用结果表明，设计的驱动程序在多核处理器平台上数据传输正确，验证了方法的正确性和有效性。     

星载控制软件在轨动态重构技术研究

为使星载控制软件可在轨动态重构，提出一种基于量子编程框架、无须操作系统支持、可实现多版本切换的星载控制软件在轨动态重构方法。在分析影响在轨动态重构关键技术基础上，从量子框架的面向对象运行机制出发来寻求软件框架对动态重构的支持；通过划分函数边界，将函数归类为内部函数和公共函数，避免了模块间的循环依赖；给出了函数向量表维护策略，并以版本号为导向实现了向量表切换。该方法在BM3803星载处理器平台进行了充分测试，结果表明：所提出的在轨重构方法系统无须停机、版本可回退且更新过程可靠。本方法占用内存小、平台依赖性弱、代码可复用性强，可推广应用至硬件资源有限的星载控制器终端。     

面向信号的 ATS测试软件结构及相关模型

面向信号的自动测试是通用自动测试系统的发展方向，建立统一的测试系统模型是面向信号测试系统中信号管理与任务调度的关键。为了实现面向信号的测试系统软件的规范化描述，文章采用测试软件分层描述的方式，以信号模型为中心，给出了仪器模型和测试任务模型，并论述了各模型之间的关系。     

基于分布式仿真技术的惯性导航模拟训练软件设计

利用两台计算机分别对飞机的飞行过程(圆周协调转弯)和惯导系统进行仿真,对飞机飞行过程的仿真采用VC++和LabWindows/CVI语言,同时运用LabWindows/CVI语言完成了可视界面的制作,制作的用户界面直观、方便、简洁,易于使用与维护。最后利用相应的通讯程序通过网络将两台模拟器连接起来,完成基于分布式仿真技术的惯性导航模拟训练软件设计和实现。     

基于 FACE 思想的软件通用运行环境设计

未来机载能力环境（FACE）思想由美国军方、工业界和学术界共同发起,它针对机载航空电子软件系统提出了一种新的业务模型和参考架构。通过制定参考架构核心元素间的接口标准以及定义基于共识的通用数据模型可以为软件模块的跨平台重用提供便利。本文通过分析 FACE 参考架构的核心思想,结合实现层面的具体考虑,提出了软件通用运行环境的设计方案,旨在硬件计算平台上进一步搭建一个软件计算平台,使得应用软件模块在能够正常运行的基础上尽可能地实现“一次开发,多次应用”。     

基于虚拟机QEMU的嵌入式全系统仿真测试环境的研究与实现

为了能节省测试设备的成本和提高嵌入式软件系统测试的效率,本论文设计了一个基于QEMU虚拟机技术的通用嵌入式全系统仿真测试环境,来实现嵌入式软件的系统测试。本文将着重介绍本测试系统中被测设备硬件仿真部分的设计与实现,以及针对该部分进行测试的测试结果。