汽車(chē)芯片的安全驗(yàn)證，長(zhǎng)期靠老師傅拍腦袋。博世最新論文顯示，他們把誤差傳播理論塞進(jìn)FMEDA框架，讓SPFM（單點(diǎn)故障度量）和LFM（潛在故障度量）首次有了置信區(qū)間。這套方法能把分析質(zhì)量的不確定性量化到小數(shù)點(diǎn)后兩位，直接對(duì)標(biāo)ISO 26262的合規(guī)要求。

老師傅的"手感"成了最大變量

FMEDA（失效模式、影響及診斷分析）是汽車(chē)功能安全的標(biāo)配工具。傳統(tǒng)做法里，失效模式分布（FMD）和診斷覆蓋率（DC）的估算高度依賴專家經(jīng)驗(yàn)。一個(gè)資深工程師和一個(gè)新手，對(duì)同一顆芯片的SPFM評(píng)估可能差出15個(gè)百分點(diǎn)。

這種差異從未被正式計(jì)入。博世論文指出，傳統(tǒng)FMEDA的輸出是"點(diǎn)估計(jì)"——一個(gè)孤零零的數(shù)字，背后藏著大量未量化的不確定性。車(chē)企拿著這個(gè)數(shù)字做安全論證，相當(dāng)于用模糊的地圖導(dǎo)航，出事才發(fā)現(xiàn)路是錯(cuò)的。

誤差傳播理論的核心，是把每個(gè)輸入?yún)?shù)的誤差"翻譯"成最終指標(biāo)的波動(dòng)范圍。博世團(tuán)隊(duì)用這套數(shù)學(xué)工具，給SPFM和LFM算出了最大偏差和置信區(qū)間。原本黑箱里的"手感"，變成了可審計(jì)的數(shù)字。

EII：給不確定性做CT掃描

知道結(jié)果有偏差只是第一步。博世論文的真正狠活，是提出了EII（誤差重要性標(biāo)識(shí)符，Error Importance Identifier）。

這個(gè)工具像給不確定性做CT掃描。它能定位哪些輸入?yún)?shù)對(duì)最終結(jié)果的波動(dòng)貢獻(xiàn)最大——是某個(gè)失效模式的分布估計(jì)不準(zhǔn)？還是某塊診斷邏輯的覆蓋率算得太樂(lè)觀？工程師不用再全盤(pán)返工，而是精準(zhǔn)打擊問(wèn)題源頭。

論文作者Antonino Armato、Christian Kehl和Sebastian Fischer在arXiv預(yù)印本中披露，EII的引入讓FMEDA從"事后解釋"變成"事前預(yù)警"。驗(yàn)證團(tuán)隊(duì)可以在流片前識(shí)別高風(fēng)險(xiǎn)假設(shè)，把資源集中在真正影響安全指標(biāo)的地方。

對(duì)于動(dòng)輒千萬(wàn)顆出貨的汽車(chē)ASIC，這意味著驗(yàn)證周期的實(shí)質(zhì)性壓縮，以及召回風(fēng)險(xiǎn)的提前鎖定。

ISO 26262的合規(guī)缺口被填上

功能安全社區(qū)有個(gè)懸而未決的問(wèn)題：FMEDA的結(jié)果到底多可信？ISO 26262要求"足夠置信"的安全分析，但從未定義"足夠"的量化標(biāo)準(zhǔn)。

博世的方案給出了可操作的路徑。置信區(qū)間的引入，讓不同供應(yīng)商、不同項(xiàng)目的FMEDA結(jié)果有了可比性。車(chē)企審計(jì)Tier 1的芯片時(shí)，不再只看最終數(shù)字，還能審查這個(gè)數(shù)字的"誤差條"有多寬。

論文發(fā)表于2026年3月，標(biāo)題直戳痛點(diǎn)：《量化FMEDA安全指標(biāo)的不確定性：一種面向ASIC驗(yàn)證的誤差傳播方法》。三位作者均來(lái)自Robert Bosch GmbH，署名單位暗示這套方法已在內(nèi)部工具鏈中落地。

汽車(chē)電子的復(fù)雜度正在指數(shù)級(jí)攀升。一顆智能駕駛芯片可能集成數(shù)百個(gè)安全相關(guān)模塊，傳統(tǒng)FMEDA的手工估算早已觸及人力極限。博世把誤差傳播理論工程化，本質(zhì)上是用數(shù)學(xué)紀(jì)律替代經(jīng)驗(yàn)主義——這對(duì)整個(gè)行業(yè)是降維打擊，還是對(duì)中小玩家的門(mén)檻抬高？