海爾智家隸屬于海爾集團公司，專注于智慧家電生態(tài)產(chǎn)品的研發(fā)，水聯(lián)網(wǎng)產(chǎn)品是其主要業(yè)務(wù)之一。海爾智家的工程師一直以來使用傳統(tǒng)的嵌入式軟件開發(fā)流程來構(gòu)建他們的原有產(chǎn)品。這種傳統(tǒng)方法涉及復(fù)雜的編碼，有時多達 20,000 行。這會增加錯誤出現(xiàn)的概率。此外，它還會導(dǎo)致調(diào)試周期長、測試覆蓋率低和效率低下等問題，從而影響項目期限。

海爾工程師實施基于模型的設(shè)計，將先進的功能集成到他們的產(chǎn)品中。架構(gòu)和模塊被分開，以根據(jù)需求集開發(fā)單獨的模型。該團隊使用 Simulink 構(gòu)建基本模塊并標(biāo)準(zhǔn)化共享庫，為不同的產(chǎn)品線提供跨功能和協(xié)作開發(fā)。

基于模型的設(shè)計通過創(chuàng)建最終軟件的數(shù)字模型實現(xiàn)了算法設(shè)計，團隊通過 Stateflow 執(zhí)行邏輯建模來測試各種場景。Embedded Coder 被用于自動生成控制算法代碼，簡化了開發(fā)流程。Simulink 還允許開發(fā)電機控制系統(tǒng)的仿真平臺來驗證核心算法。工程師針對異常條件（例如短路、開路和系統(tǒng)故障）對軟件進行了不依賴于物理硬件的測試。最后，團隊使用 Simulink Test 進行了 V&V 自動化來提高測試覆蓋率。

“我們對整個系統(tǒng)進行了逐一測試。基于模型的設(shè)計和測試提高了效率。”——范紀青，海爾

海爾智家在 MATLAB EXPO 用戶大會上演講

關(guān)鍵成果

基于模型的設(shè)計工作流實現(xiàn)了功能解耦、組件可視化和一鍵自動代碼生成，將開發(fā)效率提高了 30%

預(yù)約加熱功能測試時間由 45 天縮短至 40 分鐘

高效的自動化測試提高了 100% 的測試覆蓋率，節(jié)省了 30% 的測試資源和開發(fā)成本

*本文采用了機器翻譯