发布信息当前位置: 首页 » 供应 » 大发集团娱乐网站/通信测量 » AbsInt与Infineon推出AURIX的时间分析工具链

AbsInt与Infineon推出AURIX的时间分析工具链

点击图片查看原图
公司: 北京经纬恒润科技有限公司 
单 价: 面议 询价 
最小起订量:    
供货总量:
发货期限: 自买家付款之日起 3 天内发货
有效期至: 长期有效
最后更新: 2019-02-28
相关信息
 
产品详细说明
 

Saarbrücken / Neubiberg, 2019年2月5日:
        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,是一家私有公司。


公司联系方式
  • 北京经纬恒润科技有限公司 [加为商友]
  • [第4年] 指数:6
  • 联系人许女士(女士)    
  • 电话
  • 手机(010)64840808-6104
  • 地区北京
  • 地址北京市海淀区知春路7号致真大厦6层
  •   
同类产品

[ 供应搜索 ]  [ ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]  [ 返回顶部 ]

CK365测控网郑重提醒:网上过低的价格有可能是虛假价格信息,请买家谨慎对待,谨防价格欺诈行为。投诉或价格欺诈行为,请发送邮件至 1365099215@qq.com
 
博聚网