German SME providing static analysis and worst-case execution time tools for safety-critical embedded systems, expanding into space-grade microcontroller verification.
AbsInt is a German SME specializing in static program analysis tools for safety-critical and embedded systems. Their core business is providing worst-case execution time (WCET) analysis, timing verification, and software quality assurance for industries where failure is not an option — aerospace, automotive, and industrial control. In H2020 projects, they contribute their deep expertise in analyzing software behavior on multi-core and heterogeneous hardware platforms, ensuring that real-time systems meet strict timing and safety guarantees. Their most recent work extends this competence into radiation-hardened microcontrollers for space applications.
ARGO focused on WCET-aware parallelization, TeamPlay on time/energy analysis for multi-core platforms, and AQUAS on aggregated quality assurance — all relying on AbsInt's static timing analysis tools.
ARGO targeted heterogeneous parallel systems, TeamPlay addressed multi/many-core platforms, and MORAL involves microcontroller design — all requiring analysis of complex hardware architectures.
AQUAS directly targeted aggregated quality assurance for systems, while TeamPlay combined timing with security analysis for safety-critical domains.
MORAL (2020-2024) focuses on export-free radiation-hardened microcontrollers for space, representing AbsInt's entry into space hardware verification.
AbsInt's early H2020 work (2016-2018) centered on pure software analysis challenges — parallelizing model-based applications with timing guarantees (ARGO) and system-level quality assurance (AQUAS). From 2018 onward, their focus shifted toward hardware-software co-analysis, adding energy consumption and security dimensions (TeamPlay), and most recently moving into space-grade microcontroller verification (MORAL). The trajectory shows a clear expansion from software-only static analysis toward full-stack embedded system assurance, including radiation-hardened hardware for space.
AbsInt is moving from pure software timing analysis into hardware-level verification for space and defense applications, suggesting future work in European sovereign space technology supply chains.
AbsInt consistently operates as a specialist participant, contributing targeted analysis tool expertise to larger consortia rather than leading projects. With 42 unique partners across 10 countries in just 4 projects, they engage with broad, diverse consortia — typical of ECSEL and large-scale RIA projects. This pattern suggests they are a trusted niche contributor that multiple consortium leaders choose to bring in when static analysis and timing verification are needed.
AbsInt has built a remarkably wide network for a small company — 42 distinct partners across 10 European countries through only 4 projects. Their partnerships span universities, research institutes, and industrial players in the embedded systems and safety-critical computing ecosystem.
AbsInt occupies a rare niche as one of very few European SMEs providing commercial-grade static analysis tools specifically for worst-case execution time and safety verification of embedded systems. Their Saarbrücken base — home to world-class computer science research institutions — gives them direct access to academic advances in abstract interpretation and formal methods. For consortium builders, AbsInt brings a production-ready toolchain that bridges the gap between academic verification research and industrial safety certification requirements.
