軟件功能安全分析與評估
• 功能風險分析（FHA）——在投入大量時間和人力進行系統安全性評估之前，協助客戶對系統預期的功能進行分析。
• 故障樹分析（FTA）——通過圖形化分析方法，對故障進行由上往下的演繹式失效分析。
• 失效模式及影響分析（FMEA）——識別軟件存在的潛在的失效模式、評估失效模式對系統的影響、并提出有效的措施或修改意見。
• 事件樹分析（ETA）——利用邏輯演繹法，對給定初因時間導致的各類事件序列結果進行分析。
軟件功能安全驗證
• 分析——分析檢查軟件需求、設計，形成軟件功能安全分析驗證清單。
• 評審——針對系統危險分析評估、系統軟硬件體系結構安全性評估、軟件功能安全分析評估等工作過程和成果進行評審，形成功能安全評審清單。
• 測試——執行軟件功能安全性測試用例，記錄測試過程中的失效數據，驗證識別的系統危險和失效模式得到覆蓋和消除。
軟件功能安全審定與認證的舉證
• 搜集——針對軟件功能安全工作目標要求，在軟件需求分析、設計實現、測試驗證等工作中，收集過程和成果數據，形成面向軟件功能安全審定的證據信息；
• 驗證——基于工作目標要求以及證據信息，構建層次化軟件功能安全舉證模型，自下而上綜合驗證各項目標要求已經得到實現，支撐軟件功能安全審定認證工作。
標簽
信息提交成功
微信公眾號