用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 直播 | 专题 | 智能制造 | 论坛| 在线研讨会
北京经纬恒润科技股份有限公司
  • AbsInt — 确保代码安全的静态性能分析工具  
  • 发布时间:2022/3/10 10:43:08   修改时间:2022/3/10 10:43:27 浏览次数:841
  • AbsInt — 确保代码安全的静态性能分析工具
  •        德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商。能够为客户提供较完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于工业、交通、汽车、通信和能源等行业的安全苛求软件研发过程中。

     

    产品介绍

           AbsInt 代码安全性能分析套件主要包括以下几种产品:

    • aiT WCET Analyzer/ 最差情况执行时间分析工具 
    • StackAnalyzer / 最差情况堆栈使用量分析工具 
    • TimingProfiler/ 代码执行时间分析工具 
    • Astrée /C 代码运行时错误和数据竞争检查工具 
    • RuleChecker/C 代码规则检查工具 
    • CompCert/ 形式化方法验证的优化 C 语言编译器

     

     - 二进制代码分析工具

    • aiT

           针对特定的处理器和编译器,能够分析出较接近实际运行情况的最差执行时间,真实反映系统性能。在分析过程中充分考虑了高速缓存和流水线(pipeline)的影响,从而避免了过于保守的WCET值,亦避免了硬件资源的浪费。

     

    • StackAnalyzer

           针对特定的处理器族和编译器,能够自动分析出任务的最差堆栈使用量,即避免了人为低估造成的堆栈溢出,又避免了人为高估而造成的资源浪费。

     

    • TimingProfiler

           针对特定的处理器族和编译器,能够从初期开始对代码执行时间进行持续分析和评估。

    • 特点

    -代码静态分析工具,可直接导入编译后的 .elf/*.out 等二进制可执行文件进行自动分析,不会对现有的工具链造成影响

    -图形化显示程序的调用和控制流及不同程序点的机器状态,为优化提供依据

    -遍历所有程序执行路径,对所有场景有效,无需提供测试用例

    -支持批量测试,支持Jenkins,可实现软件持续集成测试

    -aiT 和 StackAnalyzer 有认证支持包,能够提供认证支持服务( ISO-26262, IEC-61508, EN-50128 等)

     

     - C 代码分析工具

    • Astrée

    -Astrée 能够确保找出所有的代码运行时错误 (run-time error) 和数据竞争 (data race) 问题,控制流和数据流达到全部的覆盖度

    -Astrée 分析方法,确保较低的误报率

    -Astrée 在分析过程中能够考虑 OSEK\AUTOSAR 等 OS 配置环境的影响,提高分析结果精确度

    -Astrée 的分析结果支持交互式浏览,能够帮助用户迅速定位问题,并进行备注及修改

    -Astrée 可与 dSPACE TargetLink 实现无缝集成

    -Astrée有认证支持包,能够提供认证支持服务(ISO-26262, IEC-61508, EN-50128 等)

     

    • RuleChecker

    RuleChecker 是 C 代码规则检查工具,支持以下代码规则标准:

    -MISRA 2004、2012、2012 Amendment 1

    -ISO/IEC TS 17961:2013

    -SEI CERT Secure C

    -MITRE CWE

    -客户订制标准

     

    应用 & 案例

    • 丰田汽车非预期加速事件调查 ,2010 年 aiT 被 NASA 作为工业标准静态分析工具用于丰田汽车公司非预期加速事件调查,以排除与时间相关的软件缺陷 
    • Daimler 在动力总成控制系统等多个软件研发项目中,成功运用 StackAnalyzer工具进行相关分析,在研发前期即对软件的堆栈使用量情况进行有效分析和预估,避免了堆栈溢出等问题造成的项目延期和成本损失
  • 企业介绍
经纬恒润(HiRain Technologies)专业从事汽车电子、智能驾驶、车联网、新能源、人工智能等领域的电子产品研发生产、工程咨询、研发工具以及特定场景自动驾驶运维服务等。总部位于北京,设有上海、成都、深圳、美国底特律、德国慕尼黑分公司和长春…  更多>>
  • 联系方式

北京经纬恒润科技股份有限公司

联系人:秦女士

地址:北京朝阳区酒仙桥路14号1幢4层

邮编:100000

电话:010-64840808

传真:

公司网址:http://www.hirain.com

  • 该空间手机版

扫描此二维码即可访问该空间手机版

  • 在线反馈
1.我有以下需求:



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 郭林 在2024/1/22 8:43:00留言
  • 留言类型:我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:rvsEVO标准版产品购买
  • 祁守铮 在2024/1/17 15:17:00留言
  • 留言类型:得到贵公司产品的价格信息,贵公司产品销售人员联系我,
  • 详细留言:Arbe 4D毫米波雷达报价
  • 马苗 在2024/1/6 16:50:00留言
  • 留言类型:我让贵公司产品销售人员联系我,
  • 详细留言:车用BMS的了解与需求
  • 在2024/1/5 9:41:00留言
  • 留言类型:得到贵公司产品的价格信息,
  • 详细留言:想了解一下VBA得价格
  • 在2024/1/4 18:23:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,我让贵公司技术支持人员联系我,
  • 详细留言:试用
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈