AbsInt – Emlogic

AbsInt

AbsInt provides qnique tools and services for static analysis and formal verification of safety-critical software.

aiT computes safe and tight upper bounds for the worst-case execution time of tasks in binary executables, taking into account the cache and pipeline behavior of the processor in question. TimeWeaver combines static analyses with non-intrusive tracing. And TimingProfiler lets you monitor timing behavior at early stages of software development.

StackAnalyzer determines the worst-case stack usage of tasks in embedded applications. It directly analyzes binary executables and considers all possible execution scenarios. Tight integration with TargetLink and SCADE is available, as well as qualification kits for ISO 26262, DO-178B, IEC 61508, and other safety standards.

Astrée formally proves the absence of runtime errors and invalid concurrent behavior in C and C++ applications. It is sound, very fast, and exceptionally precise. It can verify MISRA compliance, check code metrics, and run custom signal-flow, component-interference, and cybersecurity analyses. Qualification for ISO 26262 and DO-178C is supported, as is integration with Jenkins, TargetLink, Eclipse, and VS Code.

RuleChecker checks your C or C++ code for compliance with MISRA, CWE, AUTOSAR, and other coding guidelines, including custom rules of your own. It also compiles code metrics and supports easy qualification for ISO 26262, DO-178B/C, and other safety standards. Plugins for TargetLink, Eclipse, µVision, and Jenkins are available.

Products

Information

Address