Showing results: 1 - 7 of 7 items found.
-
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
-
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.
-
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
-
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.
-
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.
-
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.
-
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.