在研制前期,系统方案的验证难题日益凸显,特别是软件调试和软硬件协同真验证的缺失。此外,测试验证阶段面临着软件设计异常情况无法通过硬件环境进行全面测试与验证的困扰。为解决这些挑战,提出了一套创新性的解决方案。该方案不仅支持深层次故障注入,还具备仿真组件模块化特性,同时允许虚拟处理器和外设的动态配置,形成了一套分布式切高仿真体系架构。同时,引入了先进的嵌入式软件全数学仿真测试平台技术,为航空航天、国防、汽车电子等领域的嵌入式软件测试与验证提供了可靠的技术支持。