Текущие проекты
- Scale4Edge
Scalable infrastructure for edge computing
- TRISTAN
Together for RISC-V technology & applications
- FreeSBee
Side-channel free software for embedded systems
→
Предстоящие встречи
- safe.tech 2025
20–21 мая, Мюнхен
- Automotive Engineering Expo 2025
21–23 мая, Иокогама
- EdgeTech+ West 2025
24–25 июля, Осака
→
Новые публикации
- 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.