AbsInt: News

Product news

Stable release 22.10 of all tools available now
TimeWeaver now supports ARM ULINK Pro and Lauterbach Trace32 BRANCHFLOW
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
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
aiT WCET Analyzer now available for MPC5777C, ColdFire MCF5307, and more AURIX derivates
Astrée satisfies NIST’s sound-analysis criteria

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.