航空航天系统的飞行代码生成
飞行代码生成自动将模型转换成高质量的、有良好文档记录的代码，并嵌入到可替换单元(LRUs)中，这使航空航天公司能够每行代码节省40%,达到六西格玛飞行软件质量，并有一个自动驾驶仪在第一次尝试时工作．
由嵌入式编码器生成的数百万行飞行代码®在今天的lru中，MathWorks继续开发生产组织使用的技术:
- 软件架构与设计
- 航班代码生成
- 飞行代码验证，包括循环软件和循环循环测试
- 做- 178认证
“我们使用Simulink中的系统设计模型为ARP4754建立稳定、客万博1manbetx观的需求。我们使用该模型作为do -178的软件设计模型的基础，从中生成飞行代码，并重用验证测试进行软件验证，从而节省了时间。”
罗纳德·布朗鲁，空中客车直升机公司
软件架构与设计
万博1manbetx®和州流®非常适合发展航空电子设备、GN&C、推进、雷达和其他航空航天系统的设计。使用可执行的规范而不是静态图加速设计和早期启用验证和确认．和系统作曲家™和万博1manbetx仿真软件需求™，您可以创建体系结构模型并跟踪需求。
从Simulink模型生成SIMD代码。万博1manbetx
飞行代码生成与集成
航班代码验证
万博1manbetx仿真软件代码检查员™通过执行结构等效分析和生成涉及模型及其生成代码的可跟踪性报告，帮助自动化安全标准的源代码审查。
软件在环(SIL)，处理器在环(PIL)，以及半实物仿真)测试通过自动化执行和代码结果与参考模型行为的比较，形成飞行代码验证的基石。使用时支持创建PIL测试环境万博1manbetx嵌入式编码器或直接连接到您的处理器板。您可以使用，执行，执行，审阅和组织测试和测试套件万博1manbetx仿真软件测试™．您可以使用以下方法计算生成代码的结构覆盖率万博1manbetx仿真软件覆盖™测量测试的完整性。
- 178 b认证吗
DO-178是主要航空航天软件安全标准。MathWorks支万博1manbetx持DO-178做资格套件．它通过使用限定工具来验证模型和代码，包括Simulink代码检查器，从而实现可限定的代码生成工作流。万博1manbetx
关于内嵌代码生成的更多信息
探索产品s manbetx 845
让我们知道我们可以如何帮助你。
联系我们进行定制评估，并根据您的需求获得定价。
