原创 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，是一家私有公司。