AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are source-code analyzers RuleChecker for checking coding guidelines and Astrée for proving the absence of runtime errors and data races. The static analyzers StackAnalyzer (for proving the absence of stack overflows), aiT WCET Analyzer (for obtaining timing guarantees ), and TimingProfiler (for computing WCET estimates in early stages) run at the binary level.
TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates. Using the formally verified optimizing compiler CompCert eliminates the risk of miscompilation errors.
AbsInt's Qualification Support Kits and Qualification Software Life Cycle Data reports enable automatic tool qualification according to all common safety norms.
AbsInt, founded in 1998, celebrated its 20th anniversary last year. In 2003, AbsInt was awarded a European IST Prize.
Our customers are located in more than 40 countries all over the world. AIrbus used AbsInt tools for certifying A380 flight control software. Other references include MTU Friedrichshafen, Framatome, OHB, ESA, Daimler, Honda, u-blox, Helbako, ebm-papst, and many more, see https://www.absint.com/success.htm.
AbsInt Angewandte Informatik GmbH offers you products from these product groups:
- Tools (278)
- Services (378)