基于Astree的机载软件运行时错误测试方法

随着机载软件日趋复杂,软件代码的质量也更加难以保证。而软件测试是保证软件开发质量的关键手段,如何高效地进行软件测试成为目前的一个重要研究方向。机载软件系统架构错综复杂,在软件开发过程中可能存在较多的运行时错误,而采用传统的测试工具很难检测到软件的运行时错误。通过专业的运行时错误测试工具对代码进行分析和测试,在软件开发阶段尽早发现代码的运行时错误,有利于更加高效地提高软件质量,保证软件的可靠性。本文通过使用Astree对机载软件进行代码测试,能够有效地发现代码运行时错误,提高了软件测试的效率,并提升了软件的质量。

高可靠性旋翼折叠软件控制逻辑设计

本文针对折叠型直升机,分析传统液压折叠和电动折叠,其中电动旋翼折叠系统以其无污染、重量轻等优点将成为折叠直升机的优先选择。基于此,文章针对电动旋翼折叠参与者机电综合管理系统的软件控制逻辑进行了设计研究,通过分析机电综合管理系统与各个执行机构的控制流及原理,得到电动旋翼折叠与展开的流程,为了提高旋翼折叠的可靠性,文章通过分析可能的故障,得到一种单步折叠与展开的方法,使旋翼折叠的可靠性和快速性得到进一步保障,此外,还通过机电综合管理系统本身也进行了一系列的高可靠性设计。最后,通过旋翼折叠与展开试验,验证了机电综合管理系统旋翼折叠控制软件的可靠性。研究可为今后折叠型直升机旋翼折叠提供一定的设计参考。

直升机通风加温系统自动调温控制过程仿真

本文主要研究直升机通风加温系统的自动加温控制仿真过程,通过Amesim构造通风加温系统的模型。利用Visual Studio对通风加温系统的控制逻辑进行编译处理,获得外部可执行文件并运行在DYNEXE0动态块中,模拟机电综合管理系统在通风加温系统自动调温控制过程中的信息采集及控制。被控模型与控制模型的联合仿真使设计过程中的需求分析、迭代优化、逻辑验证得到改善。

基于SCADE的机电管理软件开发方法研究

目前传统软件开发流程由于开发周期长、代码编写工作量大、测试复杂等问题,已经难以应对复杂的航空机载软件需求,因此需要探索更为高效的软件开发方法。本文探究了SCADE工具在直升机机电管理软件开发上的应用,并选取典型模块-燃油功能模块,进行了需求分析、建模、仿真、代码自动生成及代码测试,表明了应用SCADE开发方法的优越性,为后续软件开发积累了一定的经验。

直升机通风加温控制系统半实物仿真平台开发

直升机机电系统往着信息与控制综合化的方向发展,机电综合管理系统综合了越来越多的机电系统的控制功能。以往针对直升机机电综合管理系统控制功能的验证方法主要为系统间实物联试。实物联试周期长,测试范围有限且不能在设计早期暴露缺陷。针对上述问题,本文开发了机电系统半实物仿真平台,建立了机电系统模型仿真状态与机电接口测试台硬件接口之间的数据映射,实现了用机电系统仿真模型代替机电系统实物与机电综合管理系统进行联试。该试验平台可将机电综合管理系统控制功能验证提前至设计早期,并缩短了验证周期,提高了验证覆盖率。