航空航天系统的飞行代码

飞行代码生成自动将模型转换为嵌入线可更换单位（LRU）的高质量，记录的代码，该单元已启用航空航天公司到每行代码节省40％， 达到六西格玛飞行软件质量，并有一个自动驾驶仪在第一次尝试时工作。

使用数百万线路飞行代码，使用Mathworks产品在今天的车辆中飞行，MathWorks继续开发支持系统工程和软件设计，飞行代码生成和集成，代码验证以及代码下载188bet金宝搏验证的创新技术，以及金宝appDO-178认证。

软件架构和设计

金宝appSimulink和StateFlow非常适合开发航空电子设备，GN＆C，推进，雷达等航空航天系统设计。使用可执行规范而不是静态图表可以加快设计速度，清楚地表达算法的预期行为，并支持早期开发验证和确认. 支持的关键设计功能包括使用模型块进行组件金宝app开发，以及在MATLAB中使用Matlab编码器。

飞行代码生成和集成

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

飞行代码验证

金宝appSimulink代码检查员通过执行结构等价分析和生成涉及模型及其生成的代码的可追溯性报告来帮助自动执行安全标准的源代码审查。

软件循环（SIL），处理器 - 循环（PIL），以及硬件循环（HIL）测试通过自动执行执行和使用参考模型行为的代码结果的比较来形成飞行代码验证的基石。使用创建PIL测试环境金宝app嵌入式编码器或直接连接到您的处理器板。您可以使用，执行，执行，审阅和组织测试和测试套件金宝appSimulink Test™. 您可以使用金宝appSimulink Coverage™测量测试的完整性。

金宝appSimulink实时™通过从Simulink工厂模型生成和执行实时代码，在任何PC上启用HIL测试。金宝app模型和代码之间的双向链接允许您将每行代码跟踪到模型中的每个构造，或者金宝appSimulink要求™，每个高级文本要求。最后，PolySpace代码验证者允许您检查生成或手写代码以进行可能的运行时错误MISRA C-2004代码合规性。

DO-178B认证

DO-178B是主要航空航天软件安全标准。Mathworks支金宝app持DO-178B可用做资格套件. 它为以下内容提供验证工具鉴定：中的模型和代码覆盖率工具金宝appSimulink覆盖范围，DO-178模型检查金宝appSimulink检查那PolySpace代码验证者包括它的Misra C：2004代码分析仪;和结果比较登记金宝appSimulink Test™。通过自动化和合格的验证工具，航空航天工程师可以建立一个按钮，高度自动化的验证方法，以证明其嵌入式软件到DO-178B。