飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

飞行软件目标码测试软环境设计

阐述了一种飞行软件目标码测试环境的设计方法.该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计.最后通过应用实例验证了设计方法的可行性.     

同步磁阻电机直接转矩控制系统研究

鉴于矢量控制对电机参数依赖性强的问题,借鉴现有永磁同步电机数学模型及其直接转矩控制的相关理论,分析同步磁阻电机的数学模型,提出了同步磁阻电机的直接转矩控制方法,包括空间电压矢量的计算、磁链和转矩的滞环控制等;并基于位置信息的估算,设计了速度的闭环控制器。构建了系统的仿真模型,并对电机的稳态和动态性能进行了仿真分析。由仿真结果可知,所提方法设计的系统能够在较宽的转速范围内变速运行。     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

TMS320VC33虚拟内核流水线仿真优化设计方法研究

搭建全数字仿真测试环境的关键是虚拟内核的研制.流水线仿真优化设计对虚拟内核运行效率的提高至关重要.本文研究了TMS320VC33虚拟内核流水线仿真优化设计方法,基于TMS320VC33流水线工作原理运用译码缓存策略和预译码策略对流水线仿真过程进行优化,并提出了一种流水线仿真优化设计整体方案.     

基于触发角定时控制的异步电机软起动控制器设计

针对起重设备专用三相异步电机的直接起动问题,分析了异步电机的T型等效电路,阐述了晶闸管调压电路的工作原理,提出了一种基于触发角定时控制的异步电机软起动方法。基于MATLAB/Simulink搭建了相应的系统仿真模型,进行了提出方法的仿真分析,验证了所提方法的正确性。最后,基于单片机设计了相应的软起动器的软硬件,进行了试验测试。结果表明提出的方法可以有效地实现三相异步电机的平滑起动,起动电流较小,有效地减少了起动过程对电机和电网的影响。