从原型设计到生产的过程中,基于MATLAB/Simulink平台,使用Stateflow来构建嵌入式控制算法模型,经过充分的仿真验证后,通过Embedded Coder自动生成高质量的嵌入式软件代码,主要的技术特点和优势:
● 生成优化的 C、C++ 代码
● 使用浮点和定点设计工具,在成本与性能之间做出权衡
● 使用在环测试,验证和分析生成的代码
● 符合各种标准的要求,例如 AUTOSAR、ISO 26262、DO-178、MISRA C 及 CERT C
● 使用硬件支持包附加组件,支持 从 Arduino 到 Zynq 的多种流行电路板上进行原型设计
技术亮点和描述:
1. 支持定点数据定制:使用一组丰富的数据类型和工具,从双精度快速转向开发 8 位、16 位和 32 位定点和单精度算法。使用数据类型覆写,嵌入式定点或单精度设计可以即时切换到双精度,以分析量化的影响。可以轻松、快速地识别溢出源、精度损失以及浪费的范围或精度。从 MATLAB 代码、Simulink 模型和 Stateflow 图表中,轻松生成位真 (bit-true) C 和 C++ 代码。
图注1: 浮点和定点的数据对比示意图。
2. 支持验证设计(模型)和代码:编写、管理并跟踪需求到模型、生成的代码和测试用例。检查设计是否符合模型标准,例如 MAAB。开发和执行基于仿真的测试(包括软件在环、处理器在环和硬件在环的测试)。借助 Embedded Coder,您可使用任务和功能级别分析来分析生成的代码。
3. 支持的标准:使用 Embedded Coder 生成符合流行软件和安全标准(如 AUTOSAR 和 MISRA C)的代码。MathWorks 提供认证和认证套件,以确保在开发系统和质量工具时符合以下标准的要求:ISO 26262、IEC 61508 、EN 50128、IEC 62304、DO-178、DO-254,以及针对汽车、医疗、铁路和航空航天嵌入式系统的其他行业标准。
图注2: 模型与代码验证【测试用例】
4. 硬件支持:无论您的应用程序做何操作 - 信号处理、计算机视觉、图像处理或控制系统,都可以快速生成代码并为您的硬件编译代码。在嵌入式平台(如 Raspberry Pi 或 Arduino)上生成代码,并进行原型设计。在移动平台上,将生成的代码集成到自己的应用程序中,并在 iPhones、iPads 或 Android 设备上运行,包括访问视频摄像头、麦克风和加速计等机载传感器。将嵌入式系统部署到功能强大的微处理器。
此外,MathWorks 和 Connections 合作伙伴还为以下流行的硬件提供内置的交钥匙集成服务,对于其他的嵌入式目标处理器提供定制化的咨询开发服务:
● Arduino 支持
● ARM 支持
● TI DSP支持
● Embedded Linux support
图注3:系统建模及仿真
图注4:从模型到代码的自动生成
图注5:模型与代码的双向追溯