單元 5 · 安全目標與安全需求(FSR/TSR)

安全目標撰寫、ASIL 分解、FSR/TSR 範例

5.1 從安全目標到安全需求

安全目標(SG)是「最高層的安全要求」。接著要把每個 SG 拆解成:

層級名稱層面範例
Item 層FSR(功能安全需求)「做什麼」必須偵測行人碰撞風險
系統層TSR(技術安全需求)「怎麼做」以雷達在 30 m 內偵測行人
硬體/軟體層HWR / SWR「落在哪」感測器取樣 ≥ 30 Hz
關鍵:每一層需求都要帶ASIL 屬性雙向追溯(往上一層問「這滿足誰」,往下一層問「這由誰實現」)。

5.2 FSR 撰寫規則

範例 FSR
FSR-01(ASIL D)|來源 SG-AEB-01
當前方 30 m 內出現行人且碰撞時間(TTC)< 1.2 s 時,
AEB 必須啟動煞車。

FSR-02(ASIL D)|來源 SG-AEB-01
AEB 啟動後,若行人離開路徑,必須停止煞車以避免誤煞。

5.3 TSR 撰寫規則

範例 TSR
TSR-01(ASIL D)|來源 FSR-01
前雷達模組必須以 ≥ 30 Hz 輸出目標清單(含距離/相對速度/類別),
端到端延遲 ≤ 50 ms。

TSR-02(ASIL D)|來源 FSR-01
煞車控制單元須在收到煞車指令後 20 ms 內輸出致動命令;
若致動失敗,須在 100 ms 內報告並切換到備援路徑。

安全機制 SM-01:雷達離線偵測(心跳 50 ms),失效時 200 ms 內
進入安全狀態(關閉 AEB 並警示駕駛)。

5.4 ASIL 分解

ASIL 分解是把高 ASIL 需求拆給多個獨立元件,例如 ASIL D 拆成 ASIL C(D) + ASIL A(D)(括號保留原 ASIL 以追溯)。

原 ASIL分解組合例
ASIL DASIL C(D) + ASIL A(D)
ASIL DASIL B(D) + ASIL B(D)
ASIL CASIL B(C) + ASIL A(C)
注意:分解要滿足獨立性(避免共因失效,常用 DFA 驗證)。分解不是「把 ASIL 變小」的手段,而是「用冗餘換需求分散」的設計策略。

5.5 Worked Example:從 SG 到 TSR 的完整鏈

範例
SG-AEB-01(ASIL D)
  └── FSR-01(ASIL D)|偵測行人碰撞風險 → 啟動煞車
        └── FSR-01.1(ASIL D)|雷達感測行人(感知)
        └── FSR-01.2(ASIL D)|ECU 判定 TTC 並下指令(決策)
        └── FSR-01.3(ASIL D)|致動器執行煞車(執行)
              └── TSR-01.3.1(ASIL D)|煞車致動 ≤ 20 ms
              └── TSR-01.3.2(ASIL D)|致動失敗 100 ms 內報告
              └── 分解:TSR-01.3.1 拆為 ASIL C(D) 主路 + ASIL A(D) 監視路

動手:把你單元 4 的安全目標,拆出至少 3 條 FSR 與 3 條 TSR。

5.6 深入原理:需求分解不是翻譯,而是責任分配

SG、FSR、TSR 的差異在於抽象層與責任邊界。SG 描述必須避免的危害;FSR 描述系統應具備的安全行為,不預先綁定實作;TSR 則將行為分配到感測、計算、通訊、致動與診斷元件。每次分解都要保留完整性、時序、故障反應與驗證準則。若 TSR 只寫功能、不寫失效反應,追溯表看似完整,安全論證仍會斷裂。

需求層必答問題驗證角度
SG要避免哪個不合理風險?危害情境與安全狀態
FSR系統必須展現什麼安全行為?功能、觸發條件、反應時間
TSR哪些元件如何共同實現?介面、診斷、獨立性、故障注入

5.7 Worked Example:檢查一條需求是否真的可驗證

範例
不良 TSR:「系統應快速偵測雷達故障並安全處理。」
可驗證 TSR:「雷達心跳連續 50 ms 未收到時,ECU 必須在 100 ms
內禁止新的自動煞車請求、記錄診斷碼 DTC-RADAR-01,並點亮警示。」
驗證:停止心跳,量測 50 ms + 100 ms 上限、輸出狀態與 DTC。

5.8 練習

  1. 把一條模糊的安全需求改寫成含觸發、反應、限制與驗證的版本。
  2. 畫出一條 SG→FSR→TSR→SWR 的責任分配鏈。
  3. 說明 ASIL 分解時,為何必須另外檢查共因失效與獨立性。

5.9 交付物檢查清單

若其中一項回答為「不知道」,先不要把需求移交給實作;把缺口登錄為評審議題,指定負責人與完成條件,再重新建立基線。

看完這單元你應該能說出:
  • 從安全目標衍伸出功能安全需求(FSR)。
  • 把 FSR 細化成技術安全需求(TSR)。
  • 說明 ASIL 分解的原理與注意事項。

延伸閱讀

5.A 進階真實情境 Worked Example

進階範例:混合訊號 ASIC 的硬體安全機制設計
元件:車用電源管理 IC(PMIC),負責 ECU 供電。
ASIL 等級:ASIL D(因為是安全關鍵 ECU 的電源)

硬體架構:
┌────────────────────────────────────────────────────────────┐
│                    PMIC                                    │
│  ┌──────────┐  ┌──────────┐  ┌──────────┐                │
│  │ LDO 5V   │  │ Buck 3.3V│  │ LDO 1.8V │                │
│  └────┬─────┘  └────┬─────┘  └────┬─────┘                │
│       │              │              │                      │
│  ┌────┴──────────────┴──────────────┴────┐                │
│  │     電壓監控器(Voltage Supervisor)   │                │
│  │     • 過壓檢測(OVP)                  │                │
│  │     • 欠壓檢測(UVP)                  │                │
│  │     • 開路檢測(Open Load)            │                │
│  └───────────────────────────────────────┘                │
│  ┌───────────────────────────────────────┐                │
│  │     故障注入測試點                     │                │
│  │     • 測試點 TP-01:LDO 輸出          │                │
│  │     • 測試點 TP-02:Buck 輸出         │                │
│  └───────────────────────────────────────┘                │
└────────────────────────────────────────────────────────────┘

安全機制設計:
  SM-01:電壓窗口監控(3.1V ~ 3.5V),偏差 > 5% 觸發重置
  SM-02:電流限制(Current Limit),過流 > 500mA 觸發關斷
  SM-03:溫度監控,結溫 > 150°C 觸發降額
  SM-04:冗餘電壓檢測(雙通道交叉驗證)

FMEDA 計算:
  SPFM(單點故障度量):要求 ≥ 99%(ASIL D)
  LFM(潛在故障度量):要求 ≥ 90%(ASIL D)
  設計達成:SPFM = 99.2%,LFM = 91.5%

5.B 深入原理擴充

ISO 26262 Part 5 §8 要求「硬體架構度量」(Hardware Architectural Metrics) 必須在硬體設計階段驗證:SPFM、LFM、PMHF(Probabilistic Metric for Hardware Failures)。 這些度量直接影響硬體的 ASIL 達標能力。

關鍵概念:故障模式與影響分析(FMEDA)是 ISO 26262 Part 5 的核心工具。 與傳統 FMEA 不同,FMEDA 聚焦於量化:每個故障模式的失效率(λ)、偵測率、 潛在故障比例。FMEDA 結果直接用於計算 SPFM/LFM,是硬體安全驗證的數學基礎。

5.C 診斷式疑難排解表

症狀可能原因解決方案
SPFM 未達 ASIL D 要求故障偵測覆蓋率不足增加冗餘偵測機制(如雙通道電壓監控),提高偵測率
PMHF 超標元件失效率(λ)資料不準確使用 SIEMENS/Textron 等汽車級元件的失效率資料,而非商用級
FMEDA 結果與實際不符測試條件未模擬真實環境在 -40°C ~ +150°C 溫度範圍內驗證故障注入測試

5.D 進階挑戰題

  1. 為 PMIC 的 LDO 5V 模組撰寫完整的 FMEDA 表,至少包含 5 種故障模式。
  2. 若 PMIC 需支援 ASIL D + ASIL B 的混合供電,如何設計電壓分離策略?
  3. 計算 PMHF:已知 λ_total = 100 FIT,SPFM = 99%,LFM = 90%,求 PMHF 並判斷是否符合 ASIL D。