汽車功能安全系統階段開發【技術安全方案TSC以及安全分析】5

文章目錄

  • 1 技術安全方案 (Technical Safety Concept - TSC)
  • 2 系統安全架構設計 (System Safety Architecture Design)
  • 3 如何進行安全分析 (Safety Analysis)
  • 4 技術安全需求 (TSR) 如何分配到系統架構

1 技術安全方案 (Technical Safety Concept - TSC)

  • 技術安全方案 (Technical Safety Concept - TSC)
    • 是什么: TSRs 在更高層次技術實現上的頂層設計方案,屬于系統階段圍繞TSR開發的工作內容匯總,形成的系統化工作輸出結果。它描述了如何通過技術手段(硬件、軟件、系統結構)來滿足TSRs。TSC 是系統安全架構設計的主要輸入之一。如下圖:
      在這里插入圖片描述

    • 核心:

      • 識別和定義所需的關鍵安全機制(SM)。
      • 描述這些安全機制在系統層面如何協同工作以實現安全目標。
      • 描述系統元素(硬件、軟件模塊、外部設備)之間為確保安全所需進行的交互。
      • 初步考慮故障檢測、處理流程和安全狀態實現路徑。
      • 目標: 將分散的TSRs 整合為一個連貫的、技術可行的實現藍圖
    • 特點:

      • 比TSR更抽象(尚未細化到具體硬件選型或軟件實現)。
      • 側重于技術策略和邏輯關系。
      • 定義了系統層面的安全行為邏輯。
    • 示例:

    TSC
    實施SM1
    實施SM2
    實施SM3
    實施SM4
    共同確保
    共同確保
    共同確保
    共同確保
    安全目標: 避免非預期的剎車
    策略: 雙通道控制邏輯
    策略: 信號一致性檢查
    策略: 獨立監控單元
    策略: 緊急通信超時處理
    安全機制1: 主/輔邏輯通道
    安全機制2: 輸入信號合理性監控
    安全機制3: 看門狗監控器
    安全機制4: 超時進入安全狀態

2 系統安全架構設計 (System Safety Architecture Design)

  • 系統安全架構設計 (System Safety Architecture Design)
    • 是什么: 基于TSC,定義系統的物理或邏輯結構,明確各組件/元素及其接口,并分配功能和安全要求(包括TSRs)到這些元素。它是系統設計藍圖,特別關注滿足安全要求所需的架構特性。

    • 關鍵活動:

      • 分解系統: 識別系統的邏輯和/或物理元素(ECUs、傳感器、執行器、軟件分區、硬件模塊)。
      • 定義接口: 明確定義元素之間的交互接口(信號、協議、時序要求),包括安全相關信息的傳輸。
      • 分配安全要求: 將TSC中定義的策略和TSRs 細化并分配到具體的系統元素和接口上。
      • 實現安全機制: 設計架構以支持TSC中定義的安全機制(如冗余通道、監控單元、分區隔離)。
      • 實現: 定義滿足非功能性TSRs(如FTTI, DC)的架構手段(如通信速率、硬件選擇、軟件調度)。
      • 獨立性/隔離: 確保關鍵元素或冗余通道在故障傳播上具有足夠的獨立性(空間/時間/因果)。
      • 要素定義: 明確每個元素的內部和外部功能、接口要求、資源需求。
    • 目標: 創建一個能夠有效實施TSC、滿足所有安全需求可行的系統結構。

    • 示例:
      在這里插入圖片描述

    • 說明: 這個簡化的架構展示了制動相關元素:主制動ECU (BCU)、輪速傳感器、電子手剎ECU (EPB)、監控ECU (MON) 和CAN總線。架構體現了:

      • 傳感器輸入到BCU。
      • BCU包含主控制邏輯和安全邏輯分區(實施TSC中的雙通道策略)。
      • 監控單元獨立監控BCU和EPB的活動(看門狗),并檢查總線數據完整性(CRC)。
      • CAN總線用于通信。
      • 安全狀態指示通過儀表盤實現。

3 如何進行安全分析 (Safety Analysis)

安全分析貫穿ISO 26262開發流程的各個階段,是識別危害、定義安全目標和驗證設計方案的核心手段。主要方法:

  1. 危害分析和風險評估 (Hazard Analysis and Risk Assessment - HARA):

    • 目的: 識別由系統故障行為引起的潛在危害場景,并為每個危害場景確定汽車安全完整性等級 (ASIL)。
    • 輸入: 功能描述、運行場景。
    • 輸出: 危害事件清單、安全目標 (Safety Goals - SGs) 及其ASIL等級。
    • 方法: 頭腦風暴、場景分析、FMEA/FTA啟發。
  2. 故障樹分析 (Fault Tree Analysis - FTA):

    • 目的: 自頂向下 分析特定頂層事件(通常是違反安全目標)發生的根本原因組合。量化分析(可選)。
    • 輸入: 安全目標、高層系統架構。
    • 輸出: 導致頂層事件的邏輯組合路徑(最小割集)、識別系統薄弱點。
    • 作用:
      • 支持安全目標定義和ASIL分解。
      • 驗證架構設計(展示設計是否能阻止故障傳播)。
      • 確認安全機制的有效性。
    • 流程圖: FTA本身是樹狀圖,不易用線性流程圖表達邏輯。可理解為:
      • 頂事件: 違反SG(如“非預期急加速”)。
      • 中間事件: 導致頂事件的組合邏輯(AND/OR門連接)。
      • 底事件: 基本故障(傳感器失效、軟件bug、通信丟失)。
        在這里插入圖片描述
  3. 失效模式與影響分析 (Failure Mode and Effects Analysis - FMEA):

    • 目的: 自底向上 系統地識別組件(零件、軟件模塊、接口)的所有潛在失效模式 (Failure Mode) ,分析其本地影響對上級元素的影響,以及最終對系統或車輛層面的影響(是否能違反安全目標)。
    • 輸入: 詳細的設計信息(組件規格、接口定義)。
    • 輸出: 失效模式列表及其影響、嚴重性等級、檢測方法、改進措施(通常是安全機制)。
    • 作用:
      • 識別單點故障和潛在多點故障。
      • 推導出對安全機制的需求(特別是檢測措施)。
      • 支持設計改進,提高魯棒性。
    • 流程圖(簡化過程):
識別系統元素
針對每個元素,識別所有潛在失效模式
分析每個失效模式的本地影響
分析失效模式對上級系統功能的影響
分析該影響是否會違反安全目標? 嚴重度評估
分析當前設計能否檢測該失效? 探測度評估
識別/定義所需安全機制以檢測或緩解
結束該失效模式分析
  1. 相關性失效分析 (Dependent Failure Analysis - DFA):
    • 目的: 識別可能導致冗余或多樣性安全機制同時失效的共同原因 (Common Cause) 或級聯失效 (Cascading Failures)
    • 類型:
      • 共因失效 (CCF): 由同一個根本原因導致多個元素同時失效(如電壓浪涌損壞多個芯片)。
      • 級聯失效: 一個元素的失效引發另一個元素的失效(如某模塊崩潰導致共享內存損壞)。
    • 作用: 確保安全機制之間以及安全機制與被監控元素之間具有足夠的獨立性。評估FTA/FMEA中可能遺漏的共同失效場景。
    • 方法: 特定方法(如CCFA - Common Cause Failure Analysis),檢查表(分析空間隔離、時間隔離、設計多樣性、環境應力等)。

總結安全分析的關系: HARA定義頂層目標和風險等級;FTA和FMEA互為補充,分別從頂向下和自底向上識別設計中的故障弱點,并指導安全機制的設置和驗證;DFA則專門應對安全機制本身可靠性的關鍵問題(獨立性)。它們共同確保系統設計能滿足安全目標。

4 技術安全需求 (TSR) 如何分配到系統架構

這是系統安全架構設計的核心活動之一。目標是清晰、無歧義地將TSRs落實到具體的系統元素上,確保每個元素的職責明確,并最終能追溯回安全目標。

  1. 分配流程:
輸出
系統安全架構
元素級技術安全要求
接口規范
帶安全分配的架構規格
分配活動
分配功能性和非功能性TSRs到元素
定義元素間的接口需求
分解高階TSRs為細化TSRs
確認獨立性要求
系統元素1
系統元素2
系統元素...
接口1
接口...
輸入
技術安全要求(TSRs)
技術安全方案(TSC)
  1. 關鍵步驟詳解:

    • 理解TSC和TSRs: 深刻理解技術安全方案中定義的安全策略以及每條TSR的具體內容和意圖(功能性、診斷覆蓋率、FTTI、安全狀態等)。
    • 分析架構元素: 仔細審視系統架構草案(如ECU框圖、軟件模塊劃分、總線網絡拓撲)。
    • 映射策略到元素:
      • 識別責任歸屬: 對于TSC中定義的每個安全策略或安全機制,確定由哪個(或哪幾個)系統元素主要負責實現(Implement)和/或執行(Execute)。哪個元素負責檢測到故障后觸發進入安全狀態?哪個元素負責監控?哪個元素負責執行降級操作?
        • 示例(雙通道轉向控制策略):
          • 主通道邏輯實現 -> 主ECU軟件模塊A
          • 冗余通道邏輯實現 -> 主ECU軟件模塊B (或在獨立冗余ECU上)
          • 通道比較監控 -> 主ECU內安全監控模塊C (或獨立監控ECU)
          • 輸出驅動 & 檢測到不一致時限制輸出 -> 主ECU驅動模塊D
      • 分配TSRs: 將與該策略/機制直接相關的TSRs 分配或細化后分配到對應的元素上。
        • 示例:
          • TSR-DC1 (通道比較診斷覆蓋率≥99%) -> 分配給負責實現比較功能的模塊C (細化:模塊C需要能夠比較A和B的輸出結果,并能在XX時間內檢測到YY范圍內的差異)。
          • TSR-T1 (主通道失效切換時間≤50ms) -> 分配給模塊C (需在X ms內檢測到異常) + 模塊D (需在Y ms內執行切換和限制邏輯,且X+Y ≤ 50ms)。
    • 定義接口需求: 為了實現元素間協作執行安全功能(如傳遞監控結果、觸發安全狀態、同步冗余數據),必須在元素接口規范中明確定義安全相關的要求
      • 需要交換哪些安全相關的信號/數據
      • 傳輸這些信號的協議是什么?(如AUTOSAR COM、帶有CRC/Counter的PDU)
      • 時序要求(最大延遲、超時)?
      • 數據的新鮮度/有效性如何保證?(如時效管理)
      • 錯誤檢測機制?(如校驗和、信號范圍檢查)。
      • 示例:
        • 主ECU模塊A和模塊B向模塊C發送計算結果數據,接口定義:
          • 需包含CRC校驗(滿足可靠性要求)。
          • 最大傳輸延遲 ≤ 5ms(滿足總體FTTI要求的一部分)。
          • 數據需帶時間戳或序號(滿足新鮮度要求)。
        • 模塊C檢測到不一致需要通知模塊D,接口定義:
          • 高優先級中斷信號或專用快速通信通道。
          • 傳輸延遲≤ 1ms。
    • 細化TSRs: 系統級的TSRs通常比較抽象。分配到元素時需要將其細化(Decompose) 為該元素級別的、更具體、可驗證的要求。
      • 系統級TSR: 整個制動系統的非預期制動響應FTTI ≤ 150ms。
      • 細化分配到元素級:
        • 傳感器失效檢測時間(TSR-Sensor-Detect) ≤ 50ms
        • 信號處理延遲(TSR-ECU-Process) ≤ 30ms
        • 安全狀態激活延遲(TSR-ECU-Actuate) ≤ 30ms
        • CAN通信延遲(TSR-CAN-Delay) ≤ 40ms (用于監控/響應信息傳遞)
        • 驗證

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/news/913682.shtml
繁體地址,請注明出處:http://hk.pswp.cn/news/913682.shtml
英文地址,請注明出處:http://en.pswp.cn/news/913682.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

學習軟件測試的第十二天(接口測試)

一.如果一個接口請求不通,那么你會考慮那些方面的問題?如果一個接口請求不通,我會像“排查水管漏水”一樣一步步定位問題發生在哪一段,主要從這幾個方向去思考:當一個接口請求不通時,我會從以下幾個方面進行…

Linux下的C/C++開發之操作Zookeeper

ZooKeeper C 客戶端簡介與安裝ZooKeeper C API 簡介ZooKeeper 官方提供了多語言客戶端,C 語言客戶端是最底層的實現之一,功能全面且穩定,適合嵌入式開發、系統級組件、C 項目集成等場景。zookeeper.h 是 ZooKeeper 提供的 C 語言客戶端頭文件…

【openp2p】學習3:【專利分析】一種基于混合網絡的自適應切換方法、裝 置、設備及介質

本專利與開源項目無關,但可能是實際商用的一種專利。專利地址從此專利,可見p2p的重要性。透傳服務可能是實時轉發服務,提供中繼能力 透傳服務可以是指一種通過公網服務器將數據從第一客戶端傳遞到另一個設備 或客戶端的服務。這種服務通常用于克服網絡中的障礙,如防火墻、…

OpenCV中DPM(Deformable Part Model)目標檢測類cv::dpm::DPMDetector

操作系統:ubuntu22.04 OpenCV版本:OpenCV4.9 IDE:Visual Studio Code 編程語言:C11 算法描述 OpenCV 中用于基于可變形部件模型(DPM) 的目標檢測器,主要用于行人、人臉等目標的檢測。它是一種傳統的基于特…

macOS 26快捷指令更新,融入AI打造智能操作體驗

快捷指令作為Mac系統中提升用戶操作效率的得力助手,在macOS 26中迎來了一次具有突破性的重大更新。此次更新融入了先進的AI技術,推出“智能操作”(Intelligent Actions)功能,讓快捷指令從簡單的自動化工具升級為真正的…

InstructBLIP:邁向具備指令微調能力的通用視覺語言模型

溫馨提示: 本篇文章已同步至"AI專題精講" InstructBLIP:邁向具備指令微調能力的通用視覺語言模型 摘要 大規模的預訓練與instruction tuning在構建通用語言模型方面已取得顯著成效。然而,構建通用的視覺-語言模型仍然具有挑戰性&…

基于dropbear實現嵌入式系統ssh服務端與客戶端完整交互

以下基于 Dropbear 實現 SSH 服務端與客戶端交互的完整步驟,涵蓋服務端部署、客戶端連接、認證配置及消息傳輸,結合了多篇權威資料的核心實踐:環境準備與安裝 服務端安裝 ? Linux 系統(以 Ubuntu/CentOS 為例) Ubuntu…

深圳安銳科技發布國內首款4G 索力儀!讓斜拉橋索力自動化監測更精準高效

近日,深圳安銳科技正式發布國內首款無線自供電、一體化的斜拉索實時監測設備 “4G索力監測儀”,成功攻克了傳統橋梁索體監測領域長期存在的實時性差、布設困難和成本高昂的行業難題,為斜拉橋、系桿拱橋提供全無線、自動化、云端實時同步的索力…

Pipeline 引用外部數據源最佳實踐

場景解析在企業網絡安全日志處理場景中,防火墻、入侵檢測系統(IDS)等設備會持續產生大量日志,記錄網絡流量、訪問請求、異常事件等基礎信息,但這些原始日志僅能呈現表面現象,難以全面剖析安全威脅&#xff…

UI + MCP Client + MCP Server(并且鏈接多個Server)

項目結構前端項目--------->MCP Client----------->MCP Serverserver就不過多贅述了,他只是相當于添加了多個的tools 鏈接前后端 http.createServer創建一個服務器// ---------------------------------------------------------------- // server.js import …

香港站群服務器與普通香港服務器對比

在選擇香港服務器時,用戶常常會遇到"站群服務器"和"普通服務器"兩種選項,雖然它們都基于香港數據中心的基礎設施,但在 IP 地址配置、功能定位和管理復雜度、成本上存在顯著差異,理解這些差異有助于用戶根據實…

4.B樹和B+樹的區別?為什么MySQL選擇B+樹作為索引?

區別:1.數據存儲位置B樹每個節點都存儲了索引和數據B樹只有葉子節點存儲數據,非葉子節點僅存儲索引2.葉子節點的鏈接B樹的所有葉子節點通過指針連接成一個雙向鏈表,可以高效地進行范圍查詢或者順序遍歷B樹則沒有這樣的連接關系,查…

轉換狂魔,Modbus TCP轉Profinet網關打通視覺傳感線連接之路

在汽車零部件沖壓生產線的世界中,液壓機的壓力穩定性是確保產品質量的秘密武器。然而,舊時代的人工巡檢和傳統監測方式卻好似拖累現代化進程的沉重枷鎖:效率低、成本高,還總是趕不上實時反饋的快車。這時,工廠決心大刀…

C++進階—二叉樹進階

第一章:內容安排說明 map和set特性需要先鋪墊二叉搜索樹,而二叉搜索樹也是一種樹形結構二叉搜索樹的特性了解,有助于更好的理解map和set的特性二叉樹中部分面試題稍微有點難度,在前面講解大家不容易接受,且時間長容易…

驅動下一代E/E架構的神經脈絡進化—10BASE-T1S

汽車電子電氣架構的演進正經歷一場深刻的變革,“中央計算單元區域控制器”的架構模式已成為當前主流車型平臺發展的明確方向。這種從傳統的“功能域”(Domain)架構向“區域”(Zonal)架構的轉型升級,旨在實現…

某學校系統中挖礦病毒應急排查

本篇文章主要記錄某學校長期未運營維護的程序,被黑客發現了漏洞,但好在學校有全流量設備,抓取到了過程中的流量包 需要你進行上機以及結合流量分析,排查攻擊者利用的漏洞以及上傳利用成功的木馬 文章目錄靶機介紹1.使用工具分析共…

vue 、react前端頁面支持縮放,echarts、地圖點擊左邊不準的原因和解決辦法

原因 由于以上都是通過canvas畫布生成的,一旦初始化,就會按照比例進行縮放,但與此同時,比例尺并沒有變化,導致坐標偏移 解決辦法 設置一個zoomVal產量,在頁面加載時計算縮放比例,然后在canvas容…

(LeetCode 每日一題) 1353. 最多可以參加的會議數目 (優先隊列、小頂堆)

題目:1353. 最多可以參加的會議數目 思路:優先隊列實現小頂堆,0(mx*logn) 在第i天,優先選endDay最小的那一個活動進行。那么遍歷每一天,用小頂堆來維護每個活動的最后一天即可,細節看注釋。 C版本&#xf…

Java結構型模式---代理模式

代理模式基礎概念代理模式是一種結構型設計模式,其核心思想是通過創建一個代理對象來控制對另一個真實對象的訪問。代理對象在客戶端和真實對象之間起到中介作用,允許在不改變真實對象的前提下,對其進行增強或控制。代理模式的核心組件主題接…

MySQL流程控制函數全解析

MySQL 中的流程控制函數(也稱為條件函數)允許你在 SQL 語句中進行邏輯判斷,根據不同的條件返回不同的值或執行不同的操作。它們極大地增強了 SQL 的靈活性和表達能力,尤其在進行數據轉換、結果格式化、條件聚合和復雜業務邏輯實現…