登錄 | 注冊 | English

新聞中心

首頁  >  新聞中心  >  產品動態

AbsInt — 確保代碼安全的性能/資源分析工具套件

        德國AbsInt公司是一家安全苛求軟件研發、確認、驗證和認證工具鏈的供應商,能夠為客戶提供完整的確保代碼安全的性能分析工具套件以及軟件分析、驗證、確認和編譯器技術相關咨詢服務。AbsInt產品廣泛地應用于工業、交通、汽車、通信和能源等行業的安全苛求軟件研發過程中。

產品介紹

AbsInt 代碼安全性能/資源分析套件主要包括以下幾種產品:
    ♦  StackAnalyzer /最差情況堆棧用量分析工具 
    ♦  aiT WCET Analyzer/最差情況執行時間分析工具 
    ♦  TimingProfiler/代碼執行時間估計分析工具 
    ♦  TimeWeaver/混合式最差情況執行時間分析工具
 
•  二進制代碼分析工具
    ♦  StackAnalyzer 針對特定的處理器族和編譯器,能夠自動分析出任務的最差堆棧使用量,即避免了人為低估造成的堆棧溢出,又避免了人為高估而造成的資源浪費。
 
 
      aiT、TimingProfiler和TimeWeaver
    ▼  aiT 針對特定的處理器和編譯器,能夠分析出更接近實際運行情況的最差執行時間,真實反映系統性能。在分析過程中充分考慮了高速緩存和流水線(pipeline) 的影響,從而避免了過于保守的WCET 值,亦避免了硬件資源的浪費。
 
 
    ▼  TimingProfiler 針對特定的處理器族和編譯器,能夠從設計初期即開始對代碼執行效率進行持續分析和估計,進而為芯片選型、不同算法方案的執行效率評估等提供依據。
 
 
 
    ▼  TimeWeaver對于某些復雜處理器,尤其是aiT不能支持的高級處理器,Absint公司提供了一種基于實際Trace數據的結合動態測試和靜態分析的混合WCET分析工具。
 
 
 
    ▼  TimeWeaver可集成至PIL測試/HIL測試環境,進行處理器性能分析和驗證工作。
 
 
    ▼  對于Infineon Aurix系列芯片,可采用TimeWeaver與Infineon DAS工具(免費)進行集成的方案,更加高效的執行分析過程。
 
 
      特點
    ▼  aiT/TimingProfiler/StackAnalyzer,代碼靜態分析工具,可直接導入編譯后的.elf/*.out等二進制可執行文件進行自動分析,不會對現有的工具鏈造成影響
    ▼  TimeWeaver,動態測試+靜態分析,利用二進制可執行文件進行靜態分析,遍歷所有代碼執行路徑。借助Trace分析結果,選用在實際處理器上的代碼片段執行時間,綜合分析得出代碼的最差情況執行時間
    ▼  圖形化顯示程序調用圖和控制流圖,找出代碼性能優化瓶頸,為優化提供依據
    ▼  遍歷所有程序執行路徑,對所有場景有效,無需提供測試用例(TimeWeaver所使用的Trace數據需要提供相應的測試環境及用例)
    ▼  支持批量測試,支持Jenkins,可實現軟件持續集成測試 
    ▼  aiT和StackAnalyzer有認證支持包,能夠提供認證支持服務( ISO-26262, IEC-61508, EN-50128 等) 
 
•  應用&案例
        豐田汽車非預期加速事件調查 ,2010 年 aiT 被 NASA 作為工業標準靜態分析工具用于豐田汽車公司非預期加速事件調查,以排除與時間相關的軟件缺陷。
 
        Daimler在動力總成控制系統等多個軟件研發項目中,成功運用StackAnalyzer 工具進行相關分析,在研發前期即對軟件的堆棧使用量情況進行有效分析和預估,避免了堆棧溢出等問題造成的項目延期和成本損失。
 

 

關于恒潤
企業簡介
企業理念
企業資質
新聞中心
恒潤在全球
誠聘英才
校園招聘
實習生招聘
社會招聘
走進恒潤
常見問題
市場活動
在線研討會
線下活動
微信課堂
用戶社區
資料下載
恒潤月刊
用戶留言
個人中心
相關鏈接
達索公司
IBM-中國
聯系我們
電話:18612143329/15210791832
郵箱:[email protected]
版權所有 ? 北京經緯恒潤科技有限公司 京ICP備18000642號-1 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護
快乐10分开奖