matlab、simulink 和 polyspace 在嵌入式系统中的应用 -凯发k8网页登录

 

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, bell helicopter

support package

编码器峰会会谈

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

从 matlab 生成代码

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

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


从 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® 代码。

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


验证设计和代码

编写、管理并跟踪需求到模型、生成的代码和测试用例。检查设计是否符合模型标准,例如 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 凯发k8网页登录的合作伙伴还为以下流行的硬件提供内置的交钥匙集成服务:


了解产品

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

如您需要帮助,请联系凯发k8网页登录。

请联系凯发k8网页登录进行定制评估,我们将根据您的需求提供报价。

网站地图