LADEE在其设计过程和任务周期中面临一些挑战。首先，LADEE有多种可能的发射轨道；第二，搭载的任务仪器需要精确定点，而且月球的环境条件也需要探测器在轨道上频繁地滚动和翻转。

为应对这些挑战，NASA的工程师们想要在开发过程的早期模拟各种任务场景和故障状态。为了满足NASA软件开发流程的需求，他们需要在需求、模型、测试和测试结果之间建立双向可跟踪性。

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 规范跟踪需求和每个需求的测试结果。

他们按预定时间和成本估算完成了软件开发。