Ongoing projects
- Scale4Edge
Scalable infrastructure for edge computing
- QSMA
Parallelization tools for certified avionics systems
- TRISTAN
Together for RISC-V technology & applications
- FreeSBee
Side-channel free software for embedded systems
→ all
Upcoming events
- Embedded World 2024
April 9–11, Nuremberg
- MedConf 2024
April 16–18, Munich
- ERTS 2024
June 11–12, Toulouse
- Embedded World North America
October 8–10, Austin, TX
- Safetronic 2024
13–14 November, Stuttgart
→ all
Recent publications
- 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.
- Real Time Spent on Real Time,
Reinhard 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).