服務(wù)介紹

軟件功能安全分析與評估

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

軟件功能安全驗證

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

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

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