對應(yīng)于符合ISO26262的建模規(guī)范實踐，我們知道，僅Simulink而言，它是一個面向多域仿真并基于模型設(shè)計的模塊框圖環(huán)境，而設(shè)計者習慣風格以及配置的差異會導致模型的差別；尤其是團隊配合大的集成項目時建模規(guī)范一致性整體把握的重要性。

　　那么我們首先應(yīng)對建模規(guī)范做個大致的通俗化了解：即什么是建模規(guī)范，建模規(guī)范的目的又是什么，建模規(guī)范的既定準則由誰來制定，建模規(guī)范中具體的應(yīng)用場景又是什么？帶著這樣的問題，我們需要了解建模規(guī)范的實例，比如外觀和布局的規(guī)則；所謂的可靠語言子集是什么；如何使用樣式模板；依據(jù)規(guī)范中數(shù)據(jù)類型的有效定義；如何結(jié)合ISO26262中建模規(guī)范需要覆蓋的規(guī)則進行工程實施；然后基于這樣的原則如何去自己的建模規(guī)范。

　　建模規(guī)范的目的：

　　?避免使用上易出錯的建模方式
為了增強系統(tǒng)健壯性，從Simulink庫中定義驗證過得安全子集；
符合理解習慣(比如關(guān)系運算模塊，常數(shù)輸入放在第二個輸入口)；

　　?增加效率和安全性
保證模型配置的一致性；
提高仿真效率得配置；
保證代碼生成配置的一致性和優(yōu)化選項的一致性；
避免使用導致效率低下的建模模板；

　　?風格要求，OEM，提高供應(yīng)商模型交互的可讀性、規(guī)范性、復用性等
統(tǒng)一的風格和感官認識；

　　?ISO26262、IEC61508、DO178C等行業(yè)標準要求

　　建模規(guī)范：專經(jīng)驗的出處

　　?MAAB(Mathworks Automotive Advisory Board)
?Mathworks: Modelling Guidelines for High-Integrity Systems
?MISRA：MISRA_AC_SLSF
?企業(yè)專：長期的使用經(jīng)驗總結(jié)

　　建模規(guī)范典型應(yīng)用場景：

　　?基于模型的軟件開發(fā)，期望產(chǎn)品通過ISO26262認證
?注重產(chǎn)品質(zhì)量和形象的OEM和供應(yīng)商
?注重模型到代碼質(zhì)量的OEM和供應(yīng)商

　　ISO26262中涉及到對標準建模規(guī)范的要求：

　　無論是Simulink還是C語言，都屬于弱類型語言，當語言本身并不能體現(xiàn)出充分論證條件時，只能通過使用語言的規(guī)范來補充，也就是說我們需要使用一些語言規(guī)范來保證嚴格性。

　　在功能安全規(guī)范中，也明確說明了基于編碼規(guī)范和手寫代碼實現(xiàn)的差異性；比如ISO26262功能安全中軟件開發(fā)層面，對于建模和編碼規(guī)范的要求。

　　規(guī)范中的解釋，對應(yīng)下來都是需要我們在實際建模中執(zhí)行實現(xiàn)的。

　　上面ISO26262表格中的解釋在工程中可以總結(jié)為：

　　?模型可讀性好，如何保證模型的清晰可讀，以及風格上的一致性；
?模型在流程上的維護、變更、復用以及局部可裁剪；
?模型在仿真效率上的快速驗證，且便于分析；
?模型在除了單元端的測試和集成性；
?模型在生成代碼后，如何保證代碼的質(zhì)量，代碼生成的配置，以及安全；

　　針對以上要求，如何企業(yè)級的建模規(guī)范：

　　首先，根據(jù)企業(yè)目前開發(fā)部門的開發(fā)現(xiàn)狀，基于模型的開發(fā)的整體水平把控，針對不同的控制器（VCU\BMS\MCU）類型去選擇建模規(guī)范。然后，根據(jù)ISO26262中對于建模和編碼的風格，除了建模規(guī)范，也要對編碼規(guī)范響應(yīng)，比如MISRA C2012；同時根據(jù)已有的規(guī)范形成適合自己的規(guī)范模板，隨著企業(yè)開發(fā)經(jīng)驗的不斷豐富，知道在局部模型和算法處從布局外觀到語言子集的規(guī)劃，數(shù)據(jù)定義，以終形成的企業(yè)某控制器的建模規(guī)范設(shè)計文檔。

　　基于此，恒潤科技也提供了基于模型的開發(fā)，均由業(yè)內(nèi)具有多年工程開發(fā)經(jīng)驗的工程師為大講解，涉及基礎(chǔ)工具使用；建模規(guī)范；模型測試與驗證；代碼生成高級；以及符合ISO26262的軟件開發(fā)與測試咨詢服務(wù)經(jīng)驗。