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

为了满足飞行测试和认证的不可移动的最后期限，大韩航空需要缩短开发通过模拟设计模型，自动生成的代码，并验证生成和手写代码。

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

在发展的早期阶段，工程师们开发了一个Simulink的金宝app^®模型优化和验证高层次的需求。

工程师开发的UAV的动态模型，包括起落架动力学模拟自动起飞和着陆，航天用™模块组。后来，他们使用的系统辨识工具箱™估计模型参数的飞行动力学和性能验证。

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

飞行管理与控制系统，包括自动着陆引导子系统，在Simulink和Stateflow建模金宝app^®。

运行桌面模拟验证飞行控制律和收集控制响应数据后，他们分析的结果，后来，飞行试验结果，在MATLAB^®。

使用Simu金宝applink检查™和Simulink覆盖™，工程师进行定期检查，以确保符合公司的建模标准遵循的模型（基于MAAB准则），并测量100％MC / DC模型覆盖了他们的测试套件。

该团队从他们的模型与嵌入式编码生成的代码超过45,000源线^®。他们整合了代码，他们已经为硬件驱动手写本的C代码，他们重复使用测试用例模型覆盖测量100％MC / DC的代码覆盖率。

使用Polyspace代码证明器™，球队所有的检查运行时错误代码，识别手写代码，他们随后更正的。在生成的代码没有发现运行时错误。

该团队使用Simulink实时™进行实时HIL仿真。金宝app该HIL模型，其中包含在飞行控制和飞行动力学子模型11000个多块，被重用，以创建无人机操作员训练模拟器。

提供的认证机构与Simulink的检查和Simulink覆盖率和Polyspace代码证明者生成的检测报告生成的MC / DC覆盖率报告大韩航空工程师。金宝app

大韩航空如期完成发展，无人机已经获得适航认证，从韩国政府。