<output id="gwmel"><strong id="gwmel"><small id="gwmel"></small></strong></output>
    <track id="gwmel"><label id="gwmel"><menu id="gwmel"></menu></label></track><acronym id="gwmel"></acronym>
      <acronym id="gwmel"></acronym>
      1. <table id="gwmel"><option id="gwmel"></option></table><track id="gwmel"><label id="gwmel"><menu id="gwmel"></menu></label></track>
      2. <p id="gwmel"><nav id="gwmel"><small id="gwmel"></small></nav></p><acronym id="gwmel"><label id="gwmel"></label></acronym>
        歡迎蒞臨廣電計量!
        服務熱線 400-602-0999
        功能安全測試
        廣電計量依據IEC 61508功能安全國際標準,從軟件生命周期內的安全功能&安全完整性等級以及軟件功能的安全評估兩大方面考慮,為客戶提供航空級的軟件功能安全驗證服務,有效提高軟件產品安全性,確保產品合規性。
        服務介紹

        軟件功能安全分析與評估

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

        軟件功能安全驗證

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

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

        搜集——針對軟件功能安全工作目標要求,在軟件需求分析、設計實現、測試驗證等工作中,收集過程和成果數據,形成面向軟件功能安全審定的證據信息;
        驗證——基于工作目標要求以及證據信息,構建層次化軟件功能安全舉證模型,自下而上綜合驗證各項目標要求已經得到實現,支撐軟件功能安全審定認證工作。
         
        高清日韩午夜无码看片,欧美色图亚洲图片在线视频,很黄很污一级A片视频,亚洲,欧美,国产,日韩,性交