到目前為止，本系列已經(jīng)討論了跨工作流程的測(cè)試重用、XIL 測(cè)試臺(tái)中可擴(kuò)展保真度的價(jià)值，以及與電氣開發(fā)相關(guān)的關(guān)鍵驗(yàn)證和確認(rèn) （V&V） 任務(wù)的生成式模型驅(qū)動(dòng)開發(fā) （MDD） 工作流程解決方案/車輛中的電子 （E/E） 系統(tǒng)。有趣的是，這些挑戰(zhàn)的解決方案提出了另一組全新的挑戰(zhàn)，而這些挑戰(zhàn)又需要額外的解決方案。

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

幸運(yùn)的是，出于同樣的原因，自動(dòng)生成 MDD 工作流是可能的，支持設(shè)計(jì)級(jí)別調(diào)試和分析的 MDD 驗(yàn)證環(huán)境也是可能的。解決方案在于設(shè)計(jì)輸入模型符合并由其描述的元模型。生成工具使用形式化的設(shè)計(jì)模型描述，以及包含在其元模型中的形式化語義的知識(shí)，以便將設(shè)計(jì)模型轉(zhuǎn)換為映射的實(shí)現(xiàn)模型。這種映射是對(duì)稱的，因?yàn)樗€可以用于將實(shí)現(xiàn)模型中的信息（及其執(zhí)行跟蹤中的信息）交叉關(guān)聯(lián)回設(shè)計(jì)模型中的相應(yīng)信息。

這種引用用于創(chuàng)建“設(shè)計(jì)感知”的 V&V 工具。設(shè)計(jì)意識(shí)的概念是通用的，可以通過設(shè)計(jì)應(yīng)用于不同的領(lǐng)域概念，例如架構(gòu)、測(cè)試和/或語言；它也可以或多或少地應(yīng)用在實(shí)現(xiàn)的配置中，例如在 MDDRTOS（內(nèi)核）、平臺(tái)服務(wù)甚至軟件接口中。

例如，“AUTOSAR 感知”V&V 工具允許開發(fā)人員在描述 ECU 內(nèi)的嵌入式軟件內(nèi)容的 AUTOSAR 架構(gòu)模型的上下文中調(diào)試和分析 E/E 系統(tǒng)。對(duì)于調(diào)試，驗(yàn)證工程師可以在軟件組件或端口接口等 AUTOSAR 元素上設(shè)置“斷點(diǎn)”，然后當(dāng)這些元素的上下文中發(fā)生活動(dòng)時(shí)系統(tǒng)將停止，從而允許驗(yàn)證工程師檢查端口內(nèi)的數(shù)據(jù)和組件的內(nèi)部結(jié)構(gòu)。 為了進(jìn)行分析，AUTOSAR 感知代理可以在 AUTOSAR 模型和基本軟件 （BSW） 配置元素（如任務(wù)和網(wǎng)絡(luò)信號(hào)）的上下文中呈現(xiàn)在數(shù)字孿生執(zhí)行期間收集的系統(tǒng)跟蹤。

總之，在汽車市場(chǎng)快速發(fā)展趨勢(shì)的推動(dòng)下，可擴(kuò)展保真度、測(cè)試重用、生成工作流和設(shè)計(jì)感知 V&V 工具解決方案相結(jié)合，可幫助驗(yàn)證工程師有效地驗(yàn)證和驗(yàn)證車輛 E/E 系統(tǒng)。有效 V&V 的主要商業(yè)價(jià)值是：

問題可以在汽車設(shè)計(jì)開發(fā)過程的早期發(fā)現(xiàn)，此時(shí)修復(fù)成本最低

增加 V&V 覆蓋范圍可提高安全性、增強(qiáng)安全性，并在將問題部署到現(xiàn)場(chǎng)之前發(fā)現(xiàn)問題

測(cè)試包括混合保真度測(cè)試臺(tái)，以支持多 ECU 系統(tǒng)所需的大量 V&V 循環(huán)

在整個(gè)開發(fā)過程中重復(fù)使用測(cè)試用例

OEM 和供應(yīng)商有效地交換測(cè)試用例和測(cè)試臺(tái)

培訓(xùn)成本降低

驗(yàn)證工程師可以在最好的測(cè)試自動(dòng)化軟件和最好的測(cè)試臺(tái)之間切換

工具中捕獲的實(shí)施領(lǐng)域?qū)I(yè)知識(shí)提高了質(zhì)量并減少了未來的問題

可以消除手動(dòng)或其他重復(fù)性工作以加快上市時(shí)間

驗(yàn)證和設(shè)計(jì)工程師可以在其設(shè)計(jì)的領(lǐng)域級(jí)別生成產(chǎn)品實(shí)現(xiàn)

審核編輯：郭婷