论文部分内容阅读
为了提高机载飞控软件虚拟验证平台的运行效率,本文以WindRiver公司的全系统仿真器Simics作为工具,以双处理器飞控计算机CPU板为研究对象,研究分析了影响数字化模型运行效率的因素。根据研究结果,论文提出使用并行仿真和轻量化建模两种方式来提高数字化模型的实时性,并搭建了多余度飞控计算机系统数字化模型验证了方法的有效性。首先,本论文比较了现阶段几种常用的数字化建模工具。在综合考虑了目标平台、资源丰富程度和易用性等方面后,最终选择使用Simics作为研究工具,并对Simics 工具中提供的一系列加速模型开发的机制做了进一步研究。随后,论文重点研究分析了影响数字化模型运行性能的因素。从充分利用宿主机计算力的方面,提出了使用并行仿真的方案加速数字化模型运行;同时,从降低宿主机计算量的方面,提出了使用轻量化建模的思想,裁剪数字化模型的规模,从而提高数字化模型的运行效率。然后,为了验证并行仿真和轻量化建模技术对提高数字化模型运行效率的有效性,搭建多余度飞控计算机系统的数字化模型,论文研究分析了双处理器CPU板的功能性需求和非功能性需求,并按照并行仿真和轻量化建模的思想重构了双处理器CPU板的数字化模型。最后,在验证了重构之后双处理器CPU板数字化模型功能的完备性后,基于该多余度飞控计算机系统数字化模型,对比测试了该数字化模型在不同运行状态下的实际运行效率。测试结果表明,轻量化建模重构CPU板数字化模型后,其运行性能比原模型直接运行提升约27%;而在轻量化重构的基础上,使用并行仿真技术后,性能比原来提升约80%～85%,数字化模型的运行效率提升明显。机载软件虚拟化验证平台使得软件的验证工作摆脱了对硬件的依赖,但虚拟验证平台较低的运行效率限制了数字化模型的进一步应用。本论文通过对双处理器CPU板数字化模型实时性的研究,在保证虚拟验证平台功能完备性的前提下,提出了提高数字化模型运行性能的可行性方案,有利于数字化模型应用场景的进一步扩展。