<´╗┐img height="1" width="1" style="display:none;" alt="" src="https://dc.ads.linkedin.com/collect/?pid=112631&fmt=gif" />

AbsInt Angewandte Informatik GmbH

AbsInt provides tools for validation, verification and certification of safety-critical software. Key products are aiT WCET analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, RuleChecker for checking coding guidelines, Astree for proving the absence of runtime errors and data races, TimingProfiler for computing WCET estimates in early stages, and the formally verified optimizing compiler CompCert.

NEW: TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates.
Qualification Support Kits and Qualification Software Life Cycle Data reports enable automatic tool qualification according to DO-178B/C and other safety norms.

AbsInt, founded in 1998, celebrates its 20th anniversary this 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 their success stories.

Safety-critical software can be validated/verified efficiently thanks to static code analysis tools adapted to VxWorks and Diab compilers.

Together with Wind River, we offer the following tools:
aiT WCET analyzer integrated with VxWorks and Diab compilers to provide timing guarantees regarding WCET
TimingProfiler integrated with VxWorks and Diab compilers to provide timing estimates and timing optimization in early development stages
StackAnalyzer integrated with VxWorks and Diab compilers to provide a solution for preventing stack overflows

  • Compliance with safety levels (DO-178B/C, ISO 26262, etc.) regarding stack usage or timing can be demonstrated efficiently.
  • Tools are preconfigured to save effort.

  • Company Info

    AbsInt Angewandte Informatik GmbH
    Science Park 1, Saarbruecken, Germany, 66123
    0049 681 383 600

    Partner type

    Aerospace & Defense

    Partner Tier

    Products Supported
    VxWorks 653