4周PADS强化班 HOT
林超文手把手教你学!
张飞暑期特训班
教你1000种电路设计思路
年度IP:PFC电源
张飞硬件电路之PFC全集
30天AD项目众筹
参与免费送VIP+原创视频
最全模电系列教程 NEW
运放、ADC、电磁兼容

[讨论] 确保代码安全的静态性能分析工具

[复制链接]

高级工程师

发表于 2018-6-28 17:20:54   326 查看 0 回复 显示全部楼层 倒序浏览
分享
        德国 AbsInt 公司是全球领先的安全苛求软件研发、确认、验证和认证工具链供应商。能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于航天航空、汽车、轨交、通信和能源等行业的安全苛求软件研发过程中。
产品介绍AbsInt 代码安全性能分析套件主要包括以下几种产品: ♦   aiT WCET Analyzer/ 最差情况执行时间分析工具
♦   StackAnalyzer / 最差情况堆栈使用量分析工具
♦   TimingProfiler/ 代码执行时间分析工具
♦   Astrée /C 代码运行时错误和数据竞争检查工具
♦   RuleChecker/C 代码规则检查工具
♦   CompCert/ 形式化方法验证的优化 C 语言编译器

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



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



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

♦    Astrée
▼    Astrée能够确保找出所有的代码运行时错误(run-time error) 和数据竞争 (data race) 问题,控制流和数据流达到 100% 的覆盖度
▼    Astrée 高效分析方法,确保极低的误报率
▼    Astrée在分析过程中能够考虑ARINC653 OSEK AUTOSAR 等OS配置环境的影响,提高分析结果精确度
▼    Astrée的分析结果支持交互式浏览,能够帮助用户迅速定位问题,并进行备注及修改
▼    Astrée 可与 dSPACE TargetLink 实现无缝集成
▼    Astrée有认证支持包,能够提供认证支持服务(DO-178B, ISO-26262, IEC-61508, EN-50128 等)
♦    RuleCheckerRuleChecker是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 标准进行符合性验证的必备工具
        恒润科技PMT(Process Methods & Model Tools)团队致力于为客户提供协同研制服务平台,主要涵盖过程体系咨询、协同研发平台以及基于模型的产品开发咨询。多年来,已为汽车、轨道交通、军工等行业客户提供了多项咨询服务,赢得了客户的广泛认可。
恒润科技
北京市海淀区知春路7号致真大厦D座6层
邮箱:market_dept@hirain.com
网址:www.hirain.com


标签:汽车电子
高级模式
您需要登录后才可以回帖 登录 | 注册

4周PADS强化班 HOT
林超文手把手教你学!
张飞暑期特训班
教你1000种电路设计思路
年度IP:PFC电源
张飞硬件电路之PFC全集
30天AD项目众筹
参与免费送VIP+原创视频
最全模电系列教程 NEW
运放、ADC、电磁兼容
关闭

站长推荐 上一条 /9 下一条

快速回复 返回顶部 返回列表
-

推荐专区

技术干货集中营

专家问答

用户帮助┃咨询与建议┃版主议事

工程师杂谈

项目|工程师创意

招聘|求职}工程师职场

论坛电子赛事

社区活动专版

发烧友活动

-

嵌入式论坛

ARM技术论坛

Android论坛

Linux论坛

单片机/MCU论坛

MSP430技术论坛

FPGA|CPLD|ASIC论坛

STM32/STM8技术论坛

NXP MCU 技术论坛

PIC单片机论坛

DSP论坛

瑞萨单片机论坛

嵌入式系统论坛

-

电源技术论坛

电源技术论坛

无线充电技术

-

硬件设计论坛

PCB设计论坛

电路设计论坛

电子元器件论坛

控制|传感

总线技术|接口技术

-

测试测量论坛

LabVIEW论坛

Matlab论坛

测试测量技术专区

仪器仪表技术专区

-

EDA设计论坛

multisim论坛

PADS技术论坛

Protel|AD|DXP论坛

Allegro论坛

proteus论坛|仿真论坛

EasyEDA-中国人自已的EDA工具

Orcad论坛

-

综合技术与应用

电机控制

智能电网

光电及显示

工程资源中心

汽车电子技术论坛

医疗电子论坛

-

开源硬件

-

无线通信论坛

无线通信技术专区

天线|RF射频|微波|雷达技术

-

IC设计论坛

芯片测试与失效分析

Mixed Signal/SOC[数模混合芯片设计]

Analog/RF IC设计

设计与制造封装测试

-

厂商专区

TI论坛

TI Deyisupport社区

-

检测技术与质量

电磁兼容(EMC)设计与整改

安规知识论坛

检测与认证

-

消费电子论坛

手机技术论坛

平板电脑/mid论坛

音视/视频/机顶盒论坛

-

电子论坛综合区

聚丰众筹官方社区

新人报道区

聚丰供应链

-

论坛服务区

-

供求信息发布

供需广告

电子展览展会专区

芯片求购|供应发布区