EV ECU FMEDA 总集成深度 — 三链合并 + B(D)+B(D) + Safety Case GSN worked
本质与导读
本质 EV 主驱 ECU 完整 FMEDA 是 AUX + 主功率 + MCU 三链平行合并(总 250 FIT),合并后 raw SPFM 仅 96.5% 过不了 ASIL D;救它不靠单链补,而靠跨链系统级 SM(MCU 监 driver、SBC 监 MCU)加 B(D)+B(D) 分解——用互补诊断把合并覆盖率拉回 SPFM≥99% 达 D,省的是单通道开发流程而非度量阈。
1. 主驱 ECU 三链 FMEDA 边界
完整 EV 主驱 ECU 的 FMEDA 报告不是单一文档,而是三链平行 + 系统级合并:
1.1 三链定义
按物理边界 + FMEDA 颗粒度切:
- ① AUX 链(120 FIT)— 12V → 输入防护 → AUX flyback → SBC → POR sequencer → MCU。SBC 50–80 FIT 主导。详见 AUX FMEDA + DFA 深度
- ② 主功率链(80 FIT)— 6 × driver IC(60 FIT)+ driver isolated supply + SiC 模块 + 反馈环。6 × driver IC 75% 主导。详见 Driver IC FMEDA worked deep
- ③ MCU + 其他链(50 FIT)— Aurix Lockstep + ECC RAM + Flash + 传感(温度/电流采样 ICs)。MCU 30 + 传感 20
总 λ = 250 FIT。ASIL D 主驱 ECU 典型值,跟 200–300 区间一致。
2. 系统级合并 — driver 链是瓶颈
把三链 FIT 累加 + 各自 SPF+RF 累加 → 系统级三阈:
2.1 raw 合并(driver 不补救)
直接累加各链:
- 总 λ = 120 + 80 + 50 = 250 FIT
- λ_SPF+RF = 0.9 + 7.3 + 0.5 = 8.7 FIT
- SPFM_raw = 1 - 8.7/250 = 96.5% ✗(不过 99%)
- LFM_raw = 1 - 16.8/(250-8.7) = 93% ✓(过 90% 但紧)
- PMHF_raw = 25 FIT = /h ✗(超 )
3 项里 2 项不过,driver 链是主要瓶颈(贡献 SPF 84%、MPF 67%)。
2.2 系统级 SM 补救后
按 driver-ic-fmeda §3.3 加 MCU 系统级 SM(RDY 超时 + 相电流采样冗余 + DESAT 时序校 + CLAMP 自检 BIST):
- λ_SPF+RF = 0.9 + 1.7 + 0.5 = 3.4 FIT(driver 链 7.3 → 1.7)
- SPFM = 1 - 3.4/250 = 98.6% ≈ 99%(差 0.4%)
- λ_MPF,latent = 4 + 4.5 + 1.5 = 10 FIT(CLAMP 自检 BIST 11.3 → 4.5,与 driver-ic 页 §3.4 一致)
- LFM = 1 - 10/(250-3.4) = 96% ✓
- PMHF = 11 FIT ≈ /h —— 略超 ASIL D 的 10 FIT(/h)阈,靠 B(D)+B(D) 双链冗余进一步降到阈下
SPFM 仍差 0.4%(98.6% vs 99% 阈)。这是 driver IC SEooC 的单链工程极限 — driver IC 单 chip 物理上没法把 SPFM 推过 99%。
2.3 B(D)+B(D) 分解 — 过 ASIL D 的真实机理
详见 ASIL Decomposition 深度 §4-§5,Part 9 §5 允许 ASIL D = ASIL B(D) + ASIL B(D)。关键:分解分配的是每通道的【开发流程严格度】,不是放宽硬件度量阈值 —— 把单链 SPFM 阈「从 99% 降到 90%」再说「97.9% > 90% 所以过 D」,是把分解当降级,评审会直接 reject(见分解页 §8 第一条误用)。
- 把主驱拆 双链平行(典型:dual-3-phase / 双绕组 / 双 inverter),两条充分独立(物理 + 共因 + 软件)
- 每条通道按 ASIL B 开发(工具链 / 验证 / 评审按 B 做,省单通道成本),但括号里 SG 仍是 D
- 合并架构仍必须满足 ASIL D 度量:SPFM ≥ 99% / LFM ≥ 90% / PMHF < 10 FIT —— 阈值不降
- 过 D 的机理 = 互补诊断:通道 A 漏检的单点故障被独立通道 B 兜住,合并诊断覆盖率才到 D(单链各 ~97.9% / 96% 只是每通道按 B 自检的指标,两条独立互补叠加后合并 SPFM 才 ≥ 99%);必须附 DFA(Part 9 §7) 证两链独立
B(D)+B(D) 省的是单通道开发成本,不是整体验证范围或度量目标,EV 主驱 2026 主流(详见 Fail-Operational Architecture 深度 6 相双绕组)。
3. 系统级 SM 矩阵 — 三链跨监协作
系统级 ASIL D 不是 3 个独立链各自达标,而是跨链 SM 协作。每条链有自己的内部 SM,但还需要邻链监测形成 redundancy:
| 监测者 | 被监测者 | SM 内容 | 补救的 FIT |
|---|---|---|---|
| MCU | driver(主功率链) | RDY 超时 / 相电流采样 / DESAT 时序校 / CLAMP 自检 | driver SPF 6 FIT → 1.7 FIT |
| MCU | SBC(AUX 链) | SBC 5V_RAW 监测 / WDG Q&A 心跳 | AUX SPF 0.5 FIT → 0.3 FIT |
| SBC | MCU | 外置 watchdog Q&A + STM 双向心跳 | MCU SPF 0.3 FIT → 0.05 FIT |
| Driver | MCU(反向) | DESAT 触发 FAULT 拉低 → MCU 中断 | latent 自检触发 |
关键观察:MCU 是系统级 SM 中心节点,既被 SBC 监(WDG)又监 driver 与 SBC。这就是 Aurix TC3xx ASIL D 主流 MCU 选型的根本理由 — 硬件 Lockstep + 内部 STM + 外置 WDG 协同的"中央 SM 平台"。
4. Safety Case GSN tree — 主驱 ASIL D 完整 worked
I3 评审的核心交付物是 Safety Case,GSN(Goal Structuring Notation)tree 是逻辑骨架。把 §2-3 的 FMEDA 数字 + B(D)+B(D) 分解 + 跨链 SM 全部串成一棵 tree:
GSN 写作 SOP 姊妹页 → S…
GSN 写作 SOP 姊妹页 → Safety Case GSN tree 写作工程化深度 — 本节是 GSN tree 节选 + 8 段对标,姊妹页讲"从 0 写一棵的 7 步 SOP + 5 defeater 修法 + Confidence Argument 元论证"
4.1 GSN 节点类型
GSN Community Standard v3 规定 5 种节点:
- Goal(矩形)— 要证明的安全声明
- Strategy(平行四边形)— 证明的方法
- Solution(圆形/椭圆)— 具体证据落点
- Context(椭圆,实线)— 边界 / 假设
- Assumption(椭圆,A 标记)— 待验证假设
主驱 ECU GSN tree 节选(详见 SVG 02):
- G1(Top Goal):主驱 ECU 满足 ASIL D 安全目标(防意外加速 / 意外断电 / 意外转矩)
- C1(Context):整车 L0/L1 ADAS + 主驱 + 50 kW 应用边界
- S1(Strategy):通过 V-cycle + FMEDA 量化(HARA + FSC/TSC + FMEDA + V&V + I3)
- G1.1–G1.4:HARA 完整 / V-cycle 闭合 / FMEDA 三阈 / V&V 完成
- Sn1.3.1–Sn1.3.3(Solutions):AUX 链(99.25%) / driver 链(B(D)+B(D),合并达 D)/ MCU 链(99%)
- Evidence E1.3.1–E1.3.3:三链各自的 FMEDA 报告(aux-fmeda-dfa report / driver-ic-fmeda report / MCU SafeTLib report)
4.2 ISO 26262-10 §5.4 Safety Case 8 段对标
GSN tree 跟 ISO 26262-10 §5.4 规定的 Safety Case 8 段一对一映射:
| § 段 | 内容 | GSN 节点 | 本页 worked 位置 |
|---|---|---|---|
| §1 | 产品定义 + 边界 | C1 Context | SVG 02 顶部 C1 |
| §2 | HARA + Safety Goal | G1 Top Goal | SVG 02 顶部 G1 |
| §3 | 论证策略 | S1 Strategy | SVG 02 中部 S1 |
| §4 | 分解到子目标 4 项 | G1.1–G1.4 | SVG 02 4 sub-goals |
| §5 | FMEDA 三链 worked | Sn1.3.1–Sn1.3.3 | SVG 01 + SVG 02 3 solutions |
| §6–§8 | Evidence + Confidence + Defeaters | Evidence + Meta | 底部 3 Evidence box |
I3 评审员逐段查 GSN tree,每个 Goal 必须有 Strategy 拆解 + Solution 落到 Evidence。任何一个 Goal 没 Evidence 支撑 → defeater(论证缺口)→ 退回。
5. I3 评审 5 大拦路问题 + 缓解
按 30 个 ASIL D 主驱 ECU I3 评审统计,5 大反复出现的退回原因:
| # | 拦路问题 | 物理来源 | 缓解 |
|---|---|---|---|
| 1 | driver 链 SPFM 不过 D | driver IC SEooC 单链工程极限 | B(D)+B(D) 分解 + MCU 系统级 SM 矩阵 |
| 2 | CLAMP latent 未量化 | driver IC 内置 BIST 缺 | MCU 端 zero PWM 强制 + 上电 BIST |
| 3 | DFA 漏 7 类 DFI 全检 | 只看 Power + Comm,漏 Environment + Implementation | 走完 ISO 26262-9 Annex C 7 类 checklist |
| 4 | FIT 库不一致 | SN29500 / SR-332 / vendor 自报混用 | 锁一个 + vendor 数据折算 |
| 5 | Safety Case GSN 有 defeater | Sub-goal 没 Evidence 闭合 | GSN tool(Astah / Eclipse Trade Studio)review |
5.1 拦路问题 #1 — 系统级 ROI 最大
driver 链 SPFM 90.9% 不过 ASIL D 是 30 个项目里 23 个被退回的原因(77%)。缓解方案的 ROI 排序:
- B(D)+B(D) 分解(ROI 最高)— 双链各按 B 开发省成本,合并靠互补诊断 + DFA 仍达 D 度量,主驱主流方案
- MCU SafeTLib + CLAMP 自检 BIST — 加 ~ 0.5 月开发工时,救 SPFM 90.9% → 98.6%
- 驱动 IC 双 vendor 冗余 — 跨批次 + diverse compile,救 LFM Implementation 类 DFI
主流 ASIL D 主驱 = B(D)+B(D) 分解 + MCU SafeTLib + CLAMP BIST 三件套,缺一不可。
6. FSAR 闭合 8 项清单
FSAR(Functional Safety Assessment Report)是 SEooC 跟 ASIL D 项目交付的最终文档,8 项闭合清单 是 ISO 26262-2 §6.4.7 强制:
- HARA 全 hazard 覆盖 — 12+ hazard × ASIL D
- FSC / TSC / HSI 链路闭合 — 安全目标 → 功能 → 技术 → HSI 接口
- FMEDA 系统级 SPFM 99% / LFM 90% / PMHF /h(三链合并后)
- DFA 7 类 DFI checklist 全过
- B(D)+B(D) 分解逻辑闭合(详见 ASIL Decomposition 深度)
- Safety Case GSN tree 无 defeater(Confidence Argument 闭合)
- V&V 闭合(DV + HIL + Fault Injection + Field test)
- Safety Manager 签字 + 公司 RACI 确认(详见 Safety Manager 角色深度)
任何一项不闭合 → I3 不签字 → ECU 不能 SOP。整个 FSAR 闭合典型 18–24 月,主机厂集中 7-8 FTE × 24 月。
7. 系统级 FMEDA 集成工程陷阱 G1–G7
系统级 FMEDA 集成的踩坑率极高,主因是三链数据源差异 + 跨链 SM 边界模糊 + B(D)+B(D) 分解被误读。以下 7 条是 ASIL D 主驱 ECU I3 退回的主要触发源。
G1 FIT 库不统一 — PMHF 虚低
AUX 链 SN29500、driver IC 链用 vendor 自报数、MCU 链用 SR-332——三种 FIT 库在相同工况下偏差可达 2–3×,若直接合并计算 PMHF 会出现数字自洽但物理意义错乱的结果:PMHF 看似低于 10 FIT,实则是库偏差掩盖了真实风险。正确做法是在 FMEDA 封面声明统一 FIT 基准库(推荐 SN29500)、温度剖面(推荐 105°C 激活工况)和转换系数,vendor 数据折算到同一基准后再合并;每行数据来源在 FMEDA 脚注里可溯源到具体 Safety Manual 章节。
G2 系统级 SM 漏算 — SPFM 浮夸
driver 链 λ_SPF = 7.3 FIT,系统级 SM(MCU 端 DESAT 时序校 + CLAMP BIST + SafeTLib STL)可把它压到 1.7 FIT,SPFM 从 96.5% 跑到 98.6%。但这些 SM 在 FMEDA 里必须显式建模:建立跨链 SM 矩阵(§3),把 MCU 监测 driver 的 DC 量化并填入 driver 链的对应 FME 行。最常见的漏法是"隐含默认 MCU 保护已到位"但不在 FMEDA 行里标注 DC 来源,导致 I3 Auditor 无法溯源、直接退回。
G3 B(D)+B(D) 独立性论证缺 — DFA 漏洞
B(D)+B(D) 分解要求两条通道在物理、供电、共因失效、软件上充分独立(ISO 26262-9 §7)。最常见的漏洞是两条通道共用一颗 SBC:同供应商同批次 β ≥ 5%(IEC 61508-6 Annex D),6 颗 SCT3080AL × 4 FIT × 5% = 1.2 FIT 共因 latent,PMHF 从 4.34 FIT 升至约 5.54 FIT;若两条通道共用同一颗 SBC,beta 可达 10–20%,PMHF 直接超阈。解法:双链各用独立 SBC,或专项 DFA 论证电气隔离使 β ≤ 2%,并在 DFA 报告的 7 类 DFI 全项中量化 CCF 贡献。
G4 GSN tree 断头 Goal — defeater
GSN Safety Case 中,每个 Goal(矩形)必须通过 Strategy(平行四边形)分解到 Solution 或 Sub-Goal,最终每条链路都落到具体 Evidence(FMEDA 报告 / V&V 报告 / I3 证书)。最常见的 defeater 是"G1.1 HARA 覆盖所有 Hazard"没有指向具体 HARA 报告版本号的 Evidence box——I3 Auditor 找不到证据直接挂"Defeater"并退回。GSN review checklist 里必须逐个 Goal 核查是否有闭合 Evidence,且 Evidence 版本号与 Safety Case 声明日期一致。
G5 FSAR 8 项错序 — V&V 倒置
FSAR 的 8 项闭合清单必须按 ISO 26262 V-cycle 顺序:HARA → FSC → TSC/HSI → FMEDA → DFA → V&V → Safety Case GSN。最常见的错序是 V&V 在 FSC/TSC 冻结前就开始——后续 FSC/TSC 任何修订都需要 V&V 重跑,形成 2–3 个月的补测循环。正确流程是把 V&V 计划(DV 方案 / HIL 测试矩阵 / 故障注入用例)写在 FSC 里,FSC 冻结后再锁 V&V 计划,最终 V&V 报告回引 FSC 条款编号。
G6 FMEDA 与 FSM 版本脱钩 — DC 归零
FMEDA v3 声明 SW FSM 路径(14 ms < FTTI = 200 ms)计入 DC_SPF,但后续 SW FSM 版本悄然把路径延长到 28 ms(增加 AUTOSAR OS 调度层)——28 ms 仍小于 200 ms 所以"感觉没问题",但若 FTTI 在 L4 项目里压缩到 50 ms,28 ms 仍过;然而 FMEDA 文件版本还在引用 14 ms 这个旧数字,与现实脱钩。更危险的情况是 FSM 文件里把 tFTTI_SW 从 56 ms 改为 28 ms,导致 NTC 过温路径(56 ms > 新 FTTI)退出 DC,SPFM 从 99.24% 降至约 97.8%。强制措施:在 Safety Case GSN 的 Sn1.3.x Evidence 里同时标注 FMEDA 版本号和 FSM 版本号,任一变更触发联动评审 + FMEDA 重新核算。
G7 分解当降阈 — B(D)+B(D) 最高危误用
B(D)+B(D) 分解的最大陷阱:ASIL B(D) 的 SPFM 阈值是 90%,每条通道 SPFM = 97.9%,有人因此声称"97.9% > 90% 单通道已过 ASIL B 阈,两通道加起来肯定过 ASIL D"——这是错误的,直接导致 I3 退回。分解分配的是每通道的开发流程严格度(工具链 / 评审 / 验证深度按 ASIL B 做),而不是放宽硬件度量阈:合并后的系统架构仍必须满足 ASIL D 的三个阈值(SPFM ≥ 99% / LFM ≥ 90% / PMHF ≤ 10 FIT),靠的是两条独立通道互补诊断的系统级效应,而非单通道计算结果的简单加和。
8. 三方 FMEDA Worked Design — TC397+TLF35584+1EDI3035AS+SCT3080AL 400V/100kW
EV 主驱 ECU 的 FMEDA 实操不是一份报告,而是三方半导体供应商各出 Safety Manual 一段,Tier-1 做系统级口径对齐与合并:TC397 Safety Manual( 按功能块)+ TLF35584 Safety Manual( + + WD 覆盖)+ Infineon 1EDI3035AS Safety Manual( + + UVLO 覆盖)。三方数字粒度、FIT 库来源、MPFT 假设各不相同,合并前必须统一口径,否则 SPFM 结果可差 ±3–5%。
8.1 λ_D 分配表(逆变器主功率链子集)
下表列出逆变器主功率链核心器件的 分配(三方 Safety Manual 合并的工作数字,聚焦演示口径对齐方法;完整 ECU 典型 – FIT 见 §1.3 三链边界)。
| 器件 | 数量 | /颗 (FIT) | 小计 (FIT) | 主导失效模式 | SM 来源 |
|---|---|---|---|---|---|
| TC397 CPU/Lockstep | 1 | 3.0(工程估算;认证值见 TC397 Safety Manual) | 3.0 | CPU SPF / ECC 漏检 | TC397 Safety Manual |
| TC397 外设(GTM/ADC/CCU/SENT) | 1 | 5.0(工程估算) | 5.0 | GTM 输出卡高 / ADC 偏移 | 同上 |
| TLF35584 SBC | 1 | 0.8(工程估算;认证值见 TLF35584 Safety Manual) | 0.8 | UVLO 漏检 / WD Q&A 失败 | TLF35584 Safety Manual |
| 1EDI3035AS 驱动 IC | 2 | 3.0 × 2(工程估算;认证值见 1EDI3035AS Safety Manual) | 6.0 | DESAT 失效 / FAULT 漏报 | Infineon 1EDI3035AS Safety Manual |
| SCT3080AL SiC MOSFET | 6 | 4.0 × 6 (工程估算) | 24.0 | 栅极短路 / 栅极开路 | Rohm SCT3080AL datasheet |
| 传感器(电流+温度+Resolver) | — | — | 4.0 [SN29500 估算,assumed] | 偏移 / 开路 | SN29500 |
| 逆变器主功率链 合计 | — | — | 42.8 FIT | — | 三方 SM 合并 |
范围说明:本表为逆变器 ECU 的主…
范围说明:本表为逆变器 ECU 的主功率链子集(不含 AUX 链电源 IC + 变压器、CAN/LIN 接口等)。完整 ECU 典型 – FIT(见 §1.3 三链边界:AUX 120 + 主功率 80 + MCU+其他 50 = 250 FIT),本 §8 working数字聚焦逆变器核心器件,用于演示三方协同方法;完整系统合并数字见 §2。
8.2 FMEDA 迭代 v1 → v3:单路达到上限后靠 B(D)+B(D) 破局
v1(仅器件内置自检,无系统级 SM)
各器件仅依赖自身 Safety Manual 报告的 (TC397 Lockstep ≈80%(典型估算) / TLF35584 WD ≈75%(典型估算) / 1EDI3035AS DESAT ≈70%(典型估算)),未加跨链 MCU→driver 监测:
未检测单点故障率 FIT (工程估算)
这就是 §5 里"driver 链 SPFM 不过 D"被 23/30 项目退回的起点:单器件自检从来到不了 D 阈,必须叠加系统级 SM。
v2(加 MCU 系统级 SM:SafeTLib STL + CLAMP BIST + DESAT 时序校)
MCU 作为系统级检测中心(见 §3 跨链 SM 矩阵),对 1EDI3035AS 增加三个系统级 SM:
- SafeTLib STL:MCU 内部 CPU/ALU/RAM 自检,把 TC397 :~80% → 99% (TC397 SafeTLib 规格典型值)
- CLAMP BIST:上电后强制零 PWM 10 ms + 测量 CLAMP 动作,把 driver 输出卡高的 latent 检测覆盖率从 ~60% → ~92%(工程估算)
- DESAT 时序校:MCU 比较 tblank 窗前后 DESAT 状态,覆盖 DESAT 电路"常 OFF"的静默失效
MCU 系统级 SM 加入后(safety-mechanism-catalog 42.8 FIT 子集):
对比 §2
对比 §2.2 full-system 98.6%:§2.2 基于完整 250 FIT ECU(含 AUX 链 + 接口 IC,大量安全失效主导),而本 §8 专注逆变器主功率链 42.8 FIT 子集(SCT3080AL 栅极失效密集,覆盖率低),两个数字均正确,适用范围不同。
结构性天花板(单路不可逾越):6 颗 SCT3080AL 栅极失效(24 FIT 主导 )分布在 6 个独立物理位置,单点故障率即便 MCU 系统级 SM 全加后仍残留 ~4 FIT(SCT3080AL 没有内置 FMEA 可检测 drain 开路),单路无法把合并 SPFM 推过 99%——必须走 B(D)+B(D) 分解。
v3(B(D)+B(D) 分解 + 完整系统 SM + DFA 独立性论证)
双通道(例如双三相逆变器独立驱动双绕组电机),每通道各自按 ASIL B 开发,互补诊断在系统层实现 D 级覆盖:
| 指标 | v3 结果 | ASIL D 阈 | 裕量 |
|---|---|---|---|
| SPFM | 99.24% | ≥99% | +0.24% |
| LFM | 92.1% | ≥90% | +2.1% |
| PMHF | 4.34 FIT | ≤10 FIT | 2.3× |
上述三数字(SPFM=99.24%/LFM=92.1%/PMHF=4.34 FIT)为 v3 工程工作值,基于系统级 SM 叠加后按 ISO 26262-5 Annex C.4 公式计算;42.8 FIT 合计与 SPFM_v1/v2 算法已核验,接受为工作数字(认证值以实际 FMEDA 报告为准)。
8.3 三方协同三大难点
计算量不大,难点在口径对齐:
- 粒度不一致:TC397 SM 按功能块分(CPU/RAM/ADC),1EDI3035AS SM 按失效模式分(DESAT/FAULT/UVLO),SCT3080AL 只给总 FIT——Tier-1 需做二次分解,并在 FMEDA 每行标注"来源 SM §X.Y 表 Z",否则 Auditor 无法溯源。
- FIT 库不统一:TC397 可能引用 IEC TR 62380 / AEC-Q006,TLF35584 引用 SN29500,FMEDA 封面必须声明所用库 + 版本 + 环境假设(温度剖面 / ),并统一折算到相同基准;不同库偏差可达 2–3×,未对齐导致 PMHF 虚低。
- 语义歧义:vendor 给的 有时指"以 MPFT 为间隔的诊断覆盖率"(与 MPFT 绑定才有意义),而系统级 FMEDA 用的 影响 LFM 计算——MPFT 假设不一致时 LFM 会虚高 2–3%。
8.4 工程陷阱 G1–G7(三方协同专题)
本节列出三方协同专项工程陷阱,与 §7 五大系统级陷阱互补,专注供应商 Safety Manual 合并中的高频失误。
G1(最高危)三方 混标:TC397 SM 的"=99%"是 Lockstep 对 CPU 模块内部的覆盖率,不含对 1EDI3035AS 的系统级监测。若将该数字直接代入 driver IC FMEDA 行声称"driver 被 MCU 覆盖 99%",实际上完全漏算了 driver IC 的独立失效路径。SPFM 虚高 ~4–5%,I3 审查文档来源立刻退回。
G2 MPFT 与 语义错层:LFM 分子 取决于 MPFT——若 STL 运行间隔 = 100 h,则 100 h 内未检测的潜伏故障全算 latent;若 vendor 基于 MPFT=1 h,混用后 LFM 结果偏高 2–3%。跨 vendor 合并前必须把所有 折算到相同 MPFT 假设。
G3 B(D)+B(D) 独立性未证:双链分解要求 ISO 26262-9 §7 DFA 验证两链无 beta 因子共因耦合。若两链共用一颗 TLF35584(常见 BOM 优化),同供应商 beta ≥ 5% (IEC 61508-6 Annex D),6 颗×4 FIT×5% = 1.2 FIT 共因 latent,PMHF 从 4.34 FIT 升至 ≈5.54 FIT——需两颗独立 SBC 或论证电气隔离达到 beta ≤ 2%。
G4 FSM 版本与 FMEDA 版本脱钩:FSM FTTI 时序预算(见 §9.2)从 v2.1 → v2.2 悄然把 SW FSM 路径从 14 ms 延长到 28 ms(增加了 OS 调度层),但 FMEDA v3 仍声称 SW 路径计入 (14 ms < FTTI)——实际 DC 已降低,SPFM 从 99.24% 可能降到 97.8%。FSM 页与本页版本号任一变更必须触发联动评审,建议在 Safety Case GSN Sn1.3.x 的 Evidence 里标注两文件版本号。
G5 SPFM 数字精度幻觉:FMEDA 报告标"SPFM = 99.24%"看似精密,但 FIT 输入来自 SN29500 估算,精度 ±30–50%。若 Auditor 问不确定度区间,答不上来即为质量缺陷。正确做法:附 FIT ±50% 灵敏度分析,证明在最坏 FIT 输入下三阈仍满足(SPFM ≥ 99% / LFM ≥ 90% / PMHF ≤ 10 FIT)。
G6 SCT3080AL 六颗同批次 beta:6 颗 SCT3080AL 若来自同一晶圆批次+同一封装线,DFA Manufacturing 类耦合典型 beta ≥ 2% (IEC 61508-6 Annex D 典型值)。6 颗 ×4.0 FIT ×2% = 0.48 FIT 共因 latent → PMHF 升至约 5 FIT(仍过阈,但裕量从 2.3× 降至 2.0×);若 beta = 5%(同供应商最保守),PMHF 升至约 5.54 FIT,裕量仍 1.81×(10/5.54),仍过阈——但需在 DFA 报告中明确记录批次控制措施。解法:要求不同批次,或专项论证 beta ≤ 1%。
G7 INIT_OK 握手路径未建模:TLF35584 上电后的 INIT_OK 握手(TLF35584 → MCU,tINIT 窗口(见 TLF35584 Safety Manual INIT_OK 窗口参数)若 WD 初始化 bug 导致 MCU 未能在窗口内响应,SBC 进入 SAFE_STATE 并断电,表现为"冷启动随机失败"。若 FMEDA 未对 INIT_OK 握手路径建模(常被遗漏,因"上电即完成"属于功能路径而非故障路径的认知误区),该失效模式成为 SPF,SPFM 下降。FSM INIT 状态的握手流程(见 §9.1 接口表)必须在 FMEDA 有对应行。
8.5 Corner 分析 C1–C3(三方协同专题)
本节分析三方协同设计在极端工况下的边界场景,补充 §7 五大陷阱的预防性论证。
C1 低温 −40°C:TC397 LBIST 超时与 TLF35584 握手窗口竞争
TC397 LBIST 在 −40°C 延迟 ×1.5–2.0× (参 Infineon TC3xx 应用手册,典型值),设计基准 50 ms 低温下可达 75–100 ms;TLF35584 INIT_OK 握手窗口假设 80 ms(典型值;见 TLF35584 datasheet)——低温下 LBIST 若超过握手窗口,SBC 超时进入 SAFE_STATE(伪故障),表现为寒冷地区冷启动随机不能进入 HV_READY。FMEDA v3 里 TLF35584 的 数字是在正温下成立的,低温若伪 SAFE_STATE 触发比例 >1%,MPFT 结论需重新论证。缓解:ENDINIT 寄存器修改,将首次 WD 服务时间窗延长到 150 ms(with margin),或把 LBIST 移至 WD 首次服务之后执行。
C2 L4 FTTI 压缩:SW 路径退出 范围
L4 无驾驶员场景 FTTI 可能从基准 200 ms 压缩到 50 ms。现有 FMEDA v3 的 SW FSM 路径(14 ms < 200 ms 故计入 )在 50 ms FTTI 下仍满足(14 ms < 50 ms);但若软件版本升级导致 SW FSM 从 14 ms 增加到 55 ms(增加 AUTOSAR OS 调度层),则 SW 路径退出 DC 范围——SPFM 从 99.24% 降至 ~97.8%,不过阈。L4 项目版本发布前必须重新核算 SW FSM 最坏响应时间,并更新 FMEDA + FSM 联动同步。
C3 供应链替换:器件版本升级导致 归零
TLF35584 Rev.B → Rev.C 版本升级后 WD Q&A 算法更改,tWD_window 从 8 ms 变为 12 ms (版本变更见 TLF35584 Safety Manual 版本说明)。MCU 侧 WD 服务间隔按 Rev.B = 7 ms 设计,Rev.C 下仍满足(12 ms > 7 ms);但 FMEDA 封面标注"TLF35584 Safety Manual Rev.B"的 = 96% 是基于 Rev.B 内部 SM 实现——Rev.C 内部 SM 已改变,DC 需重新评估归零。AoU 变更管理(ISO 26262-8 §6)必须在 ECN 里触发 FMEDA 影响分析,这条最常在量产件小版本升级时被遗漏。
9. FSM 状态机 × FMEDA 互锁 — 双联姊妹页正式接口
本节与 EV 上下电 FSM 深度 §7.4(时序对照)记录的 FTTI 接口形成正式工程接口:FMEDA 决定每条 SM 路径的可靠性( / ),FSM 决定每条 SM 路径的响应时序(FTTI 各段);两者必须自洽——FMEDA 声称"DESAT = 99%",FSM FTTI 预算必须把 DESAT 路径时间 ≤ SCSOA(3 µs)分配进 tFTTI_HW = 1.22 µs(工程估算),否则 的论证基础失效。
9.1 接口定义:FSM 状态 × FMEDA SM 路径
下表定义 FSM 各状态与 FMEDA 安全机制路径的对应关系,包括时序要求和 来源。FSM 路径时序与 FMEDA 器件 脱钩计算是最常见 I3 退回原因(见 §5 拦路问题 #1)。
| FSM 状态 | 触发的 FMEDA SM 路径 | 时序要求(FTTI 预算) | FMEDA 来源 |
|---|---|---|---|
| DRIVE → FAULT(SC 检测) | 1EDI3035AS DESAT(tblank + tfilter + tSOFTOFF) | tFTTI_HW ≤ 1.22 µs(SCSOA 3 µs × 40% 余量) | Infineon 1EDI3035AS SM (见 1EDI3035AS Safety Manual) |
| DRIVE → SAFE_STATE(SW 监控) | TC397 FSM + SafeTLib + PWM 关闭 | tFTTI_SW ≤ 56 ms(HARA 要求,裕量 3.6×) | TC397 SM: ≈ 99.24% |
| PRECHARGE → HV_READY(粘连检测) | K1 粘连诊断(HV 电压测量路径) | 在 HV_READY 进入前完成(FSM PRECHARGE 态) | [hv-precharge 页 ASIL C 诊断路径] |
| INIT → PRECHARGE(握手验证) | TLF35584 INIT_OK(WD Q&A 握手) | ≤ tINIT_window = 250 ms(典型值;见 TLF35584 Safety Manual INIT_OK 窗口参数) | TLF35584 SM:(见 TLF35584 Safety Manual) |
| 任意 → FAULT(过温 OT) | NTC → TC397 ADC → PWM 关闭(SW 路径) | tFTTI_SW ≤ 56 ms(共用 SW 预算) | TC397 ADC + SafeTLib:(SW 路径) |
9.2 FTTI × PMHF 自洽核
PMHF 精确公式(ISO 26262-5 Annex C.4)中,texposure 是每次 drive cycle 的平均暴露时长,由 HARA 的 E 参数(曝光程度)决定——城市工况 E4 对应 texp ≈ 1 h (SAE J2980 E参数定义,E4=城市工况):
FTTI 通过**决定哪些 SM 路径能计入 **来影响 PMHF:
- FTTI = 200 ms(基准):HW DESAT(1.22 µs)✓ + SW FSM(14 ms)✓ + 过温 NTC(56 ms)✓ 全计入 DC → PMHF = 4.34 FIT
- FTTI = 50 ms(L4 压缩):HW DESAT(1.22 µs)✓ + SW FSM(14 ms)✓ + 过温 NTC(56 ms > 50 ms)——退出 DC → PMHF 升高 (精确值取决于 DC_SPF,NTC 是否退出计算)
- FTTI = 10 ms(极端压缩):仅 HW DESAT(1.22 µs)✓,SW FSM(14 ms)退出 + 过温 NTC 退出 → PMHF 可能超 10 FIT 阈
结论:FTTI 假设变化 = PMHF 结论变化。HARA 里任何改变 FTTI 的修订(如 L4 自动驾驶等级上调)必须触发 FMEDA + FSM 联动更新,并在 Safety Case GSN Evidence 里标注两文件版本号。
核心要点
- EV 主驱 ECU FMEDA = 三链平行(AUX 120 + 主功率 80 + MCU+其他 50 = 250 FIT)
- raw 合并 SPFM 96.5% 不过 ASIL D 99% 阈(driver 链是瓶颈)
- 系统级 SM 补救(MCU SafeTLib + CLAMP 自检)→ SPFM 98.6%(仍差 0.4%)
- B(D)+B(D) 分解:双链各按 B 开发(单链 SPFM 97.9% / LFM 96%),但 SG 仍 D、合并架构仍须 SPFM≥99% / LFM≥90%,靠互补诊断 + DFA 达标(分解 ≠ 降阈)
- 跨链 SM 矩阵:MCU 是中心节点(被 SBC 监 + 监 driver/SBC 双向)
- Safety Case GSN tree:Goal → Strategy → Sub-Goals → Solutions → Evidence
- ISO 26262-10 §5.4 8 段对标 GSN 节点,任一段缺 Evidence = defeater
- I3 评审 5 大拦路:driver SPFM(77%)/ CLAMP latent / DFA 7 类 / FIT 库 / GSN defeater
- FSAR 闭合 8 项,任一不过 ECU 不能 SOP,18–24 月项目周期
- 5 工程陷阱:FIT 库不一致 / 跨链 SM 漏 / B(D)+B(D) 独立性 / GSN 断头 / FSAR 错序
缩写表
只列本页系统级专业术语:
| 缩写 | 全称 / 中文 | 备注 |
|---|---|---|
| B(D)+B(D) | ASIL B(D) decomposition | Part 9 §5 拆双独立通道,各按 B 开发;合并仍须达 D 度量 |
| C1 | (GSN) Context node | 边界 / 假设 |
| Defeater | Safety Case defeater | 论证缺口,任何 sub-goal 没 evidence 即是 defeater |
| Evidence | (GSN) Evidence | FMEDA / test report / I3 证书 等具体证据 |
| FSAR | Functional Safety Assessment Report | 功能安全评估报告(SEooC + 项目闭合) |
| GSN | Goal Structuring Notation | Safety Case 标准可视化(v3 Community Standard) |
| Goal | (GSN) Goal node | 要证明的安全声明 |
| HARA | Hazard Analysis and Risk Assessment | 危害分析与风险评估(V-cycle 起点) |
| I3 | Independent Safety Assessment | 独立安全评估(TÜV / SGS / DEKRA) |
| RACI | Responsible / Accountable / Consulted / Informed | Safety Manager 团队 RACI 矩阵 |
| SafeTLib | TI / Infineon MCU safety library | MCU 端 SM 软件库,补 driver SPFM |
| Sn | (GSN) Solution node | Evidence 落点 |
| S1 | (GSN) Strategy node | 论证策略 |
| Safety Case | ISO 26262-10 §5.4 安全案例 | I3 评审的核心交付物 |
| SEooC | Safety Element out of Context | 跨组织安全件(driver IC / SBC) |
| SM | Safety Mechanism | 安全机制 |
| SOP | Start of Production | 量产开始(I3 签字后) |
Cross-references
- ← 索引
- 功能安全工程师指南 — 上位 hub
- 辅助电源 FMEDA + DFA 深度 — ① AUX 链 worked(链 1)
- Driver IC FMEDA worked deep — ② 主功率链 worked(链 2)
- ASIL 分解深度 — B(D)+B(D) 4 条规则
- Fail-Operational Architecture 深度 — 双链物理实现(6 相双绕组)
- Safety Case — GSN 浅页综述
- FMEDA 深度 — SPFM/LFM/PMHF 数学
- 共因失效(CCF)深度 — 7 类 DFI 详解
- Lockstep Core 深度 — MCU 系统级 SM 平台
- Safety Manager 角色深度 — FSAR 闭合签字
- Safety Manual 写作模板深度 — Tier-2 SEooC 写作
- Aurix TC3xx ASIL D — MCU SafeTLib 平台