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 模型中生成控制规律代码,速度远比手工编码要快,因此团队得以把节省下来的时间投入到更广泛的计划目标。“

编码器峰会会谈

观看现场工程师和开发人员演示软件设计、嵌入式代码生成以及其他方面的新功能。

从 MATLAB 生成代码

从 MATLAB 生成 C、C++、CUDA 和 HDL 代码,只需三个迭代步骤。从任意位置运行和部署代码,台式机、移动设备或嵌入式系统均可。MATLAB Coder 可以随着设计的推进自动生成新代码,无需手工编码。这样可以加速并实现更多的设计迭代。

您可以将生成的代码作为源代码、静态库或动态库,集成到桌面或云端中脱离 MATLAB 环境运行的应用程序。您还可以将生成的代码打包成 MEX 函数并直接在 MATLAB 中使用。

使用 MATLAB 和 Simulink 生成嵌入式代码

嵌入式系统评估套件

从 Simulink 生成代码

使用 Embedded Coder,将您的模型转换为高质量源代码和可执行文件,从而实现原型设计和生产。既可使用默认 C 和 C++ 设置,也可使用 SIMD 指令、数据存储类及内存区段代码放置进行优化以实现更高性能。生成 ANSI/ISO C/C++、MISRA-C 或 AUTOSAR 源代码,插入运行时系统。或者,生成完整的交钥匙可执行文件,自动下载并在您的自定义硬件设备上运行。

使用双向可追踪链接,检查模型的生成代码,或使用代码、数据、函数接口和代码指标,生成报告。


定点

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

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

使用数据类型覆写,您的嵌入式定点或单精度设计可以即时切换到双精度,以分析量化的影响。而且有些工具可以轻松、快速地识别溢出源、精度损失以及浪费的范围或精度。

Fixed-Point Designer

Polyspace

验证设计和代码

编写、管理并跟踪需求到模型、生成的代码和测试用例。检查设计是否符合模型标准,例如 MAAB。开发和执行基于仿真的测试(包括软件在环、处理器在环和硬件在环的测试)。借助 Embedded Coder,您可使用任务和功能级别分析来分析生成的代码。

Polyspace 产品支持手工编写的代码和生成的代码。您可以证明软件中不存在运行时错误、强制执行编码规则,并使用 CWE、CERT-C 和 ISO/IEC 17961 等标准检查安全漏洞。


支持的标准

使用 Embedded Coder 生成符合流行软件和安全标准(如 AUTOSAR 和 MISRA C)的代码。MathWorks 提供认证和认证套件,以确保在开发系统和质量工具时符合以下标准的要求:ISO 26262、IEC 61508 、EN 50128、IEC 62304、DO-178、DO-254,以及针对汽车、医疗、铁路和航空航天嵌入式系统的其他行业标准。

标准验证

探索板

硬件支持

无论您的应用程序做何操作 - 信号处理、计算机视觉、图像处理或控制系统,都可以快速生成代码并为您的硬件编译代码。

在嵌入式平台(如 Raspberry Pi™ 或 Arduino®)上生成代码,并进行原型设计。在移动平台上,将生成的代码集成到自己的应用程序中,并在 iPhones、iPads 或 Android™ 设备上运行,包括访问视频摄像头、麦克风和加速计等机载传感器。将嵌入式系统部署到功能强大的微处理器。

此外,MathWorks 和 Connections 合作伙伴还为以下流行的硬件提供内置的交钥匙集成服务:


了解产品

通过浏览交互式示例和教程,从基本任务向更高级演练进阶。

如您需要帮助,请联系我们。

请联系我们进行定制评估,我们将根据您的需求提供报价。