过去，大韩航空工程师手工编写无人机飞行控制软件。该公司指出了这种方法的几个缺点，特别是当一个飞行控制系统针对多个无人机平台时。首先，团队开发的算法过于复杂，无法用C语言手工编程。其次，他们需要能够快速部署硬件规格变化和最新的控制算法。第三，手工代码检查和单元测试需要太多的时间和精力来完成。

大韩航空为了满足飞行试验和认证的不可更改的期限，需要模拟设计模型，自动生成代码，验证生成的代码和手写代码，从而缩短开发时间。

韩国航空公司使用基于模型的设计开发了其新的无人机飞行控制软件。

在开发的早期阶段，工程师开发了Simulink万博1manbetx^®建模以细化和验证高层次的需求。

工程师使用Aerospace Blockset™开发了无人机的动态模型，包括用于模拟自动起飞和降落的起落架动力学。后来，他们使用系统识别工具箱™估计模型参数的飞行动力学和性能验证。

该团队使用鲁棒控制工具箱和控制系统工具箱设计飞行控制律来计算最优控制增益。

飞行管理和控制系统，包括自动着陆制导子系统，在Simulink和Stateflow中建模万博1manbetx^®．

在运行了桌面仿真来验证飞行控制规律和收集控制响应数据之后，他们在MATLAB中分析了结果和飞行测试结果^®．

使用Simu万博1manbetxlink Check™和Simulink Coverage™，工程师进行定期检查，以确保模型符合公司的建模标准(基于MAAB指南)，并为他们的测试套件测量100%的MC/DC模型覆盖率。

该团队使用Embedded Coder从他们的模型生成了超过45000行源代码^®．他们将C代码与手写的硬件驱动程序代码集成在一起，并重用模型覆盖率的测试用例，以衡量100%的MC/DC代码覆盖率。

使用Polyspace Code Prover™，该团队检查了所有代码的运行时错误，识别了他们随后更正的手写代码中的几个错误。在生成的代码中没有发现运行时错误。

该团队使用Simulink real-time™进行了实时HIL模拟。万博1manbetxHIL模型包含飞行控制和飞行动力学子模型中的11000多个模块，用于创建无人机操作员训练模拟器。

韩国航空工程师向认证机构提供了Simulink Check生成的MC/DC覆盖报告和Polyspace Code Prover生成的Simulink覆盖和测试报告。万博1manbetx

韩国航空按时完成研制，无人机已获得韩国政府的适航认证。