Текущие проекты
- Scale4Edge
Scalable infrastructure for edge computing
- TRISTAN
Together for RISC-V technology & applications
- FreeSBee
Side-channel free software for embedded systems
→
Предстоящие встречи
- Safetronic 2025
12–13 ноября, Штутгарт
- EdgeTech+ 2025
19–21 ноября, Иокогама
- ERTS 2026
5–6 февраля 2026, Тулуза
→
Новые публикации
- 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.