登录 | 注册 | English

研发工具

首页  >  研发工具  >  V流程详细设计验证阶段  >  AbsInt — 确保代码安全的静态性能分析套件

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

概述

        德国AbsInt 公司是全球安全苛求软件研发、确认、验证和认证工具链供应商。能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt 产品广泛地应用于汽车等行业的安全苛求软件研发过程中。
 
产?#26041;?#32461;
        AbsInt 代码安全性能分析套件主要包括以?#24405;?#31181;产品:
aiT WCET Analyzer/较差情况执行时间分析工具
• StackAnalyzer /较差情况堆栈使用量分析工具
• TimingProfiler/代码执行时间分析工具
• Astrée /C代码运行时错误和数据竞争检查工具
• RuleChecker/C代码规则检查工具
• CompCert/形式化方法验证的优化C语言编译器
 
二进制代码分析工具
• aiT、StackAnalyzer和TimingProfiler
    ♦  aiT针对特定的处理器和编译器,能够分析出接近实际运行情况的较差执行时间,真实反映系统性能。在分析过程中充分考虑了高速缓存和流水线(pipeline)的影响,从而避免了过于保守的WCET值,亦即避免了硬件资源的浪费
 
 
    ♦  StackAnalyzer 针对特定的处理器族和编译器,能够自动分析出任务的较差堆栈使用量,即避免了人为低估造成的堆栈溢出,?#30452;?#20813;了人为高估而造成的资源浪费
 
 
    ♦  TimingProfiler 针对特定的处理器族和编译器,能够?#26144;?#26399;开?#32423;?#20195;码执行时间进行?#20013;?#20998;析和评估
 
特点
    ♦  代码静态分析工具,可直接导入编译后的.elf/*.out等二进制可执行文件进行自动分析,不会对现有的工具链造成影响
    ♦  图?#20301;?#26174;示程序的调用和控制流?#23433;?#21516;程序点的机器状态,为优化提供依据
    ♦  遍历所有程序执行路径,?#36816;?#26377;场景?#34892;В?#26080;需提供测试用例
    ♦  支持批量测试,支持Jenkins,可实现软件?#20013;?#38598;成测试
    ♦  aiT和StackAnalyzer有认证支持包,能够提供认证支持服务( DO-178B, ISO-26262, IEC-61508, EN-50128 等)
 
C 代码分析工具
• Astrée
    ♦  Astrée 能够确保?#39029;?#25152;有的代码运行时错误 (run-timeerror) 和数据竞争(data race) 问题,控制流和数据流达到比较高的覆?#23884;?/div>
    ♦  Astrée高效分析方法,确保比?#31995;?#30340;误报率
    ♦  Astrée 在 分 析 过 程 中 能 够 考 虑 ARINC653OSEKAUTOSAR 等OS 配置环境的影响,提高分析结果精确度
    ♦  Astrée的分析结果支持交互式浏览,能够帮助用户迅速定位问题,并进行备注及修改
    ♦  Astrée可与dSPACE TargetLink实现无缝集成
    ♦  Astrée有认证支持包,能够提供认证支持服务(DO-178B,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在动力总成控制系?#36710;?#22810;个软件研发项目中,成功运用StackAnalyzer 工具进行相关分析,在研发前期即对软件的堆栈使用量情况进行?#34892;?#20998;析和预估,避免了堆栈溢出等问题造成的项目延期?#32479;?#26412;损失

 

版权所有 ? ?#26412;?#32463;纬恒润科技有限公司 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招?#24863;?#24687; | 法律声明 | 隐私保护
陕西十一选五投注
排列三和排列五走势图 14场胜负彩开奖结果 英超助攻榜 香港马会特码资料总刚 福建时时彩规则倍数 广西11选5一天开几期 大乐透12十2复式多少钱 分分彩官网 海南环岛赛直播软件 好运彩3d之家 淘宝快3群 天津十一选五开奖基本走势图解 北京单场上下单双 百人牛牛赢钱公式打法 排列三出号走势图彩吧助手