AbsInt: News

Product news

MISRA C:2023 now supported by Astrée and RuleChecker
Stable release 23.04 of all tools available now
TimeWeaver is now available for V850/RH850
The coupling of StackAnalyzer with SCADE is now also available for AURIX
The CompCert development team receives the ACM Software System Award as well as the ACM SIGPLAN Programming Languages Software Award
StackAnalyzer now available for RL78 and RISC-V
aiT WCET Analyzer now available for MPC5777C, ColdFire MCF5307, and more AURIX derivates
Astrée satisfies NIST’s sound-analysis criteria

Ongoing projects

Scale4Edge
Scalable infrastructure for edge computing
QSMA
Parallelization tools for certified avionics systems
TRISTAN
Together for RISC-V technology & applications
FreeSBee
Side-channel free software for embedded systems

→ all

Upcoming events

CySecMed 2023
October 17–18, Munich
30th Static Analysis Symposium
October 22–24, Lisbon
Airtec 2023
October 25–27, Augsburg
Safetronic 2023
November 15–16, Stuttgart
MISRA Day 2023
November 23, Ludwigsburg

→ all

Press releases

November 15, 2022
Accelerated runtime analyses facilitate software development
May 11, 2022
AbsInt researchers win prestigious ACM Software System Award

→ all

Media coverage

elektroniknet.de, June 20, 2022
Modelltransformation und automatische Codegenerierung
Saarbrücker Zeitung, June 11, 2022
Zwei Informatiker aus dem Saarland erhalten den begehrtesten Software-Preis

→ all

Recent publications

Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software. D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
Static Data and Control Coupling Analysis. D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand. In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, June 2022, Toulouse, France.
Call String Sensitivity for Hardware-Based Hybrid WCET Analysis, B. Dreyer, C. Hochberger, S. Wegener, in IEEE Embedded Systems Letters, Volume 14, Issue 2, June 2022.
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.