lol总决赛竞猜

登录 | 注册 | English

资讯中心

lol总决赛竞猜  >  资讯中心  >  企业资讯

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,是一家私有企业。

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