到目前為止，本系列已經討論了跨工作流程的測試重用、XIL 測試臺中可擴展保真度的價值，以及與電氣開發相關的關鍵驗證和確認 （V&V） 任務的生成式模型驅動開發 （MDD） 工作流程解決方案/車輛中的電子 （E/E） 系統。有趣的是，這些挑戰的解決方案提出了另一組全新的挑戰，而這些挑戰又需要額外的解決方案。

這里討論的每個 V&V 解決方案的核心是C++ 建模概念，它將抽象級別提升到 E/E 系統領域，從而允許工具從設計輸入庫中產生最佳產品實現。然而，提高抽象級別意味著工具產生的實現的專家設計對車輛功能開發人員來說或多或少是陌生的。這提出了 V&V 挑戰，因為驗證工具非常擅長在技術實施層面提取信息和支持激勵——但不適用于 E/E 系統設計的層面，也不是驗證工程師理解系統的層面。這類似于現代 C++ 編譯器如何生成非常安全、高性能的代碼，

幸運的是，出于同樣的原因，自動生成 MDD 工作流是可能的，支持設計級別調試和分析的 MDD 驗證環境也是可能的。解決方案在于設計輸入模型符合并由其描述的元模型。生成工具使用形式化的設計模型描述，以及包含在其元模型中的形式化語義的知識，以便將設計模型轉換為映射的實現模型。這種映射是對稱的，因為它還可以用于將實現模型中的信息（及其執行跟蹤中的信息）交叉關聯回設計模型中的相應信息。

這種引用用于創建“設計感知”的 V&V 工具。設計意識的概念是通用的，可以通過設計應用于不同的領域概念，例如架構、測試和/或語言；它也可以或多或少地應用在實現的配置中，例如在 MDDRTOS（內核）、平臺服務甚至軟件接口中。

例如，“AUTOSAR 感知”V&V 工具允許開發人員在描述 ECU 內的嵌入式軟件內容的 AUTOSAR 架構模型的上下文中調試和分析 E/E 系統。對于調試，驗證工程師可以在軟件組件或端口接口等 AUTOSAR 元素上設置“斷點”，然后當這些元素的上下文中發生活動時系統將停止，從而允許驗證工程師檢查端口內的數據和組件的內部結構。 為了進行分析，AUTOSAR 感知代理可以在 AUTOSAR 模型和基本軟件 （BSW） 配置元素（如任務和網絡信號）的上下文中呈現在數字孿生執行期間收集的系統跟蹤。

總之，在汽車市場快速發展趨勢的推動下，可擴展保真度、測試重用、生成工作流和設計感知 V&V 工具解決方案相結合，可幫助驗證工程師有效地驗證和驗證車輛 E/E 系統。有效 V&V 的主要商業價值是：

問題可以在汽車設計開發過程的早期發現，此時修復成本最低

增加 V&V 覆蓋范圍可提高安全性、增強安全性，并在將問題部署到現場之前發現問題

測試包括混合保真度測試臺，以支持多 ECU 系統所需的大量 V&V 循環

在整個開發過程中重復使用測試用例

OEM 和供應商有效地交換測試用例和測試臺

培訓成本降低

驗證工程師可以在最好的測試自動化軟件和最好的測試臺之間切換

工具中捕獲的實施領域專業知識提高了質量并減少了未來的問題

可以消除手動或其他重復性工作以加快上市時間

驗證和設計工程師可以在其設計的領域級別生成產品實現

審核編輯：郭婷