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

hirain_md發表於2022-02-24

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,是一傢俬有公司。



來自 “ ITPUB部落格 ” ,連結:http://blog.itpub.net/31535135/viewspace-2857568/,如需轉載,請註明出處,否則將追究法律責任。

相關文章