Our tools offer a variety of static analyses for the development, debugging, optimization, and certification of safety-critical i386DX applications.
A Qualification Support Kit is available to help you with the qualification for ISO 26262, DO-178B/C, IEC-61508, and other safety standards.
You can also commission us with the analysis of your code. Any of the analyses listed below can be carried out as a service according to your requirements.
| compiled PL/I code | |
|---|---|
| Static WCET analysis | aiT |
| Timing profiling | TimingProfiler |
| Stack usage analysis | StackAnalyzer |
| Memory safety analysis | ValueAnalyzer |
| Control flow visualization | all of the above |
| Dead code recognition | all of the above |
