AbsInt: News

Product news

The CompCert development team receives the ACM Software System Award as well as the ACM SIGPLAN Programming Languages Software Award
Stable release 22.04 of all tools available now
Our TISAX assessment results are now available under the Scope ID “SKVPV6”
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
TimeWeaver now supports ARM ULINK Pro
aiT WCET Analyzer now available for MPC5777C, ColdFire MCF5307, and more AURIX derivates
Astrée satisfies NIST’s sound-analysis criteria

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

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.