Aktuelle Projekte
- FreeSBee
Seitenkanalfreie Software für eingebettete Systeme
- QSMA
Evaluierung und Weiterentwicklung eines Parallelisierungstools für zertifizierte Avionik-Systeme
- MORAL
→
Anstehende Termine
- SOAP 2023
17. Juni, Orlando, Florida
- CySecMed 2023
17.–18. Oktober, München
→
Neueste Veröffentlichungen
- 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).
- 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)
by 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)
by 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.