嵌入式代码生成。航空航天系统飞行代码生成。MATLAB和Simulink

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

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

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

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

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

免费白皮书

基于模型的嵌入式控制系统设计

下载白皮书

软件体系结构与设计

动态仿真模块^®和Stateflow^®非常适合发展航空电子设备，GN&C，推进，雷达和其他航空航天系统的设计。使用可执行的规范而不是静态图加速设计并尽早启用验证和确认．与系统作曲家™而且要求工具箱™，您可以创建体系结构模型并跟踪到需求。

基于模型系统工程(MBSE)的MATLAB和Simulink

使用系统编写器将需求分配到体系结构元素

从Simulink模型生成SIMD代码。

航班代码生成与集成

嵌入式编码器从MATLAB中生成嵌入式代码^®文件或Simulink模型。ANSI/ISO C或c++为任何设备默认生成。此外，可以使用灵活的api为特定的mcu和dsp轻松优化代码。支持在模拟或代码生成期间集成手写代码。使用GPU编码器™为图形处理器生成代码。

嵌入式编码器简介(55分钟)

泰雷兹双核代码生成

航班代码验证

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

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

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