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

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

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

“我們對(duì)整個(gè)系統(tǒng)進(jìn)行了逐一測(cè)試?；谀Ｐ偷脑O(shè)計(jì)和測(cè)試提高了效率?！薄都o(jì)青，海爾

海爾智家在 MATLAB EXPO 用戶大會(huì)上演講

關(guān)鍵成果

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

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

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

*本文采用了機(jī)器翻譯