Neues zu Produkten
- Astrée und RuleChecker
unterstützen jetzt MISRA C:2023 und MISRA C++:2023
- aiT WCET-Analyzer jetzt erhältlich für AURIX 499, MPC5777C und MCF5307
- Die Kopplung von StackAnalyzer mit SCADE
ist nun auch für AURIX erhältlich
- TimeWeaver
ist nun erhältlich für ColdFire und RH850
- CompCert erhält den
Software-System-Preis der ACM sowie den ACM SIGPLAN
Programming Languages Software Award
- StackAnalyzer und ValueAnalyzer
unterstützen jetzt MIPS32, Nios II, LEON4 und RISC-V
Laufende Projekte
- FreeSBee
Seitenkanalfreie Software für eingebettete Systeme
- Scale4Edge
Skalierbare Infrastruktur für Edge-Computing
- TRISTAN
RISC-V-Technologien und -Anwendungen
→ mehr
Anstehende Termine
- Safetronic 2024
13.–14. November, Stuttgart-Fellbach
- Embedded Testing
25.–26. Februar 2025, München
- Embedded World 2025
11.–13. März, Nürnberg, Stand 4-138
→ mehr
Neueste Veröffentlichungen
- 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, 12. Europäischer Kongreß, Toulouse, Juni 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-Kongreß 2024, Nürnberg.
- 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.
- 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).
- Real Time Spent on Real Time,
R. Wilhelm.
In Communications of the ACM, October 2020, Vol. 63 №10, pp. 54–60.