嵌入式代码生成.航空航天系统的飞行代码生成.MATLAB和Simulink万博1manbetx

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

飞行代码生成自动将模型转换为高质量、有良好文档记录的代码，嵌入在线可更换单元（LRU）中，这使航空航天公司能够每行代码节省40%,达到六西格玛飞行软件质量，并有一个自动驾驶仪在第一次尝试时工作.

由嵌入式编码器生成的数百万行飞行代码^®在今天的lru中，MathWorks继续开发生产组织使用的技术:

软件体系结构与设计
航班代码生成
飞行代码验证，包括软件在环和处理器在环测试
做- 178认证

“我们使用Simulink中的系统设计模型为ARP4754建立稳定、客万博1manbetx观的需求。我们使用该模型作为do -178的软件设计模型的基础，从中生成飞行代码，并重用验证测试进行软件验证，从而节省了时间。”
罗纳德·布朗鲁，空中客车直升机公司

软件体系结构与设计

万博1manbetx^®和状态流^®非常适合发展航空电子设备、GN&C、推进、雷达和其他航空航天系统的设计。使用可执行的规范而不是静态图加速设计和早期启用验证和确认. 具有系统作曲家™和万博1manbetx模拟链路要求™，您可以创建体系结构模型并跟踪需求。

基于模型的系统工程（M万博1manbetxBSE）的MATLAB和Simulink

使用系统编写器为架构元素分配需求

从Simulink模型生成SIMD代码。万博1manbetx

飞行代码生成与集成

嵌入式编码器从MATLAB生成嵌入式代码^®文件或Simuli万博1manbetxnk模型。ANSI/ISO C或C++默认是为任何设备生成的。此外，可以使用灵活的API轻松优化特定MCU和DSP的代码。支持在模拟或代码生成过程中集成手写代码。使用万博1manbetxGPU编码器™为gpu生成代码。

嵌入式编码器简介(3:55)

泰勒斯双核代码生成

航班代码验证

万博1manbetx仿真软件代码检查员™通过执行结构等效分析和生成涉及模型及其生成代码的可跟踪性报告，帮助自动化安全标准的源代码审查。

软件在环(SIL)，处理器在环(PIL)，以及半实物仿真)测试通过自动化执行和代码结果与参考模型行为的比较，形成飞行代码验证的基石。使用时支持创建PIL测试环境万博1manbetx嵌入式编码器或直接连接到处理器板。您可以使用编写、执行、审阅和组织测试和测试套件万博1manbetx仿真软件测试™。您可以使用万博1manbetx仿真软件覆盖™测量测试的完整性。

验证高完整性系统的模型和代码