女人书籍排行榜,完结小说排行榜,有声

隨著智能駕駛技術的快速發展，汽車電子電氣(E/E)系統的復雜度顯著提升，功能安全已成為其開發過程中不可或缺的關鍵要素。

依據ISO 26262標準要求，功能安全開發活動通常數量眾多且關聯性強。基于以往項目經驗，傳統開發模式主要存在以下痛點：

1）數據冗余與重復錄入：各安全活動往往分散于不同的工具執行，工具在進行開發前需反復導入相同的初始數據，產生大量冗余數據并依賴人工確認。

2）可追溯性差與維護成本高：多工具并行開發導致功能安全數據交互頻繁且缺乏可追溯性，當需求變更時，維護成本高；同時也容易導致安全分析結果與策略設計脫節，可能會出現遺留單點/潛伏故障的風險。

3）無法實現自動化：功能安全開發過程中，需求管理、功能安全需求(FSR)、技術安全需求(TSR)等文檔的編輯與生成高度依賴手動操作，無法實現自動化生成，需要大量的人工成本。

針對以上在功能安全開發過程中的痛點，基于多年功能安全的開發經驗，經緯恒潤提出“符合功能安全開發標準的高效平臺化實踐方案”。該方案在傳統開發基礎上，通過Medini analyze工具將功能安全開發活動平臺化，實現支持全生命周期的開發驗證，提供完整清晰的證據鏈，確保追蹤性、一致性，并通過對Medini analyze工具的二次開發，實現多個功能安全產物的自動化輸出。

Medini Analyze是一個針對功能安全開發的平臺化工具，對于整個功能安全標準開發流程來說，可以覆蓋part3/4/5/6/9/10/11，支持全生命周期的開發驗證。通過集成式平臺化的工具進行開發，可以有效避免重復數據導入帶來的大量重復工作量。

功能安全的可追溯性，主要體現為架構-需求-安全分析之間的追溯和不同層級之間需求的追溯。

針對架構-需求-安全分析之間的追溯，需要在開發過程中形成追溯閉環，以系統階段的開發為例，在確認了初始系統方案之后，會對系統方案進行安全分析，來找出當前系統方案中可能存在的故障，通過Medini Analyze工具進行FTA/FMEA分析（以FTA為例）即可實現架構與安全分析之間的追溯；

得到FTA的分析結果之后，Medini Analyze工具通過基于每一個底事件進行安全機制的設計覆蓋與需求的導出，從而實現安全分析與需求之間的追溯；

得到系統階段的安全需求之后，Medini Analyze工具通過對需求的分配，可以將安全需求分配給當前系統方案中的各個模塊，即可實現需求與架構之間的追溯，從而最終實現架構-需求-安全分析之間的追溯閉環。

功能安全的核心思路就是不同層級之間需求的傳遞與追溯。針對需求的追溯，Medini Analyze工具通過添加需求列表屬性或者繪制需求關系圖來實現。

針對在功能安全開發過程中會涉及到的大量的文本編輯和修改，經緯恒潤在Medini Analyze工具的基礎上，通過二次開發可以實現FSR與TSR的自動生成，M2Doc輸出的定制化功能安全報告，以及基于simulink實現軟件詳設文檔自動生成、建模規范的自動適配與檢查。

1） FSR與TSR的自動生成

基于功能安全FSR與TSR的開發流程，通過對Medini Analyze工具的二次開發，實現FSR和TSR的自動化生成。概念階段通過FTA安全分析的結果，即可自動生成FSR列表；系統階段則通過安全機制設計描述即可自動生成TSR列表。

2） M2Doc輸出的定制化功能安全報告

M2Doc是一種用于自動生成定制文檔的工具，它提供了一種靈活且強大的方法來創建各種類型的文檔，包括報告、規范、用戶手冊等。

用戶可以輕松地定義Medini Analyze輸出報告的格式和內容，從而實現高度定制化的功能安全報告生成。根據用戶的需求定制功能安全報告模板，包括插入圖片，表格生成，目錄生成等等。

3）軟件詳設文檔自動生成、建模規范的自動適配與檢查

ISO26262 Part6 Clause 8主要針對模型或代碼的開發文檔提出了諸多要求，通過調用自研的自動化插件，將simulink模型一鍵式自動生成詳設文檔，具有較好的適配性、交互性和可維護性。

根據ISO26262標準以及行業廣泛應用的規范文章，梳理出針對模型端配置及模塊相關的建模規范。規范自動適配工具，主要針對建模規范中配置和模塊的規范，可以實現自動化配置與刷新，對配置集和模塊參數集進行高效裁剪以快速適配不同項目，并支持快速變更以及定制化規范等功能。

經緯恒潤基于多年的功能安全軟件經驗，根據標準和國際規范定制了自己的建模規范文檔集，包含用于每條規范實施和驗證的指導幫助手冊、標準與規范篩選的映射清單、支撐規范指南落地的執行的設計模板、設計庫等材料。由此開發的建模規范自動檢查工具，可指導客戶學習實踐由經緯恒潤定制的規范集，完成規范檢查，并滿足功能安全靜態驗證的要求。