AbsInt: News

Latest news

Stable release 21.10 of all tools available now
Standalone RuleChecker now available from our partner QA Systems, re-branded as QA-MISRA for that purpose
StackAnalyzer now available for MIPS32, Nios II, LEON4, and RISC-V
Astrée static analyzer now available for C++ and mixed C/C++ code bases
TimeWeaver now supports ARM ULINK Pro
aiT WCET Analyzer now available for MPC5777C, ColdFire MCF5307, and more AURIX derivates
All tools for TriCore now support GHS
Astrée satisfies NIST’s sound-analysis criteria
AbsInt co-founder Prof. Reinhard Wilhelm receives the 2020 IEEE TCRTS Award for Outstanding Technical Achievement and Leadership

Ongoing projects

TeamPlay
Time, energy and security analysis for multi-/many-core heterogenous platforms
QSMA
Parallelization tools for certified avionics systems
MORAL

→

Upcoming events

ERTS 2022
March 30–31, Toulouse
Embedded World 2022
June 21–23, Nuremberg

→

Press releases

November 16, 2021
QA-MISRA — the customised answer to market requirements
September 15, 2021
Project EMPHYSIS wins ITEA Award of Excellence — AbsInt’s Contribution
October 21, 2019
AbsInt co-founders receive Test-of-Time Award
May 21, 2019
Static analysis at Bosch

→

Media coverage

Elektronik automotive 9/2018
“The Perfect Compiler” (PDF in German)
Funktionale Sicherheit 7/2015
“Multicore-CPUs in sicherheitskritischen Echtzeitsystemen”
(PDF in German)
Elektronik automotive 3/2014
“Safely Excluding Serious Errors” (PDF)

→

Recent publications

Real Time Spent on Real Time, R. Wilhelm, in Communications of the ACM, October 2020, Vol. 63 №10, pp. 54–60.
Testing Implementation Soundness of a WCET Analysis Tool, R. Wilhelm, M. Pister, G. Gebhard, and D. Kästner. In A Journey of Embedded and Cyber-Physical Systems, Jian-Jia Chen, Ed. Springer Open Access, 2021. ISBN 978-3-030-47487-4 (eBook).
Determining reliable and precise execution time bounds of real-time software, Reinhard Wilhelm. IEEE Computer Society, IT Professional 22/3, May–June 2020.
High-Precision Sound Analysis to Find Safety and Cybersecurity Defects (Best Paper Award). D. Kästner, L. Mauborgne, S. Wilhelm, C. Ferdinand. In ERTS 2020: Embedded Real Time Software and Systems, 10th European Congress, Jan 2020, Toulouse, France.
Analyze this! Sound static analysis for integration verification of large-scale automotive software. D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne et al. SAE Technical Paper 2019-01-1246, 2019.
Obtaining worst-case execution time bounds on modern microprocessors (PDF, 900kB) D. Kästner, M. Pister, S. Wegener, and C. Ferdinand. Embedded World Congress, Nuremberg, 2018.
CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler (PDF, 600kB) D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer et al., in ERTS² 2018 — Embedded Real Time Software and Systems, January 2018, Toulouse, France. <hal-01643290>.
Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB). B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss. Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).