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，是一家私有公司。

欲了解更多相關信息，請點擊“閱讀原文”報名參加2月24日《車載系統與軟件性能分析解決方案》，期待您的參與!

經緯恒潤通過與IBM、Dassault、ANSYS等知名工業軟件廠商合作，為用戶提供汽車電子領域數十種研發工具，并通過在研發流程、建模仿真、測試驗證、平臺建設等領域的定制開發和技術服務，助力用戶實現研發的流程化、數字化、智能化和平臺化，提升產品研發效率和市場競爭力。

經 緯 恒 潤

致力于成為國際一流的汽車電子系統科技服務商!

原文標題：【明日在線研討會預熱】AbsInt與Infineon合作推出面向AURIX的時間分析工具鏈

文章出處：【微信公眾號：經緯恒潤】歡迎添加關注!文章轉載請注明出處。

審核編輯：湯梓紅