<tt id="3u3ki"><button id="3u3ki"><span id="3u3ki"></span></button></tt>

    <output id="3u3ki"></output>

    <code id="3u3ki"><delect id="3u3ki"><s id="3u3ki"></s></delect></code>
  • 登錄 | 注冊 | English

    研發工具

    首頁  >  研發工具  >  V流程詳細設計驗證階段  >  AbsInt — 確保代碼安全的靜態性能分析工具

    AbsInt — 確保代碼安全的靜態性能分析工具

           德國AbsInt 公司是安全苛求軟件研發、確認、驗證和認證工具鏈供應商。能夠為客戶提供完整的確保代碼安全的性能分析工具套件以及軟件分析、驗證、確認和編譯器技術相關咨詢服務。AbsInt 產品廣泛地應用于工業、交通、汽車、通信和能源等行業的安全苛求軟件研發過程中。

     

    產品介紹

           AbsInt 代碼安全性能分析套件主要包括以下幾種產品:

    • StackAnalyzer

    • aiT WCET Analyzer

    • TimingProfiler

    • TimeWeaver

    • Astrée /C代碼運行時錯誤和數據競爭檢查工具

    • RuleChecker/C代碼規則檢查工具

     

    二進制代碼分析工具

    • StackAnalyzer 針對特定的處理器族和編譯器,能夠自動分析出任務的差堆棧使用量,即避免了人為低估造成的堆棧溢出,又避免了人為高估而造成的資源浪費。

     

     

    • aiT、TimingProfiler和TimeWeaver
        ♦  aiT 針對特定的處理器和編譯器,真實反映系統性能。在分析過程中充分考慮了高速緩存和流水線(pipeline) 的影響,從而避免了過于保守的WCET 值,亦避免了硬件資源的浪費

     

     

        ♦  TimingProfiler 針對特定的處理器族和編譯器,能夠從設計初期即開始對代碼執行效率進行持續分析和估計,進而為芯片選型、不同算法方案的執行效率評估等提供依據

     

     

     

        ♦  TimeWeaver對于某些復雜處理器,尤其是aiT不能支持的高級處理器,Absint公司提供了一種基于實際Trace數據的結合動態測試和靜態分析的混合WCET分析工具

     

     

     

        ♦  TimeWeaver可集成至PIL測試/HIL測試環境,進行處理器性能分析和驗證工作

     

     

        ♦  對于Infineon Aurix系列芯片,可采用TimeWeaver與Infineon DAS工具(免費)進行集成的方案,更加高效的執行分析過程

     

     

    特點
        ♦  aiT/TimingProfiler/StackAnalyzer,代碼靜態分析工具,可直接導入編譯后的.elf/*.out等二進制可執行文件進行自動分析,不會對現有的工具鏈造成影響
        ♦  TimeWeaver,動態測試+靜態分析,利用二進制可執行文件進行靜態分析,遍歷所有代碼執行路徑。借助Trace分析結果,選用在實際處理器上的代碼片段執行時間,綜合分析得出代碼的差的情況執行時間
        ♦  圖形化顯示程序調用圖和控制流圖,找出代碼性能優化瓶頸,為優化提供依據
        ♦  遍歷所有程序執行路徑,對所有場景有效,無需提供測試用例(TimeWeaver所使用的Trace數據需要提供相應的測試環境及用例)
        ♦  支持批量測試,支持Jenkins,可實現軟件持續集成測試
        ♦  aiT和StackAnalyzer有認證支持包,能夠提供認證支持服務( ISO-26262, IEC-61508, EN-50128 等)

     

    C 代碼分析工具
    • Astrée
        ♦  Astrée 能夠確保找出所有的代碼運行時錯誤 (run-time error) 和數據競爭(data race) 問題
        ♦  Astrée高效分析方法,確保很低的誤報率
        ♦  Astrée在分析過程中能夠考慮OSEK\AUTOSAR等OS配置環境的影響,提高分析結果
        ♦  Astrée的分析結果支持交互式瀏覽,能夠幫助用戶迅速定位問題,并進行備注及修改
        ♦  Astrée可與dSPACE TargetLink實現無縫集成
        ♦  Astrée有認證支持包,能夠提供認證支持服務(ISO-26262, IEC-61508, EN-50128等)


    • RuleChecker
            RuleChecker 是C 代碼規則檢查工具,支持以下代碼規則標準:
        ♦  MISRA 2004、2012、2012 Amendment 1
        ♦  ISO/IEC TS 17961:2013
        ♦  SEI CERT Secure C
        ♦  MITRE CWE
        ♦  客戶訂制標準

    應用 & 案例
            豐田汽車非預期加速事件調查 ,2010 年 aiT 被 NASA 作為工業標準靜態分析工具用于豐田汽車公司非預期加速事件調查,以排除與時間相關的軟件缺陷。

            Daimler在動力總成控制系統等多個軟件研發項目中,成功運用StackAnalyzer 工具進行相關分析,在研發前期即對軟件的堆棧使用量情況進行有效分析和預估,避免了堆棧溢出等問題造成的項目延期和成本損失。

    關于恒潤
    企業簡介
    企業理念
    企業資質
    新聞中心
    恒潤在全球
    誠聘英才
    校園招聘
    實習生招聘
    社會招聘
    走進恒潤
    常見問題
    市場活動
    在線研討會
    線下活動
    微信課堂
    用戶社區
    資料下載
    恒潤月刊
    用戶留言
    個人中心
    PMT留言
    相關鏈接
    達索公司
    IBM-中國
    聯系我們
    電話:010-64840808
    郵箱:market_dept@hirain.com
    版權所有 ? 北京經緯恒潤科技股份有限公司 京ICP備18000642號-1 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護
    外道魂无残 www.色中色在线| 先锋影音男人电影| 欧美色图aV| 欧美日本国产av影视在线| 日本av电影官网| av天堂在线免费观看| 日本其优影院| 日本AV 女优免费电影| 乱伦性交小说| av大全网| 影音先锋色导航大全| 亚洲成亚洲成免费| 影视先锋一道本| 天堂网2016影音先锋| 欧美色图色电影太色啦| 欧洲色情影视网| 2016影音先锋| 天堂2019先锋影音| 黑人日本女优的电影网盘| 谁有黄色网址| av 天堂2018|