AbsInt Angewandte Informatik GmbH
AbsInt provides advanced development tools for embedded systems with a focus on validation, verification and certification of safety-critical and safety-related software. Key products include static analysis tools for checking coding guidelines, timing and stack usage analysis, and detecting critical programming errors in C/C++ code, as well as the formally verified compiler CompCert. Recently, the development of CompCert was honored with the prestigious ACM Software System Award: https://awards.acm.org/software-system. AbsInt was founded in 1998 and is a privately held company based in Saarbrücken, Germany.
- 49 681 383 600
- 49 681 383 60 20
- info@absint.com
- Science Park 1
Saarbruecken, 66123
Germany
Filter Results By:
Products
Applications
-
product
Code Execution Time Analyzer
TimingProfiler
AbsInt Angewandte Informatik GmbH
Constantly monitor timing behavior during software development, even at the earliest stages. Identify bottlenecks when you haven't even settled for a particular processor derivate yet, and measurements on physical hardware are plain impossible. This makes TimingProfiler ideally suited for constantly monitoring timing behavior during software development and in model-based development environments
-
product
Formally Verified Optimizing C Compiler
CompCert
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
product
Stack Usage Analysis
StackAnalyzer
AbsInt Angewandte Informatik GmbH
StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results are shown as annotations in the call graph and control flow graph
-
product
Worst-Case Execution Time Analyzers
aiT WCET
AbsInt Angewandte Informatik GmbH
In real-time systems, timely task completion is of the essence. Each real-time task has to be completed within a specified time frame in order to ensure that the system works correctly. In other words, it is essential that the WCET of each task is known.
-
product
Run-Time Error Analyzer
Astrée
AbsInt Angewandte Informatik GmbH
Astre analyzes structured C programs with complex memory usages, but without recursion or dynamic memory allocation. This targets embedded applications as found in earth transportation, nuclear energy, medical instrumentation, aeronautics and space flight, in particular synchronous control/command such as electric flight control.
-
product
Static Analyzer for C or C++ Code for Compliance with MISRA, CERT
RuleChecker
AbsInt Angewandte Informatik GmbH
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
-
product
Hybrid Worst-Case Timing Analysis
TimeWeaver
AbsInt Angewandte Informatik GmbH
TimeWeaver combines static path analysis with timing measurements to provide worst-case execution time estimates.The tool estimates the worst-case execution time (WCET) of tasks based on the execution time of trace segments obtained from real-time instruction-level tracing. The computed time bounds are valuable for soft real-time systems and provide feedback for optimizing worst-case performance.
