AbsInt與Infineon合作推出面向AURIX的時間分析工具鏈
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/,如需轉載,請註明出處,否則將追究法律責任。
相關文章
- 北方信託、普華永道合作推出“即時”區塊鏈審計工具區塊鏈
- AbsInt — 確保程式碼安全的靜態效能分析工具
- 時間與空間複雜度分析複雜度
- 普華永道推出區塊鏈分析工具,追蹤ICO代幣區塊鏈
- 微軟推出Azure區塊鏈新工具微軟區塊鏈
- Facebook聯合CNN首次推出美國大選實時分析工具CNN
- Facebook面向印度其1.48億使用者推出防自殺工具
- Facebook與BBC合作:將全面推出音訊直播功能音訊
- TogetherJS:Mozilla推出的實時協作工具JS
- 亞馬遜推出最新資料分析工具Kinesis亞馬遜
- 思科推出IoT操作平臺,與微軟Azure展開合作微軟
- 時間序列分析
- 時間管理類APP分析:拇指時間APP
- Java 8 的日期時間工具Java
- 時間相關的工具類
- 印度政府與Mahindra合作建立“區塊鏈區”區塊鏈
- 美國NFL球員工會與區塊鏈公司合作區塊鏈
- 與《哈利波特》合作 Zynga推出全新三消遊戲遊戲
- 時間戳與時間字串的多時區轉換時間戳字串
- 掌握時間與空間:深入探討Golang中的時間戳與時區轉換Golang時間戳
- java時間工具類Java
- 全鏈路效能壓測工具分析和總結-實時更新
- [深度學習] 時間序列分析工具TSLiB庫使用指北深度學習
- 促僅開發者間交流與合作的胡思亂想
- 陪玩原始碼,與時間、日期相關的程式碼分析原始碼
- Linux原始碼分析工具鏈Linux原始碼
- 微軟與滴滴合作推出Office外掛:可以透過Outlook叫車微軟
- 軟體測試工具LoadRunner結果分析中的響應時間
- 推出面向網站開發者的Mobile Sites認證網站
- PostgreSQL 插入時間與更新時間(qbit)SQL
- 谷歌雲與Blythe Masters的區塊鏈創業公司合作谷歌AST區塊鏈創業
- as3 時間格式工具S3
- 工具方法:時間轉換
- OCA 聯盟推出面向安全工具行業的首個開源訊息傳遞框架行業框架
- javascript時間戳與php返回的時間戳統一JavaScript時間戳PHP
- 本地時間與UTC(世界協調時間)的轉換
- SpiderStore與《區塊鏈萌寵》達成深度合作IDE區塊鏈
- SAP與Apple合作再升級,將推出SAP Cloud Platform SDK for iOSAPPCloudPlatformiOS