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
→
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 automotive 3/2014
“Safely Excluding Serious Errors” (PDF)
→
Recent publications
- Determining reliable and precise execution time bounds of real-time software,
Reinhard Wilhelm. IEEE Computer Society, IT Professional 22/3, May–June 2020.
- 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).
