飞行代码生成可将模型自动转换成质量可靠、文档齐全的航线可更换组件 (LRU) 嵌入式代码，使得航空公司将每行代码的成本减少 40%，达到 Six-Sigma 飞行软件质量标准，让自动驾驶仪首次试飞便宣告成功。
如今，Embedded Coder 已为 LRU 生成数百万行飞行代码，而 MathWorks 将继续开发相关技术，供生产企业用于：
- 软件架构和设计
- 飞行代码生成
- 飞行代码验证，包括软件在环和处理器在环测试
- DO-178 认证
“我们使用 Simulink 中面向 ARP 4754 的系统设计模型，以建立稳定、客观的需求。我们使用该模型作为面向 DO-178 的软件设计模型的基础，利用该模型生成飞行代码，然后重用确认测试进行软件验证，从而节省了时间。”
软件架构和设计
Simulink 和 Stateflow非常适合用于开发航电设备、GN&C、推进装置、雷达和其他航空航天系统设计。这些工具使用可执行规范而非静态图表，从而加快了设计，并且支持尽早进行验证和确认。使用 System Composer 和 Requirements Toolbox，您可以创建架构模型并追溯到需求。
从 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 在内的鉴定工具来验证模型和代码，实现可鉴定的代码生成工作流程。
我们可以为您提供帮助。
联系我们开展定制化评估，基于具体需求获取相应定价。
