AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
The embedded market of today is characterized by constantly rising software complexity and increasingly shorter time-to-market. The share of safety-critical applications is rising.
AbsInt’s tools are designed to
Our tools are based on a generic and generative framework which allows an extremely quick, sound and flexible response to customer needs. This has been more than proven in a series of successful projects and by outstanding customer satisfaction.
Software testing accounts for a major part of development costs. This is especially true for real-time systems, where correctness not only depends on logical correctness, but also on the timeliness of the results. Timing properties are hard to establish; measuring and time-stopping methods are error-prone and time-consuming.
Static program analyses provide means to reduce testing and validation costs. The underlying theory of abstract interpretation enables the systematic derivation of provably correct analyses. The analyses are performed at compile-time and provide results which hold for any program execution and any possible input scenario.
Our award-winning aiT WCET Analyzer is the first software tool for verifying that safety-critical applications always react fast enough. Since 2002, aiT is used by Airbus France for validating the timing behavior of critical avionics software.
Our StackAnalyzer automatically computes the worst-case stack usage of the tasks in embedded applications. This not only reduces development effort, but also helps to prevent runtime errors due to stack overflow.
Our static program analyzer Astrée, developed under license from CNRS/ENS, proves the absence of run-time errors in C programs. Its extremely precise and highly customizable analysis engine enables finding all potential run-time errors while keeping false alarms to a minimum. Large-scale industrial safety-critical avionics software was successfully analyzed with Astrée in just a few hours with zero false alarms.
Current safety standards (DO-178B, DO-178C, IEC-61508, ISO-26262, EN-50125, etc.) require identifying potential functional and non-functional hazards and demonstrating that the software does not violate the relevant safety goals.
Abstract-interpretation based tools such as aiT, StackAnalyzer, ValueAnalyzer, and Astrée provide formal verification with 100% complete and reliable results. They are therefore perfectly suited to be used for certification.
The qualification process is greatly simplified by AbsInt’s Qualification Support Kits. Additionally, Qualification Software Life Cycle Data Reports provide details about AbsInt’s development processes.
Founded in 1998, AbsInt is a privately-held company located in Saarbruecken, Germany.