在車載電子電氣系統深度影響行車安全的當下，電控系統電子化控制程度持續提升，汽車軟件開發生命周期縮短?；谀Ｐ驮O計（MBD）開發控制器應用層軟件成為主流，尤其在新能源與智能駕駛領域優勢顯著。但該模式下，模型、生成代碼及最終軟件的質量保障成為行業關注重點。企業亟需通過模型靜態測試，統一建模風格、優化架構、規避缺陷，構建符合功能安全及ASPICE要求的質量體系?；诖?，模型靜態測試在保障模型質量及提升測試效率環節關鍵效用凸顯。
-
實現模型規范自動化檢測，提升人力與硬件資源利用效率
-
助力企業建立專屬建模規范，應對功能安全開發、ASPICE流程改進及質量提升
-
搭建完善的供應商軟件質量管理體系，確保模型代碼可靠性
-
便于可持續集成，固化測試流程、加速迭代，實現數據可追溯與關聯
Model Inspector模型靜態測試工具
Model Inspector是一款專門針對汽車、航空、軌交等行業的靜態模型檢查工具，可以對模型進行自動化、批量化建模規范和復雜度量的檢查，提升用戶模型質量。其內置符合ISO26262、IEC61508、DO178C、 IEC 62304、IEC62279、DO-330、IEC60080、EN50128等行業標準的映射規則集，且支持自定義構建規則集，可以根據所選規范、項目需求、使用頻率等形成項目匹配的規范庫，統一的建模風格、模型配置可以保證模型的復雜程度合適、架構設計合理，提高模型整體的可讀性和可復用性。
建模規范支持列項
Model Inspector主要技術指標和性能
1. 測試流程簡潔清晰，可按需進行單/多模型，或各檢測項自由組合式配置。
模型靜態測試流程
2. 支持多種行業模型規則集的檢查，如DO-178，DSPACE、HIS、IEC 61508、IEC 62304、ISO 26262、MAB/MAAB、MISRA_AC_TL等。
行業規則集覆蓋情況
上圖中各類規范介紹
-
MAB: MAB規范是由獨立的行業工作組（多個行業的主要OEM和供應商組成）針對 MATLAB、Simulink、Stateflow和 Embedded Coder的使用制定的一套建模規范
-
MISRA_AC_SLSF: Simulink和Stateflow應用的建模設計和風格指南，由汽車工業軟件可靠性協會（MISRA）推出
-
MISRA_AC_TL: 在自動代碼生成環境中TargetLink應用的建模風格指南
-
DSPACE：MATLAB/Simulink/Stateflow和TargetLink建模指南
-
HIS:高完整性系統建模指南
-
CG：代碼生成的建議指南
3. 支持一鍵式自動檢查規則。Model Inspector選定模型和規范后可以檢查一鍵式自動檢查規則，檢查性能更快，還支持在每個項目的基礎上管理模型、規則和檢查結果。
一鍵式自動檢查
4. 支持模型的自動修復，一鍵輕松快速校正。Model Inspector支持一鍵自動校正模型，根據違規修正建議進行修改，可自動修改模塊和模型屬性，包含配置項、背景、模塊名字、顯示和形狀等。
一鍵式自動修正模型
5. 支持21種模型質量度量指標。Model Inspector支持21種模型度量指標，包含復雜度、內聚度、耦合度等，支持多層級模型的檢查，可以自定義篩選模型或模塊進行檢測。從MATLAB代碼行數、復雜度，到Simulink模塊、子系統、庫，再到Stateflow各類轉移，以及數據結構層級分析、復雜度分析等，針對整個模型/單個子系統分別統計，支持用戶定義檢查閾值。
模型度量指標
6. 顯示檢測后的Dashboard記錄規則檢查和度量分析結果，并與MATLAB進行聯動。
Dashboard平臺管理
7. 提供歷史標簽，方便開發和測試人員對模型進行改進。測試人員與開發人員聯合進行測試標記，共同推動模型質量改進?？刹榭催`規趨勢、差別檢查規則和特定違規度量信息。
協同開發測試
8. 生成多種類別測試報告，并可直接追溯模型問題。支持多種類別報告形式的生成，如PDF、DOC、XLSX、HTML格式等，并且報告可以進行模型的追溯，便于從報告問題直接定位到模型來進行修正。
9. 支持模型規則集和模型質量度量的定制開發。
定制化規范
10. 獲得多行業功能安全認證證書。同時，便捷支持CICD集成，如：Jenkins、Devops等。
經緯恒潤在嵌入式MBD測試領域擁有超過10年以上的咨詢和實戰經驗，具有豐富的項目經驗和深厚的技術功底，能夠針對客戶的特定需求提供定制化的模型測試咨詢服務。
-
定制產品級規范檢查流程
-
深度培訓、指導/定制開發
-
定制產品級建模指南
-
定制產品級模型庫、建模模板、配置模板
-
模型靜態測試服務
-
模型動態測試服務