韩国航空飞行无人机飞行控制软件开发和基于模型的设计验证

过去，韩国空气工程师手工编码无人机飞行控制软件。该公司确定了这种方法的几种缺点，特别是当单个飞行控制系统针对多个UAV平台时。首先，团队正在开发的算法对于手动中的程序进行太复杂。其次，它们需要能够快速部署硬件规范变化和最新的控制算法。第三，手动代码审查和单元测试需要太多时间和努力完成。

为了满足飞行测试和认证的不可移动截止日期，韩国空气需要通过模拟设计模型，自动生成代码和验证生成和手写代码来缩短开发。

大韩航空利用模型设计(Model-Based Design)开发了新型无人机(UAV)飞行控制软件。

在开发的早期阶段，工程师们开发了Simulink金宝app^®模型改进并验证高级要求。

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

该团队使用鲁棒控制工具箱™和控制系统工具箱™设计了飞行控制法，以计算最佳控制增益。

在Simulink和statflow中对包括自动着陆制导子系统在内的飞行管理与控制系统进行建模金宝app^®．

运行桌面模拟以验证飞行控制法律并收集控制响应数据后，他们分析了Matlab中的结果，后来飞行试验结果^®．

使用Simu金宝applink Check™和Simulink Coverage™，该工程师进行了定期检查，以确保模型符合公司的建模标准（基于MAAB指南），并为其测试套件衡量100％MC / DC模型覆盖范围。

该团队使用Embedded Coder从他们的模型生成了超过45000行源代码^®．他们使用他们已经为硬件驱动程序手写的代码集成了这个C代码，并且他们重​​复使用了模型覆盖率的测试用例，以测量100％MC / DC码覆盖范围。

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

该团队通过Simulink Real-Time™进行实时HIL模拟。金宝app在飞行控制和飞行动态子模型中包含超过11,000个块的HIL模型被重用，以为UAV创建一个操作员培训模拟器。

大韩航空工程师向认证机构提供了Simulink Check生成的MC/DC覆盖报告，以及Polyspace Code Prover生成的Simulink覆盖报告和测试报告。金宝app

大韩航空按照计划完成了开发工作，并获得了韩国政府的适航认证。