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
→
Upcoming events
- IoT Device Security Conference
Santa Clara, CA
- Beyond ISO 26262
Rochester, MI
→
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
- 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).
- T-CREST: time-predictable multi-core architecture for embedded systems.
M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley,
R. Capasso, J. Garside, K. Goossens, S. Goossens,
S. Hansen, R. Heckmann,
S. Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop,
Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha,
C. Silva, J. Sparsø, and A. Tocchi.
Journal of Systems Architecture, 61/2015, pp. 449–471.
