Germany AbsInt is a safety-critical software development, validation, vendor validation and certification tool chain, can provide customers with a complete ensure code security performance analysis tool kits and software analysis, verification, validation and compiler technology-related consulting services. AbsInt products are widely used in the security industry, transportation, automotive, communications and energy sectors demanding software development process.
product description
AbsInt code security performance / resource analysis suite includes the following products:
♦ StackAnalyzer / worst-case stack usage analysis tool
♦ aiT WCET Analyzer / worst-case execution time analysis tool
♦ TimingProfiler / code execution time estimation analysis tool
♦ TimeWeaver / hybrid worst-case execution time analysis tool
•
binary code analysis tool
♦ StackAnalyzer for a particular processor family and compilers can automatically analyze the worst stack usage tasks, namely to avoid stack overflow caused by artificially low, avoiding the waste of resources caused by human overestimated.
♦ AIT, TimingProfiler and TimeWeaver
▼ aiT for a particular processor and compiler, able to analyze more closely the actual operation of the worst execution time, a true reflection of performance. In the analysis process to fully consider the effects of caching and pipelining (pipeline), thus avoiding overly conservative WCET value, but also to avoid the waste of hardware resources.
▼ TimingProfiler for a particular processor family and compilers began to be able to code execution efficiency estimates from ongoing analysis and design stage, and then to the chip selection, the efficiency of different algorithms provide the basis for program evaluation.
▼ TimeWeaver For some complex processors, especially aiT can not support advanced processor, Absint company provides a mixed WCET analysis tool based on actual test combined with dynamic and static Trace data analysis.
▼ TimeWeaver可集成至PIL测试/HIL测试环境，进行处理器性能分析和验证工作。
▼ 对于Infineon Aurix系列芯片，可采用TimeWeaver与Infineon DAS工具（免费）进行集成的方案，更加高效的执行分析过程。
♦ 特点
▼ aiT/TimingProfiler/StackAnalyzer，代码静态分析工具，可直接导入编译后的.elf/*.out等二进制可执行文件进行自动分析，不会对现有的工具链造成影响
▼ TimeWeaver，动态测试+静态分析，利用二进制可执行文件进行静态分析，遍历所有代码执行路径。借助Trace分析结果，选用在实际处理器上的代码片段执行时间，综合分析得出代码的最差情况执行时间
▼ 图形化显示程序调用图和控制流图，找出代码性能优化瓶颈，为优化提供依据
▼ 遍历所有程序执行路径，对所有场景有效，无需提供测试用例(TimeWeaver所使用的Trace数据需要提供相应的测试环境及用例)
▼ 支持批量测试，支持Jenkins，可实现软件持续集成测试
▼ aiT和StackAnalyzer有认证支持包，能够提供认证支持服务（ ISO-26262, IEC-61508, EN-50128 等）
•
应用&案例
丰田汽车非预期加速事件调查 ，2010 年 aiT 被 NASA 作为工业标准静态分析工具用于丰田汽车公司非预期加速事件调查，以排除与时间相关的软件缺陷。
Daimler在动力总成控制系统等多个软件研发项目中，成功运用StackAnalyzer 工具进行相关分析，在研发前期即对软件的堆栈使用量情况进行有效分析和预估，避免了堆栈溢出等问题造成的项目延期和成本损失。
经纬恒润
北京市海淀区知春路7号致真大厦D座6层
电话：010-64840808
邮箱：[email protected]
网址：www.hirain.com