AbsInt與Infineon合作推出麵向AURIX的時間分析工具鏈-新聞-經緯汤姆影院

登錄 | 注冊 | English

新聞中心

首頁  >  新聞中心  >  公司新聞

AbsInt與Infineon合作推出麵向AURIX的時間分析工具鏈

Saarbrücken / Neubiberg, 2019年2月5日:
        AbsInt公司與Infineon公司的合作十分緊密,此次AbsInt公司推出了新版本的TimeWeaver工具,並擴展支持Infineon公司的32位TriCore AURIX係列微處理器。TimeWeaver是一款分析程序中任務/代碼段最差情況運行時間(WCET)的工具。

        作為高安全要求軟件分析方麵的專家,AbsInt現已能借助DAS工具,為Infineon旗下AURIX係列的處理器提供直接的支持。

        TimeWeaver工具將靜態路徑分析過程與執行時間測量過程相結合,利用實時指令級追蹤技術記錄到的數據片段分析得出程序中任務的最差情況執行時間。通過此法得到的分析結果有助於實時係統的驗證,並為程序最差情況性能的優化提供反饋。TimeWeaver工具的分析過程是非入侵式的:代碼中不需要進行插樁,而插樁會影響時間測量的精確度。

        用戶隻需要提供ELF格式的可執行文件,指明一個函數或任務作為分析入口,並使用USB或網口將電腦連接到Infineon DAS追蹤服務器,該服務器會直接與Infineon AURIX仿真設備進行交互。由硬件返回的MCDS追蹤數據會提供給TimeWeaver,由它來分析得出最差情況下的路徑和執行時間。除此之外,TimeWeaver還可以可視化執行路徑,提供詳細的分析報告,以及追蹤數據的代碼覆蓋度。

 

 

        “這套分析環境的使用非常簡單,且很有助於我們的客戶開發安全的硬實時係統。AURIX係列的芯片擁有強大的數據追蹤功能,而這套係統是個傑出的案例,它展示了一個高性價比的多工具硬件配置方案以運用這種數據追蹤功能。”Infineon公司負責仿真係統及工具鏈的高級工程師Albrecht Mayer說道。

        “借助我司的aiT工具,我們能夠為AURIX係列核心提供純靜態的最差情況執行時間分析。而基於混合方法的TimeWeaver工具能夠很好地與aiT進行互補,讓高效分析多核心處理器中關鍵程序的時間特性成為可能。”AbsInt公司的CEO,Christian Ferdinand說道。


關於AbsInt公司
        AbsInt公司為嵌入式係統開發提供各種先進的工具,並注重於高安全要求軟件的確認、驗證及認證過程。AbsInt係列工具能夠確保軟件的可靠性與健壯性,並使得開發周期變得更加經濟、快速。

        公司的名稱來源於“abstract interpretation”的首字母縮寫。這個詞組意為抽象釋義,是一種靜態程序分析的典型方法,許多公司的知名產品均基於這種方法。AbsInt公司創立於1998年,坐落於德國Saarbrücken,是一家私有公司。

關於汤姆影院
企業簡介
企業理念
企業資質
新聞中心
汤姆影院在全球
誠聘英才
校園招聘
實習生招聘
社會招聘
走進汤姆影院
常見問題
市場活動
在線研討會
線下活動
微信課堂
用戶社區
資料下載
汤姆影院月刊
用戶留言
個人中心
相關鏈接
達索公司
IBM-中國
聯係我們
電話:010-64840808
郵箱:market_dept@ishsu.com
版權所有 © 北京經緯汤姆影院科技有限公司 京ICP備18000642號-1 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護