Ongoing projects
- TeamPlay
Time, energy and security analysis for multi-/many-core heterogenous platforms
- AQUAS
Aggregated quality assurance for systems
- EMPHYSIS
Embedded systems with physical models in the production code software
- QSMA
Parallelization tools for certified avionics systems
→
Media coverage
- Elektronik automotive 9/2018
“The Perfect Compiler”
(PDF in German)
- Funktionale Sicherheit 7/2015
“Multicore-CPUs in sicherheitskritischen
Echtzeitsystemen”
(PDF in German)
- Elektronik embedded 10/2014
“Echtzeitanalyse für softwaregesteuerte Systeme” (PDF)
- Elektronik automotive 3/2014
“Safely Excluding Serious Errors” (PDF)
→
Recent publications
- 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.
- Obtaining worst-case execution time bounds on modern microprocessors (PDF, 900kB)
D. Kästner, M. Pister, S. Wegener, and C. Ferdinand.
Embedded World Congress, Nuremberg, 2018.
- CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler (PDF, 600kB)
D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer et al.,
in ERTS² 2018 — Embedded Real Time Software and Systems, January 2018, Toulouse, France. <hal-01643290>.
- Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB).
B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss.
Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
