澳门金沙国际赌场

登录 | 注册 | English

资讯中心

澳门金沙国际赌场  >  资讯中心  >  企业资讯

AbsInt与Infineon合作推出面向AURIX的时间分析工具链

Saarbrücken / Neubiberg, 2019年2月5日:
        AbsInt企业与Infineon企业的合作十分紧密,此次AbsInt企业推出了新版本的TimeWeaver工具,并扩展支撑Infineon企业的32位TriCore AURIX系列微处理器。TimeWeaver是一款分析程序中任务/代码段最差情况运行时间(WCET)的工具。

        作为高安全要求App分析方面的专家,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企业为嵌入式系统开发提供各种先进的工具,并注重于高安全要求App的确认、验证及认证过程。AbsInt系列工具能够确保App的可靠性与健壮性,并使得开发周期变得更加经济、快速。

        企业的名称来源于“abstract interpretation”的首字母缩写。这个词组意为抽象释义,是一种静态程序分析的典型方法,许多企业的知名产品均基于这种方法。AbsInt企业创立于1998年,坐落于德国Saarbrücken,是一家私有企业。

关于澳门金沙国际赌场
企业概况
企业理念
企业资质
资讯中心
澳门金沙国际赌场在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进澳门金沙国际赌场
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
澳门金沙国际赌场月刊
用户留言
个人中心
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? 澳门金沙国际赌场 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图