德國AbsInt公司是一家安全苛求軟件研發、確認、驗證和認證工具鏈的供應商，能夠為客戶提供完整的確保代碼安全的性能分析工具套件以及軟件分析、驗證、確認和編譯器技術相關咨詢服務。AbsInt產品廣泛地應用于工業、交通、汽車、通信和能源等行業的安全苛求軟件研發過程中。
? 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 工具進行相關分析，在研發前期即對軟件的堆棧使用量情況進行有效分析和預估，避免了堆棧溢出等問題造成的項目延期和成本損失。
經緯恒潤
北京市海淀區知春路7號致真大廈D座6層
電話：010-64840808
郵箱：market_dept@hirain.com
網址：www.hirain.com
