建模規(guī)范：建立優(yōu)質模型的關鍵

在知識分享欄目中，我們會定期與讀者分享來自MES模賽思的基于模型的軟件開發(fā)相關Know-How干貨，關注公眾號，隨時掌握基于模型的軟件設計的技術知識。

前言

建模規(guī)范為開發(fā)高質量且符合標準的軟件鋪平道路。

使用Simulink建模是實現和可視化功能的好方法，同時還能從中生成代碼。模型質量對生成代碼的質量有重大影響。從模型層面來說，面臨的挑戰(zhàn)是如何處理大量可能的建模元素，它們的擴展配置，以及交互。這給軟件工作帶來了困難，尤其是在團隊內部協(xié)作中。

但我們如何確定和評估什么是好的模型？

在基于模型的語言中，適用既定的軟件開發(fā)原則，例如

· 簡潔性,

· 可讀性，

· 健壯性，

· 可維護性，

· 避免易出錯的樣式。

值得慶幸的是，過去幾十年來，專家們一直在思考如何實現這些目標。這些專家的知識已被納入大量建模規(guī)范中，這些建模規(guī)范是靜態(tài)測試的重要組成部分。在它們的幫助下，我們可以在開發(fā)過程的早期階段就了解到如何改進軟件。建模規(guī)范簡化了模型的設計、維護和審查。這些建模規(guī)范由不同機構發(fā)布，例如MAB、MISRA SLSF、dSPACE或來自Model Engineering Solutions (MES模賽思)的建模規(guī)范。Simulink已經有許多成熟且有用的指導規(guī)范，可通過MES Model Examiner? (MXAM)進行自動檢查。MXAM的自動修復功能還能幫助您安全高效地修復發(fā)現的問題。

建模規(guī)范為建立更優(yōu)質的模型鋪平道路

一方面來說，規(guī)范可作為知識來源，說明好的建模應當是什么樣的，以及為什么不應該使用某些結構或功能。一套選定的建模規(guī)范可概述團隊確定的理想建模標準，從而使開發(fā)人員能夠專注于功能。另一方面，規(guī)范可用于檢查預定義的建模標準是否達到。為了免去手動檢查的麻煩，MES Model Examiner?等工具可提供支持，使建模過程更加順暢。

建模規(guī)范包括哪些主題？

這里特別值得一提的方面是：布局和設計、架構、模型配置和功能安全。舉例來說，模型度量可用于避免高復雜性。從一開始就對模型復雜性進行監(jiān)控，可確保開發(fā)出易于理解且結構合理的模型，無論其功能的廣泛性。

圖 1：控制局部復雜性，實現結構合理的模型

其他建模規(guī)范涉及數據類型的特定最佳實踐。例如，邏輯表達式應使用布爾變量，計算應使用數值數據類型（參見na_0002，MAB）。參見圖2。

圖 2：區(qū)分邏輯表達式和數值表達式

減少代碼的建模尤其有用。在下面的示例中（圖3），條件的表達是冗余的，可以被有效簡化。這可以通過MES建模規(guī)范mes_slsf_1302進行檢查。

圖3：避免條件中的冗余

總而言之，建模規(guī)范有助于開發(fā)團隊設計出安全且可維護的軟件。因此，建模規(guī)范合規(guī)是基于模型的軟件開發(fā)過程中不可或缺的一部分，MXAM能夠幫助您成功、簡單地實現這一目標。