服務介紹

軟件功能安全分析與評估

•        功能風險分析（FHA）——在投入大量時間和人力進行系統安全性評估之前，協助客戶對系統預期的功能進行分析。
•        故障樹分析（FTA）——通過圖形化分析方法，對故障進行由上往下的演繹式失效分析。
•        失效模式及影響分析（FMEA）——識別軟件存在的潛在的失效模式、評估失效模式對系統的影響、并提出有效的措施或修改意見。
•        事件樹分析（ETA）——利用邏輯演繹法，對給定初因時間導致的各類事件序列結果進行分析。

軟件功能安全驗證

•        分析——分析檢查軟件需求、設計，形成軟件功能安全分析驗證清單。
•        評審——針對系統危險分析評估、系統軟硬件體系結構安全性評估、軟件功能安全分析評估等工作過程和成果進行評審，形成功能安全評審清單。
•        測試——執行軟件功能安全性測試用例，記錄測試過程中的失效數據，驗證識別的系統危險和失效模式得到覆蓋和消除。

軟件功能安全審定與認證的舉證

•        搜集——針對軟件功能安全工作目標要求，在軟件需求分析、設計實現、測試驗證等工作中，收集過程和成果數據，形成面向軟件功能安全審定的證據信息；
•        驗證——基于工作目標要求以及證據信息，構建層次化軟件功能安全舉證模型，自下而上綜合驗證各項目標要求已經得到實現，支撐軟件功能安全審定認證工作。