隨著對系統的安全性、可靠性、實時性及可操作性等方面的要求越來越高，需要快速開發出安全可靠的嵌入式軟件，但傳統手工開發代碼的方法已很難滿足這些需求。恒潤科技提供基于模型的嵌入式軟件設計開發可以解決這些問題。
開發流程
基于模型的高可靠嵌入式軟件開發包括四個主要過程，并且對每個開發過程和過程產物都進行持續的測試和驗證。高可靠嵌入式軟件開發流程如圖所示：
•軟件需求設計過程
基于模型設計的方法，用戶可使用Simulink建模工具，對需求進行建模仿真，開發內容包括系統設計、系統測試架構、測試用例。
需求模型可通過SimulinkV&V工具與需求文檔進行鏈接，Simulink可自動生成模型和需求雙向追溯的報告。
測試用例也可通過BTC工具基于形式化需求自動生成，同時在模型測試完成后，BTC工具可自動生成測試覆蓋度報告，針對未被檢測到的模型或代碼分支，補充生成測試用例，使測試覆蓋度達到，同時可搭建自動化測試流程，使模型測試和診斷自動進行并生成測試報告。
•軟件設計過程
對設計模型進行模型規范檢查，保證模型符合軟件設計標準，同時也對模型的代碼生成屬性及對硬件的兼容性進行早期驗證;
經過驗證的設計模型，軟件架構與模型架構一致，可自動生成。
•軟件編碼過程
采用基于模型設計的方法，源碼和目標碼可通過SimulinkEmbeddedCoder自動生成，所生成代碼與模型具有良好的追溯關系。
對設計模型進行設計優化，以保證其生成符合項目要求的高質量嵌入式代碼，代碼生成之后，通過代碼檢查工具如Polyspace、Tessy等對代碼進行靜態檢查，同時，通過SimulinkCodeInspector或者軟件在環的方式，進行代碼與模型的一致性測試。
•軟件集成過程
該過程對源碼和目標碼進行編譯、鏈接，并加載到嵌入式系統中。代碼集成可將驅動代碼封裝成Simulink模塊，使用Simulink自動集成第三方編譯器直接生成可執行文件，加載到目標嵌入式硬件中。
流程優勢
采用基于模型設計的方法的優勢主要體現在：
♦在項目早期進行了需求驗證、測試用例開發和覆蓋度分析，避免在后續測試中發現前一階段的錯誤，導致流程重復進行;
♦在項目開發階段，地自動化了開發過程，包括：自動化規范檢查、自動化報告生成、自動化代碼生成、自動化測試等，極大地提高了開發效率;
♦需求、模型、測試用例、源代碼具有完整的追溯關系，可生成追溯報告。
服務內容
針對基于模型設計的方法進行軟件開發，恒潤科技可提供如下技術服務：
♦MBD流程：針對客戶現有開發流程，化適合客戶實際情況的MBD過程、方法及工具;
♦MBD自動化流程開發：自動化規范檢查、自動化測試流程、代碼測試工具集成、報告生成模板、代碼生成模板等，通過自動化流程，地減少設計人員的額外工作量;
♦MBD相關：圖形化建模、模型自動生成代碼、模型測試和驗證;
♦硬件支持包和第三方編譯環境集成：根據實際的硬件設備，開發硬件支持包，使生成代碼時直接生成含驅動程序的全部代碼;打通第三方編譯環境的集成，代碼生成后自動調用第三方編譯環境對代碼進行編譯鏈接，生成可執行目標碼，并加載到硬件。
