嵌入式代码生成-航空航天系统的飞行代码生成- MATLAB和Simulink金宝app

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

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

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

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

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

软件架构与设计

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

基于模型系统工程(MB金宝appSE)的MATLAB和Simulink

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

从Simulink模型生成SIMD代码。金宝app

飞行代码生成与集成

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

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

泰利斯双核代码生成

飞行代码验证

金宝appSimulink Code Inspector™通过执行结构等价性分析和生成涉及模型及其生成的代码的可跟踪性报告，帮助自动化安全标准的源代码审查。

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

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