基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

On Exploring Method and Software for Evaluating Effectiveness of Military Training Aircraft

The evaluation of training effectiveness (TE) of military training aircraft, though obviously very important, appears to have attracted much less attention than what it deserves in the open literature. This article aims to start from previous studies and explore further. First, TE of military training aircraft is discussed and our ideas for evaluating TE which are expressed mathematically are proposed. Then, using the presented mathematical models, software is developed that takes into consideration the influence of parameters of flight performance and quality on TE. The software's environment is Borland C++ and it sets up the parameters of trainer, training standard databases and training documents; it can analyze and then give the operational cost and cost-effectiveness ratio of military trainer. Finally, the software is utilized to compare the TEs of HAWK and MB339 with that of Chinese Air Force TF-6. The results of comparison show that the TE of TF-6 is the lowest.     

导弹安保机构测试系统的设计与实现

针对某型空空导弹安全和解除保险机构,利用计算机及高新技术,实现了安保机构的高精度、高准确性和高效率的测试。较详细地介绍了安全和解除保险机构自动测试系统的硬件设计、软件设计及抗干扰措施。实践表明,该系统具有较高的测试精度及智能化程度,并具有良好的通用性。     

仿真网格下的节点选择

仿真网格是一个将网格技术和建模与仿真技术相结合的网络化仿真平台,节点选择是提高仿真网格下仿真执行性能的重要手段.根据仿真网格下资源异构性的特点,提出一套形式化的节点性能评价标准,以此标准为依据建立节点选择的数学模型,并给出选择最优节点集合的节点选择算法.算法实验表明,该算法以节点的计算能力为优先考虑,同时顾及节点之间的通信性能,并能够回避通信性能参差不齐时好的通信性能掩盖住差的通信性能的情况,能够起到提高仿真执行效率目的.     

CABAC算术编码器硬件优化实现

为了解决上下文自适应二进制算术编码器(CABAC,Context-based Adaptive Binary Arithmetic Coder)硬件实现吞吐率难以提高的问题,提出了基于数据流动态特性的电路优化方法.通过建立算法的数据流模型,提取出限制硬件实现性能的数据流反馈环路.针对上下文环路,采用3条迭代周期不同的子环路更新具有不同依赖周期的上下文变量,提高了时钟频率和吞吐率;对于字节打包环路,通过提取一类可简化电路结构的数据元素,并为之构建快速旁路,增加了环路的处理速度.基于上述方法并辅以基本的电路优化手段,设计实现在现场可编程门阵列(FPGA,Field-Programmable Gate Array)平台上频率可达309MHz,并且每个时钟周期处理一个编码符号.     

一种空间飞行器控制系统软件协同演化方法

针对空间飞行器控制系统软件在开发演化时存在管理复杂、开发过程无序、协同度低的问题,提出一种空间飞行器控制系统软件协同演化的方法。首先对软件演化过程中的演化活动、演化策略进行了分析,之后基于对软件演化活动所得到的演化路径利用有向图进行了建模并给出了其演化活动的排序,最后,对演化路径有向图中出现的并行活动和环的情况进行分析,同时给出了相适应的排序算法。基于该方法,软件演化过程得到规范,较好的解决了复杂情况下演化路径求取困难的问题。     

计算机辅助可靠性设计分析系统研究

介绍了以可靠性设计分析工作流程为主线,以可靠性数据库为核心,全面支持可靠性要求制定 (定性和定量要求 )、可靠性设计分析和可靠性设计分析咨询等工作,及与传统专业软件综合应用的计算机辅助可靠性设计分析软件系统。详细论述了该系统的功能和软件结构;软件支持的可靠性设计分析功能流程;与EDA、热分析等传统专业软件综合应用进行可靠性预计、FMEA等关键技术,及软件的特点。     

基于ADAMS的焊装转台牵引转向机构设计与优化

本文以某型卫星焊装转台牵引转向机构为研究对象,针对转台转向时与地面产生额外的磨损及动力消耗问题,进行了重新设计,并基于ADAMS软件进行了运动学仿真,验证了机构的可行性,对机构进行参数化建模,讨论了单个设计变量对转弯特性的影响,基于多设计变量对转弯特性的影响规律对转向机构结构参数进行了优化,得到转向特性与驱动力矩,并与现有结构进行了对比。为今后的牵引转向机构设计提供了参考依据。     

综合模块化航空电子核心系统技术研究

介绍了一种综合模块化航空电子核心系统.在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议.系统具有可重构性、可重用性、可扩展性和健壮性,可满足先进飞机航空电子系统的应用要求,并为未来新型分布式综合模块化航空电子系统的研究与设计提供技术支持.     

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.