发布信息当前位置: 首页 » 供应 » 编程/测控软件 » 组态软件 » AbsInt — 确保代码安全的静态性能分析套件

AbsInt — 确保代码安全的静态性能分析套件

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

       德国AbsInt 公司是全球领先的安全苛求软件研发、确认、验证和认证工具链供应商。能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt 产品广泛地应用于航天航空、汽车、轨交、通信和能源等行业的安全苛求软件研发过程中。

产品介绍

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

  • aiT WCET Analyzer/最差情况执行时间分析工具

  • StackAnalyzer /最差情况堆栈使用量分析工具

  • TimingProfiler/代码执行时间分析工具

  • Astrée/C代码运行时错误和数据竞争检查工具

  • RuleChecker/C代码规则检查工具

  • CompCert/形式化方法验证的优化C语言编译器

二进制代码分析工具

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



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

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


2. 特点
•  代码静态分析工具,可直接导入编译后的.elf.out等二进制可执行文件进行自动分析,不会对现有的工具链造成影响图形化显示程序的调用和控制流及不同程序点的机器状态,为优化提供依据
•  遍历所有程序执行路径,对所有场景有效,无需提供测试用例
•  支持批量测试,支持Jenkins,可实现软件持续集成测试
•  aiT和StackAnalyzer有认证支持包,能够提供认证支持服务( DO-178B, ISO-26262, IEC-61508, EN-50128 等

C 代码分析工具

1. Astrée
•  Astrée 能够确保找出所有的代码运行时错误 (run-timeerror) 和数据竞争(data race) 问题,控制流和数据流达到100% 的覆盖度
•  Astrée高效分析方法,确保极低的误报率
•  Astrée 在 分 析 过 程 中 能 够 考 虑 ARINC653OSEKAUTOSAR 等OS 配置环境的影响,提高分析结果精确度
•  Astrée的分析结果支持交互式浏览,能够帮助用户迅速定位问题,并进行备注及修改
•  Astrée可与dSPACE TargetLink实现无缝集成
•  Astrée有认证支持包,能够提供认证支持服务(DO-178B,ISO-26262, IEC-61508, EN-50128 等)

2. 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 工具进行相关分析,在研发前期即对软件的堆栈使用量情况进行有效分析和预估,避免了堆栈溢出等问题造成的项目延期和成本损失
       •  法国空客 (Airbus) 多年来在多个飞机型号安全苛求航电系统软件中一直使用aiT、StackAnalyzer 及Astree 产品,并将其作为按DO-178B 标准进行符合性验证的必备工具


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

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

中国测控网郑重提醒:网上过低的价格有可能是虛假价格信息,请买家谨慎对待,谨防价格欺诈行为。投诉或价格欺诈行为,请发送邮件至 [email protected]