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

飞行代码生成自动转换模式为高品质，嵌入线路可更换单元（LRU）充分证明代码，里面有航空航天公司启用节省40％的每行代码，实现六西格玛飞行软件质量，并有一个在第一次尝试自动驾驶仪工作。

数以百万计的今天使用MathWorks产品在汽车悬挂自动生成的飞行代码行，MathWorks公司继续开发创新技术，支持航空需求系统工程和软件设计，飞行代码生s manbetx 845成和集成，代码验证和万博1manbetxDO-178认证。

软件架构和设计

万博1manbetxSimulink和状态流非常适用于开发的航空电子设备，GN＆C，推进，雷达，以及其他航空航天系统设计。使用可执行规范而不是静态图可以加速设计，清楚地表达算法的预期行为，并在早期启用验证和确认。支持的关键设计特性包括使用模型块进行组件万博1manbetx开发和在MATLAB中使用生成的飞行代码进行算法设计MATLAB编码器。

飞行代码生成和集成

嵌入式编码^®从设计模型生成嵌入代码。该代码可用于系统仿真集成或飞行代码部署。对于系统模拟集成，您生成代码来将算法导出到用于模拟飞行系统的环境中，从而减少了手工编码或返工的需要。类似地，使用遗留代码工具可以轻松地将手写代码导入Simulink，从而保留代码投资，并支持增量地采用代码生万博1manbetx成技术。对于飞行代码的生成，ANSI/ISO C和c++是默认生成的平台。此外，代码可以使用任何MCU或DSP灵活的API进行优化。

飞行代码验证

万博1manbetxSimulink的代码检查通过执行结构等价的分析和产生涉及模型及其生成的代码追踪报告有助于为安全标准自动化源代码评审。

软件在环（SIL），处理器在环（PIL），和硬件在环（HIL）测试形成飞行代码验证的通过自动执行和代码结果与参考模型的行为的比较的基础。创建PIL测试环境中使用支持万博1manbetx嵌入式编码或直接连接到你的处理器板。你可以创作，执行，审查和通过组织测试和测试套件万博1manbetxSimulink的测试™。您可以使用以下命令计算生成代码的结构覆盖率万博1manbetxSimulink的覆盖™度量测试的完整性。

万博1manbetx仿真软件实时™使HIL生成任何PC上进行测试，并从Simulink的工厂模型执行实时代码。万博1manbetx模型和代码之间的双向链接，您可以跟踪每一行代码的每一个结构模型中，或者用万博1manbetxSimulink的要求™，每一个高层次的文本要求。最后，Polyspace代码验证器让您检查产生的或可能的运行时错误手写代码和MISRA - c - 2004遵守守则。

- 178 b认证吗

DO-178B是主要的航空软件安全标准。对于DO-178B 万博1manbetxMathWorks公司的支持是可用DO资格套件。它提供了验证工具的资格:模型和代码覆盖工具万博1manbetxSimulink的覆盖范围在和DO-178模型检查万博1manbetxSimulink的检查，Polyspace代码验证器包括其MISRA C：2004代码分析仪;而导致比较检查万博1manbetxSimulink的测试™。随着自动化的和合格的验证工具，航空工程师可以建立一个按钮，高度自动化的验证方法，以证明他们的嵌入式软件来DO-178B。