航空航天系统飞行代码生成

飞行代码生成可将模型自动转换成质量可靠、文档齐全的航线可更换组件 (LRU) 嵌入式代码,使得航空公司将每行代码的成本减少 40%,达到 Six-Sigma 飞行软件质量标准让自动驾驶仪首次试飞便宣告成功

如今,Embedded Coder 已为 LRU 生成数百万行飞行代码,而 MathWorks 将继续开发相关技术,供生产企业用于:

  • 软件架构和设计
  • 飞行代码生成
  • 飞行代码验证,包括软件在环和处理器在环测试
  • DO-178 认证

“我们使用 Simulink 中面向 ARP 4754 的系统设计模型,以建立稳定、客观的需求。我们使用该模型作为面向 DO-178 的软件设计模型的基础,利用该模型生成飞行代码,然后重用确认测试进行软件验证,从而节省了时间。”

Ronald Blanrue,空中客车直升机有限公司

软件架构和设计

Simulink 和 Stateflow非常适合用于开发航电设备、GN&C、推进装置、雷达和其他航空航天系统设计。这些工具使用可执行规范而非静态图表,从而加快了设计,并且支持尽早进行验证和确认。使用 System Composer 和 Requirements Toolbox,您可以创建架构模型并追溯到需求。

此处需要 alt 文本

从 Simulink 模型生成 SIMD 代码。

飞行代码生成和集成

Embedded Coder 从 MATLAB® 文件或 Simulink 模型生成嵌入式代码。默认情况下,会生成适用于任何设备的 ANSI/ISO C 或 C++ 代码。另外,可使用灵活的 API 针对特定 MCU 和 DSP 轻松进行代码优化。支持在仿真或代码生成过程中集成手写代码。还可使用 GPU Coder 为 GPU 生成代码。

飞行代码验证

Simulink Code Inspector 支持基于安全标准自动审查源代码,即执行结构等效分析,并生成涉及模型及其所生成代码的可追溯性报告。

软件在环 (SIL)、处理器在环 (PIL) 以及硬件在环测试 (HIL) 将执行过程以及代码结果与参考模型行为的比较过程自动化,从而构成了飞行代码验证的基础。您可以使用 Embedded Coder 或直接连接到处理器板来创建 PIL 测试环境。您可以使用 Simulink Test 编写、执行、审查和组织测试与测试套件。您还可以使用 Simulink Coverage 计算所生成代码的结构覆盖率,衡量测试完整性。

DO-178B 认证

DO-178 是航空航天软件的主要安全标准。MathWorks 的 DO Qualification Kit 可支持 DO-178 合规。它使用包括 Simulink Code Inspector 在内的鉴定工具来验证模型和代码,实现可鉴定的代码生成工作流程。