韩国航空使用基于模型的设计开发了新的UAV飞行控制软件。
在早期的发展阶段,工程师开发了一种模拟链接金宝app®建模以细化和验证高层次的需求。
工程师使用Aerospace Blockset™开发了无人机的动态模型,包括用于模拟自动起飞和降落的起落架动力学。后来,他们使用系统识别工具箱™估计模型参数的飞行动力学和性能验证。
该团队使用鲁棒控制工具箱和控制系统工具箱设计飞行控制律来计算最优控制增益。
在Simulink和StateFlow中建模了飞行管理和控制系统,包括自动登陆引导子系统金宝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模拟。金宝appHIL模型包含飞行控制和飞行动力学子模型中的11000多个模块,用于创建无人机操作员训练模拟器。
韩国航空工程师提供了使用Simulink检查和Simulink Coderage和ModySpace代码先文本生成的MC / DC覆盖报告的认证机构。金宝app
韩国航空完成了计划开发,无人机已从韩国政府获得适航认证。