核心观点与关键数据
NASA的独立验证与验证（IV&V）项目面临的主要挑战是测试和维护成本高昂，传统硬件测试难以满足复杂项目需求。为解决这一问题，NASA IV&V团队与NASA戈达德太空飞行中心合作，使用Wind River Simics开发了一个高保真度的软件模拟器GO-SIM，用于全球降水测量（GPM）任务。
解决方案与成果
GO-SIM基于Wind River Simics，实现了无硬件依赖的模拟环境，具备加载和运行飞行软件、执行脚本、单步调试、注入错误、系统压力测试等功能。Simics支持虚拟平台上的目标软件运行，并提供脚本、调试、检查和故障注入等能力，使团队能够模拟从单处理器到复杂电子系统的硬件环境。
关键成果包括：
- 降低风险和成本：通过早期发现和修复软件问题，避免了硬件可用性延迟和缺陷，降低了80-90%的模拟模型可重复使用，节省了长期成本。
- 提高工程效率：快速配置虚拟平台，节省了硬件设置时间，并支持硬件/软件协同开发。
- 增强产品质量：通过模拟科学仪器和系统接口，降低了风险，确保了软件行为的正确性。
研究结论与未来计划
GO-SIM的成功不仅支持了GPM项目，还将在未来多个航天项目中复用，如詹姆斯·韦伯太空望远镜IV&V模拟和测试（JIST）项目。NASA计划将解决方案商业化，并向其他嵌入式系统客户推广GO-SIM组件和架构，以实现更广泛的应用和成本节约。
