Ongoing projects
- Scale4Edge
Scalable infrastructure for edge computing
- QSMA
Parallelization tools for certified avionics systems
- MORAL
→
Upcoming events
- SOAP 2023
June 17, Orlando, FL
- CySecMed 2023
October 17–18, Munich
→
Recent publications
- 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,
R. 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).
- Determining reliable and precise execution time bounds of real-time software,
Reinhard Wilhelm. IEEE Computer Society, IT Professional 22/3, May–June 2020.
- High-Precision Sound Analysis to Find Safety and Cybersecurity Defects (Best Paper Award).
D. Kästner, L. Mauborgne, S. Wilhelm, C. Ferdinand.
In ERTS 2020: Embedded Real Time Software and Systems, 10th European Congress, Jan 2020, Toulouse, France.
- Analyze this! Sound static analysis for integration verification of large-scale automotive software.
D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne et al.
SAE Technical Paper 2019-01-1246, 2019.