汽車芯片的安全驗(yàn)證，長期活在一種"大概齊"的狀態(tài)里。

工程師們算出來的單點(diǎn)故障度量（Single Point Fault Metric，單點(diǎn)故障指標(biāo)）和潛伏故障度量（Latent Fault Metric，潛伏故障指標(biāo)），看起來精確到小數(shù)點(diǎn)后兩位，但輸入數(shù)據(jù)從哪來、誤差有多大，沒人能說得準(zhǔn)。博世（Robert Bosch GmbH）3月發(fā)的一篇技術(shù)論文，把這個黑箱撬開了一條縫——他們用誤差傳播理論（Error Propagation Theory，誤差傳遞理論）重新改造了FMEDA（Failure Modes, Effects, and Diagnostic Analysis，失效模式影響及診斷分析）框架，讓"不確定"本身變得可量化。

FMEDA的老毛?。狠斎胧遣碌?，輸出卻當(dāng)真理

傳統(tǒng)FMEDA的計(jì)算邏輯并不復(fù)雜。你把每個失效模式的分布比例（Failure Mode Distribution，失效模式分布）和診斷覆蓋率（Diagnostic Coverage，診斷覆蓋率）填進(jìn)去，公式會自動吐出SPFM和LFM兩個數(shù)字。只要這兩個數(shù)達(dá)標(biāo)，ISO 26262的功能安全認(rèn)證就能過。

問題是，F(xiàn)MD和DC這兩個輸入值，很大程度上依賴專家判斷。

一個電阻的開路失效占比多少？是30%還是35%？診斷電路能覆蓋多少故障？是90%還是95%？這些數(shù)字往往來自經(jīng)驗(yàn)估計(jì)、歷史數(shù)據(jù)或仿真樣本，本身就有波動范圍。但傳統(tǒng)FMEDA把它們當(dāng)成精確值處理，算出來的安全指標(biāo)看似客觀，實(shí)則埋著大量未量化的不確定性。

博世的工程師團(tuán)隊(duì)在論文里打了個比方：這就像是用一把刻度模糊的尺子量身高，讀數(shù)精確到毫米，但尺子本身的誤差可能超過厘米。

誤差傳播理論進(jìn)場：給不確定性算一筆賬

博世的新方法核心在于，把誤差傳播理論嵌進(jìn)FMEDA的計(jì)算流程。

具體操作上，他們不再要求輸入單個精確值，而是允許FMD和DC以區(qū)間形式存在——比如某個失效模式占比"30%±5%"，診斷覆蓋率"90%±3%"。誤差傳播公式會追蹤這些初始不確定性如何在計(jì)算過程中放大或抵消，最終輸出SPFM和LFM的置信區(qū)間，以及最大可能偏差。

換句話說，你拿到的不再是一個孤零零的百分比，而是一個范圍——比如"SPFM=97.2%，置信區(qū)間95.5%-98.8%"。

這個區(qū)間寬度直接反映了分析質(zhì)量。區(qū)間越窄，說明輸入數(shù)據(jù)越可靠、計(jì)算越穩(wěn)??；區(qū)間太寬，則提醒工程師回去補(bǔ)數(shù)據(jù)、做實(shí)驗(yàn)，而不是拿著一個虛假精確的數(shù)字去應(yīng)付認(rèn)證。

EII：揪出最大的那個"誤差內(nèi)鬼"

博世還設(shè)計(jì)了一個叫EII（Error Importance Identifier，誤差重要性標(biāo)識器）的工具。

它的作用是在眾多輸入?yún)?shù)中，識別哪些對最終結(jié)果的波動貢獻(xiàn)最大。比如算出來SPFM的置信區(qū)間過寬，EII會告訴你：問題主要出在第三組失效模式的分布估計(jì)上，還是診斷覆蓋率的某個子項(xiàng)上。

這改變了工程師的工作流——從"盲人摸象式地優(yōu)化"，變成"精準(zhǔn)狙擊"。

以前為了收窄安全指標(biāo)的不確定性，團(tuán)隊(duì)可能被迫對所有輸入?yún)?shù)做高精度實(shí)驗(yàn)，成本極高?，F(xiàn)在EII能指出優(yōu)先級，把有限資源砸在刀刃上。

論文作者Armato、Kehl和Fischer在摘要里寫道，這種方法"顯著提升了FMEDA的透明度和可信度"，解決了功能安全領(lǐng)域"一個長期懸而未決的開放性問題"。

為什么偏偏是現(xiàn)在？

汽車芯片的復(fù)雜度在指數(shù)級上升。7nm、5nm制程的ASIC里，晶體管數(shù)量以百億計(jì)，失效模式的數(shù)量和耦合關(guān)系遠(yuǎn)超十年前。與此同時，ISO 26262對ASIL-D（汽車安全完整性等級最高級）的要求越來越嚴(yán)，SPFM必須≥99%，LFM必須≥90%。

達(dá)標(biāo)線越逼近物理極限，輸入數(shù)據(jù)的微小誤差就越容易被放大成認(rèn)證風(fēng)險(xiǎn)。

博世的論文2026年3月發(fā)布在arXiv上，時機(jī)耐人尋味。一方面，車規(guī)級芯片的先進(jìn)制程驗(yàn)證確實(shí)到了需要更精細(xì)工具的階段；另一方面，這也可能是博世作為Tier 1巨頭，試圖在功能安全方法論層面建立技術(shù)話語權(quán)的一步——畢竟，誰定義了"如何量化不確定"，誰就掌握了認(rèn)證體系的解釋權(quán)。

論文鏈接已公開，但真正的落地還要看工具鏈支持。把誤差傳播理論集成進(jìn)現(xiàn)有的FMEDA軟件，改動不小。Synopsys、Cadence這些EDA廠商會不會跟進(jìn)？其他車企和芯片廠會不會采納博世的方法作為內(nèi)部標(biāo)準(zhǔn)？

功能安全社區(qū)等了多年的那個"開放性問題"，現(xiàn)在有了答案的雛形——但答案本身，還需要更多工程實(shí)踐來檢驗(yàn)誤差范圍。