從原型設(shè)計到生產(chǎn)的過程中，基于MATLAB/Simulink平臺，使用Stateflow來構(gòu)建嵌入式控制算法模型，經(jīng)過充分的仿真驗證后，通過Embedded Coder自動生成高質(zhì)量的嵌入式軟件代碼，主要的技術(shù)特點和優(yōu)勢：
● 生成優(yōu)化的 C、C++ 代碼
● 使用浮點和定點設(shè)計工具，在成本與性能之間做出權(quán)衡
● 使用在環(huán)測試，驗證和分析生成的代碼
● 符合各種標準的要求，例如 AUTOSAR、ISO 26262、DO-178、MISRA C 及 CERT C
● 使用硬件支持包附加組件，支持 從 Arduino 到 Zynq 的多種流行電路板上進行原型設(shè)計
技術(shù)亮點和描述：
1. 支持定點數(shù)據(jù)定制：使用一組豐富的數(shù)據(jù)類型和工具，從雙精度快速轉(zhuǎn)向開發(fā) 8 位、16 位和 32 位定點和單精度算法。使用數(shù)據(jù)類型覆寫，嵌入式定點或單精度設(shè)計可以即時切換到雙精度，以分析量化的影響?？梢暂p松、快速地識別溢出源、精度損失以及浪費的范圍或精度。從 MATLAB 代碼、Simulink 模型和 Stateflow 圖表中，輕松生成位真 (bit-true) C 和 C++ 代碼。
圖注1： 浮點和定點的數(shù)據(jù)對比示意圖。
2. 支持驗證設(shè)計（模型）和代碼：編寫、管理并跟蹤需求到模型、生成的代碼和測試用例。檢查設(shè)計是否符合模型標準，例如 MAAB。開發(fā)和執(zhí)行基于仿真的測試（包括軟件在環(huán)、處理器在環(huán)和硬件在環(huán)的測試）。借助 Embedded Coder，您可使用任務(wù)和功能級別分析來分析生成的代碼。
3. 支持的標準：使用 Embedded Coder 生成符合流行軟件和安全標準（如 AUTOSAR 和 MISRA C）的代碼。MathWorks 提供認證和認證套件，以確保在開發(fā)系統(tǒng)和質(zhì)量工具時符合以下標準的要求：ISO 26262、IEC 61508 、EN 50128、IEC 62304、DO-178、DO-254，以及針對汽車、醫(yī)療、鐵路和航空航天嵌入式系統(tǒng)的其他行業(yè)標準。
圖注2： 模型與代碼驗證【測試用例】
4. 硬件支持：無論您的應(yīng)用程序做何操作 - 信號處理、計算機視覺、圖像處理或控制系統(tǒng)，都可以快速生成代碼并為您的硬件編譯代碼。在嵌入式平臺（如 Raspberry Pi 或 Arduino）上生成代碼，并進行原型設(shè)計。在移動平臺上，將生成的代碼集成到自己的應(yīng)用程序中，并在 iPhones、iPads 或 Android 設(shè)備上運行，包括訪問視頻攝像頭、麥克風和加速計等機載傳感器。將嵌入式系統(tǒng)部署到功能強大的微處理器。
此外，MathWorks 和 Connections 合作伙伴還為以下流行的硬件提供內(nèi)置的交鑰匙集成服務(wù)，對于其他的嵌入式目標處理器提供定制化的咨詢開發(fā)服務(wù)：
● Arduino 支持
● ARM 支持
● TI DSP支持
● Embedded Linux support
圖注3：系統(tǒng)建模及仿真
圖注4：從模型到代碼的自動生成
圖注5：模型與代碼的雙向追溯
