自主駕駛車(chē)輛（HAVs）的安全驗(yàn)證是一個(gè)復(fù)雜而嚴(yán)謹(jǐn)?shù)倪^(guò)程，特別是對(duì)于SAE Level 4的自主性。本文討論了在ISO 26262合規(guī)性之外進(jìn)行的驗(yàn)證方法，側(cè)重于超越傳統(tǒng)里程積累的視角。通過(guò)引入一種反證法，本文提出了一系列具體、可測(cè)試的安全目標(biāo)和要求，以增加驗(yàn)證的效率、有效性，并形成更具可辯護(hù)性的安全論證。

引言：

自主駕駛車(chē)輛（HAVs）的安全性驗(yàn)證是實(shí)現(xiàn)自動(dòng)駕駛技術(shù)廣泛應(yīng)用的關(guān)鍵一環(huán)。盡管傳統(tǒng)的ISO 26262標(biāo)準(zhǔn)提供了一套用于功能安全的框架，但對(duì)于SAE Level 4的自主性，需要超越合規(guī)性的驗(yàn)證方法。本文將探討在ISO 26262合規(guī)性之外進(jìn)行的驗(yàn)證方法，側(cè)重于具體而可測(cè)試的安全目標(biāo)和要求，以提高驗(yàn)證的效率和有效性。

1. 背景：SAE Level 4自主性的挑戰(zhàn)

SAE Level 4的自主性要求自動(dòng)駕駛車(chē)輛在特定的運(yùn)行設(shè)計(jì)域（ODD）內(nèi)實(shí)現(xiàn)完全自主操作。這為安全驗(yàn)證帶來(lái)了新的挑戰(zhàn)，因?yàn)閭鹘y(tǒng)的功能安全標(biāo)準(zhǔn)無(wú)法涵蓋所有情況。在這種情況下，驗(yàn)證不僅僅是積累里程，而是需要更為深入的方法。

2. 從里程積累走向更深層次驗(yàn)證：反證法

傳統(tǒng)驗(yàn)證方法通常側(cè)重于通過(guò)里程積累來(lái)驗(yàn)證系統(tǒng)的安全性。然而，在SAE Level 4的情況下，我們提出采用一種反證法的方法。即，定義具體的安全目標(biāo)和要求，然后通過(guò)測(cè)試和分析來(lái)證明系統(tǒng)在特定ODD內(nèi)是安全的。

3. 具體安全目標(biāo)的制定：

為了采用反證法，首先需要定義明確的安全目標(biāo)。這可能包括對(duì)環(huán)境感知、決策制定和執(zhí)行控制的安全性要求。例如，確保在特定天氣條件下，車(chē)輛仍能夠可靠地感知周?chē)h(huán)境，并做出相應(yīng)的決策。

4. 可測(cè)試性的關(guān)鍵性：

為了有效地執(zhí)行反證法，安全目標(biāo)必須是可測(cè)試的。這意味著需要開(kāi)發(fā)相應(yīng)的測(cè)試用例和仿真環(huán)境，以驗(yàn)證系統(tǒng)在各種情況下是否滿(mǎn)足安全要求。這可以通過(guò)引入高保真度仿真和封閉賽道測(cè)試來(lái)實(shí)現(xiàn)。

5. 分層驗(yàn)證步驟的設(shè)計(jì)：

將驗(yàn)證過(guò)程分為多個(gè)層次可以增加驗(yàn)證的有效性。首先，驗(yàn)證系統(tǒng)的基本安全性，然后逐步增加復(fù)雜性。這樣的分層方法有助于建立更加全面和可辯護(hù)的安全論證，即便在沒(méi)有完全規(guī)定的傳統(tǒng)自主性功能要求集的情況下也能接受。

6. 提高效率的工具和技術(shù)：

引入先進(jìn)的工具和技術(shù)可以提高驗(yàn)證的效率。機(jī)器學(xué)習(xí)算法可以用于加速測(cè)試用例的生成，而模型檢驗(yàn)技術(shù)可以用于驗(yàn)證系統(tǒng)的形式規(guī)范是否滿(mǎn)足安全性要求。

7. 結(jié)論：

通過(guò)采用反證法，定義具體可測(cè)試的安全目標(biāo)和要求，以及分層驗(yàn)證步驟的設(shè)計(jì)，我們可以在ISO 26262合規(guī)性之外建立一種更為全面和可辯護(hù)的SAE Level 4自主性驗(yàn)證方法。這有助于確保自主駕駛車(chē)輛在特定ODD內(nèi)能夠安全可靠地運(yùn)行，為其廣泛應(yīng)用打下堅(jiān)實(shí)的安全基礎(chǔ)。