AbsInt provides advanced tools and services for embedded systems with a focus on software validation, verification, and certification. Demonstrating non-functional safety goals like guaranteed behavior with respect to execution time/memory usage as well as the absence of runtime errors for software is a tough problem since failures usually occur in edge cases and a meaningful test coverage typically cannot be achieved. To that effect, developers of safety-critical software use sound Abstract Interpretation-based static analysis tools like AbsInt's aiT, StackAnalyzer, and Astrée which provide full coverage and yield provably correct results.
Current safety standards (DO-178B, DO-178C, IEC-61508, ISO-26262, EN-50128, etc.) recommend the usage of such tools but also require the tools to be qualified, i.e., the quality of the tools must be demonstrated. The tool qualification process can be automated up to the highest criticality levels to a large degree by AbsInt's Qualification Support Kits. On top of this, the Qualification Software Life Cycle Data Reports now provide details about AbsInt's development processes.
For more information, please visit http://www.absint.com