国产无套免费网站69,国产午夜精品视频免费不卡69堂,国产精品久久久久久久久片桃花,男女爱爱视频网站,欧洲精品亚洲精品,看亚洲黄色片,97视频自拍

歡迎蒞臨廣電計量!
服務(wù)熱線 400-602-0999
功能安全測試
廣電計量依據(jù)IEC 61508功能安全國際標準,從軟件生命周期內(nèi)的安全功能&安全完整性等級以及軟件功能的安全評估兩大方面考慮,為客戶提供航空級的軟件功能安全驗證服務(wù),有效提高軟件產(chǎn)品安全性,確保產(chǎn)品合規(guī)性。
服務(wù)介紹

軟件功能安全分析與評估

功能風險分析(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),支撐軟件功能安全審定認證工作。