NASA Ames 借助MATLAB®和Simulink®,用基于模型设计的方法完成了LADEE机载飞行软件的开发。开发过程由一系列构建周期组成,每个周期都包括建模、仿真、代码生成和测试。
NASA Ames工程师在Simulink中开发了飞行软件的模型,包括姿态控制、电源管理、热控制、导航、通信和指令处理等不同模型。该团队还开发了LADEE探测器的Simulink模型,包括它的推进系统、环境和重力场。这些模型确保了飞行软件可以在现实环境下快速完成开发。
使用Simulink Check™,项目团队确认模型符合他们自定义建模要求,该要求源于MAAB(MathWorks汽车顾问委员会)的指导原则。
在Simulink中运行单元级仿真,确认子系统满足要求后,该团队使用Simulink Coder™和Embedded Coder®,从Simulink控制器模型生成生超过26000行C代码。
为查找设计错误,工程师使用了Polyspace Bug Finder™和Polyspace Code Prover™执行静态分析。
通过Simulink Coder,他们从产品模型中生成代码,用于处理器在环(PIL)和硬件在环(HIL)测试。他们将控制器代码与NASA的核心飞行执行器框架 (cFE)和核心飞行系统(cFS)软件包进行集成,并将其部署到Broad Reach PowerPC处理器上。
该团队开展了大量的实时、系统级 PIL 和 HIL 测试,包括环月轨道进入、任务序列、科研任务和故障管理情形。
该团队在整个项目范围内使用 Simulink Report Generator™,依照 NPR 7150 规范跟踪需求和每个需求的测试结果。
他们按预定时间和成本估算完成了软件开发。