Shulou(Shulou.com)06/03 Report--

AbsInt is a safety-critical software development, verification, verification and certification tool chain supplier, able to provide customers with a complete performance analysis tool suite to ensure code security, as well as software analysis, verification, validation and compiler technology related consulting services. AbsInt products are widely used in the research and development of safety-critical software in industrial, transportation, automotive, communications, energy and other industries.

Product introduction

The AbsInt Code Security performance / Resource Analysis Suite mainly 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 can automatically analyze the worst stack usage of a task for a specific processor family and compiler, avoiding stack overflow caused by artificial underestimation and resource waste caused by artificial overestimation.

♦ aiT, TimingProfiler and TimeWeaver

For specific processors and compilers, ▼ aiT can analyze the worst execution time closer to the actual running situation, and truly reflect the performance of the system. In the process of analysis, the effects of cache and pipeline (pipeline) are fully considered, so as to avoid the over-conservative WCET value and the waste of hardware resources.

Aiming at specific processor families and compilers, ▼ TimingProfiler can continuously analyze and estimate code execution efficiency from the beginning of design, and then provide a basis for chip selection and evaluation of execution efficiency of different algorithm schemes.

▼ TimeWeaver provides a hybrid Trace analysis tool based on real Trace data that combines dynamic testing and static analysis for some complex processors, especially advanced processors that Absint cannot support.

▼ TimeWeaver can be integrated into the PIL test / HIL test environment for processor performance analysis and verification.

For Infineon Aurix series chips, ▼ can integrate TimeWeaver and Infineon DAS tools (free) to perform the analysis process more efficiently.

Characteristics of ♦

▼ aiT/TimingProfiler/StackAnalyzer, a code static analysis tool, can directly import compiled binary executable files such as .elf / * .out for automatic analysis without affecting the existing tool chain.

▼ TimeWeaver, dynamic testing + static analysis, static analysis using binary executable files, traversing all code execution paths. With the help of the results of Trace analysis, the execution time of the code fragment on the actual processor is selected, and the worst-case execution time of the code is obtained by comprehensive analysis.

▼ graphically displays the program call diagram and control flow diagram to find out the bottleneck of code performance optimization and provide a basis for optimization.

▼ traverses all program execution paths and works for all scenarios without providing test cases (the Trace data used by TimeWeaver needs to provide the corresponding test environment and use cases)

▼ supports batch testing, Jenkins, and continuous integration testing of software.

▼ aiT and StackAnalyzer have certification support packages that provide authentication support services (ISO-26262, IEC-61508, EN-50128, etc.)

Application & case

Toyota unexpected acceleration incident investigation, in 2010, aiT was used by NASA as an industry standard static analysis tool for Toyota unexpected acceleration incident investigation to eliminate time-related software defects.

In many software research and development projects, such as powertrain control system, Daimler successfully uses StackAnalyzer tools to carry out correlation analysis, and effectively analyzes and estimates the stack usage of the software in the early stage of research and development, thus avoiding project delay and cost loss caused by stack overflow and other problems.

Constant moisture of longitude and weft

6 / F, Block D, Zhizhen Building, 7 Zhichun Road, Haidian District, Beijing

Tel: 010-64840808

Mailbox: market_dept@hirain.com

Web site: www.hirain.com

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.