AbsInt公司與Infineon公司的合作十分緊密，此次AbsInt公司推出了新版本的TimeWeaver工具，并擴(kuò)展支持Infineon公司的32位TriCore AURIX系列微處理器。TimeWeaver是一款分析程序中任務(wù)/代碼段最差情況運(yùn)行時(shí)間(WCET)的工具。

作為高安全要求軟件分析方面的專家，AbsInt現(xiàn)已能借助DAS工具，為Infineon旗下AURIX系列的處理器提供直接的支持。

TimeWeaver工具將靜態(tài)路徑分析過程與執(zhí)行時(shí)間測(cè)量過程相結(jié)合，利用實(shí)時(shí)指令級(jí)追蹤技術(shù)記錄到的數(shù)據(jù)片段分析得出程序中任務(wù)的最差情況執(zhí)行時(shí)間。通過此法得到的分析結(jié)果有助于實(shí)時(shí)系統(tǒng)的驗(yàn)證，并為程序最差情況性能的優(yōu)化提供反饋。TimeWeaver工具的分析過程是非入侵式的：代碼中不需要進(jìn)行插樁，而插樁會(huì)影響時(shí)間測(cè)量的精確度。

用戶只需要提供ELF格式的可執(zhí)行文件，指明一個(gè)函數(shù)或任務(wù)作為分析入口，并使用USB或網(wǎng)口將電腦連接到Infineon DAS追蹤服務(wù)器，該服務(wù)器會(huì)直接與Infineon AURIX仿真設(shè)備進(jìn)行交互。由硬件返回的MCDS追蹤數(shù)據(jù)會(huì)提供給TimeWeaver，由它來分析得出最差情況下的路徑和執(zhí)行時(shí)間。除此之外，TimeWeaver還可以可視化執(zhí)行路徑，提供詳細(xì)的分析報(bào)告，以及追蹤數(shù)據(jù)的代碼覆蓋度。

“這套分析環(huán)境的使用非常簡(jiǎn)單，且很有助于我們的客戶開發(fā)安全的硬實(shí)時(shí)系統(tǒng)。AURIX系列的芯片擁有強(qiáng)大的數(shù)據(jù)追蹤功能，而這套系統(tǒng)是個(gè)杰出的案例，它展示了一個(gè)高性價(jià)比的多工具硬件配置方案以運(yùn)用這種數(shù)據(jù)追蹤功能?！盜nfineon公司負(fù)責(zé)仿真系統(tǒng)及工具鏈的高級(jí)工程師Albrecht Mayer說道。

“借助我司的aiT工具，我們能夠?yàn)锳URIX系列核心提供純靜態(tài)的最差情況執(zhí)行時(shí)間分析。而基于混合方法的TimeWeaver工具能夠很好地與aiT進(jìn)行互補(bǔ)，讓高效分析多核心處理器中關(guān)鍵程序的時(shí)間特性成為可能?！盇bsInt公司的CEO，Christian Ferdinand說道。

關(guān)于AbsInt公司

AbsInt公司為嵌入式系統(tǒng)開發(fā)提供各種先進(jìn)的工具，并注重于高安全要求軟件的確認(rèn)、驗(yàn)證及認(rèn)證過程。AbsInt系列工具能夠確保軟件的可靠性與健壯性，并使得開發(fā)周期變得更加經(jīng)濟(jì)、快速。

公司的名稱來源于“abstract interpretation”的首字母縮寫。這個(gè)詞組意為抽象釋義，是一種靜態(tài)程序分析的典型方法，許多公司的知名產(chǎn)品均基于這種方法。AbsInt公司創(chuàng)立于1998年，坐落于德國(guó)Saarbrücken，是一家私有公司。

欲了解更多相關(guān)信息，請(qǐng)點(diǎn)擊“閱讀原文”報(bào)名參加2月24日《車載系統(tǒng)與軟件性能分析解決方案》，期待您的參與!

經(jīng)緯恒潤(rùn)通過與IBM、Dassault、ANSYS等知名工業(yè)軟件廠商合作，為用戶提供汽車電子領(lǐng)域數(shù)十種研發(fā)工具，并通過在研發(fā)流程、建模仿真、測(cè)試驗(yàn)證、平臺(tái)建設(shè)等領(lǐng)域的定制開發(fā)和技術(shù)服務(wù)，助力用戶實(shí)現(xiàn)研發(fā)的流程化、數(shù)字化、智能化和平臺(tái)化，提升產(chǎn)品研發(fā)效率和市場(chǎng)競(jìng)爭(zhēng)力。

經(jīng) 緯 恒 潤(rùn)

致力于成為國(guó)際一流的汽車電子系統(tǒng)科技服務(wù)商!

原文標(biāo)題：【明日在線研討會(huì)預(yù)熱】AbsInt與Infineon合作推出面向AURIX的時(shí)間分析工具鏈

文章出處：【微信公眾號(hào)：經(jīng)緯恒潤(rùn)】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

審核編輯：湯梓紅