從原型設計到生產的過程中,基于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:模型與代碼的雙向追溯