用于嵌入式系统的MATLAB、Simulink和Polyspace

设计、编码和验证嵌入式系统

请求报价

联系销售人员

只需按一下按钮，您就可以使用MATLAB和Simulink生成代码并在硬件上运行它。然而，编码只是一项任务——学习如何使用MATLAB、Simulink和Polyspace来设计、编码和验证下一个嵌入式系统（从原型制作到生产）。你可以：

生成优化的C、 C++、CUDA、Verilog、VHDL、，和结构化文本
使用浮动-以及定点要制作的设计工具成本与性能的权衡
使用验证和分析生成的代码在线测试
符合标准例如AUTOSAR、ISO 26262、DO-178、MISRA C和CERT C
流行板上的原型来自Arduino^®到Zynq^®使用硬件支持包插件

“通过基于模型的设计，我们进行了成功的首次飞行；从控制或集成的角度来看，没有任何问题。使用嵌入式编码器从Simulink模型生成控制律代码，消除了手动代码生成造成的速度减慢，并使团队能够自由工作，以实现更广泛的项目目标。”
Mike Bothwell，贝尔直升机

支持包

嵌入式编码器的组件部署指南

了解更多信息

从MATLAB生成代码

只需三个迭代步骤，即可为MATLAB生成C、C++、CUDA和HDL代码。在任何地方运行和部署代码，从桌面到移动设备再到嵌入式系统。随着设计的发展，MATLAB Coder可以自动生成新代码，因此您不必手动编码。这将加快并支持更多的设计迭代。

您可以将生成的代码作为源代码、静态库或动态库集成到桌面或云上运行在MATLAB之外的应用程序中。您还可以将生成的代码打包为MEX功能并直接在MATLAB中使用。

了解更多信息

探索产品

从Simulink生成代码

使用嵌入式编码器将模型转换为高质量的源代码和可执行文件，用于原型制作和生产。使用默认的C和C++设置，或使用SIMD指令、数据存储类和内存段代码放置来优化更高的性能。生成插入运行时系统的ANSI/ISO C/C++、MISRA-C或AUTOSAR源代码。或者您可以生成一个完整的交钥匙可执行文件，自动下载并在您的自定义硬件设备上运行。

使用双向跟踪链接检查模型的生成代码，或生成包含代码、数据、功能接口和代码度量的报告。

了解更多信息

在Simulink中生成用于深度学习网络的通用C/C++代码(5:10)

探索产品

固定点

使用一组丰富的数据类型和工具从双精度快速过渡到开发8、16和32位定点和单精度算法。Fixed-Point Designer提供了数学、位、数组和矩阵运算等函数，可以优化固定和浮点计算的设计。

轻松生成位真C和C++以及可合成的Verilog^®和VHDL^®MATLAB代码、Simulink模型和Stateflow图表中的代码。

使用数据类型覆盖，您的嵌入式定点或单精度设计可以立即切换到双精度，以分析量化的影响。此外，还有一些工具可以轻松地快速识别溢出、精度损失和浪费范围或精度的来源。

了解更多信息

探索产品

定点设计器

验证设计和代码

编写、管理和跟踪需求模型、生成的代码和测试用例检查设计是否符合模型标准，如MAB。开发和执行基于仿真的测试（包括软件在机、处理器在机和硬件在机的测试）。Embedded Coder允许您使用任务和函数级评测来评测生成的代码。

Polyspace产品支持手工代码和生成代码。它们允许您证明没有运行时错误，强制执行编码规则，并使用CWE、CERT-C和ISO/IEC 17961等标准检查安全漏洞。

了解更多信息

如何使用Simulink Design Verifier自动检测Simullink模型中的设计错误(3:31)

探索产品

支持标准

使用嵌入式编码器生成符合AUTOSAR和MISRA C等流行软件和安全标准的代码。MathWorks提供认证和鉴定工具包，用于根据ISO 26262、IEC 61508、EN 50128、IEC 62304、DO-178开发系统和质量工具，DO-254编号以及汽车、医疗、铁路和航空航天嵌入式系统的其他行业标准。