製品ニュース

• リリース25.04：
  全ての製品
• AstréeとRuleChecker：
  今後MISRA·C:2025とMISRA·C++:2023標準規格もサポート
• StackAnalyzer：
  今後RISC-VとAURIX·TC4xもサポート
• CompCert：
  今後AURIXもサポート

プレスリリース

• 2024年4月9日
  Vector and AbsInt pave the way for autonomous driving

もっと見る

最近の論文

• Sound Signal Flow Analysis for C/C++. D. Kästner, L. Mauborgne, S. Hahn, S. Wilhelm, J. Herter, C. Cullmann, C. Ferdinand. Embedded World Congress 2025, Nuremberg.
• Multi-Core WCET Analysis Using Non-Intrusive Continuous Observation. D. Kästner, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand, A. Schulz, M. Sachenbacher, M. Leucker, A. Weiss. In ERTS 2024: Embedded Real Time Software and Systems, 12th European Congress, Toulouse, June 2024.
• Satisfying Timing Requirements for Safety-Critical Real-Time Software. D. Kästner, C. Hümbert, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand. Embedded World Congress 2024, Nuremberg.
• 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. ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, Toulouse, June 2022.
• Call String Sensitivity for Hardware-Based Hybrid WCET Analysis. B. Dreyer, C. Hochberger, S. Wegener. IEEE Embedded Systems Letters, Volume 14, Issue 2, June 2022.
• 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, editor, Springer Open Access, 2021. ISBN 978-3-030-47487-4 (eBook).
• Real Time Spent on Real Time. Reinhard Wilhelm.
  Communications of the ACM, October 2020, Vol. 63 №10, pp. 54–60.