Aktuelle Projekte
- TeamPlay
Time, energy and security analysis for multi-/many-core heterogenous platforms
- QSMA
Evaluierung und Weiterentwicklung eines Parallelisierungstools für zertifizierte Avionik-Systeme
- MORAL
→
Anstehende Termine
- Embedded Software Engineering Kongress digital
29. November–3. Dezember, virtuelle Konferenz
- Embedded World 2022
15.–17. März, Nürnberg
→
Medienberichte
- Medizin-Elektronik 06/2019
„Sicherheit lässt sich programmieren“ (PDF)
-
Medizin-Elektronik 02/2019
„Von der Vision zur Wirklichkeit“ (PDF)
- Elektronik automotive 9/2018
„Der perfekte Compiler“ (PDF)
- Funktionale Sicherheit 7/2015
„Multicore-CPUs in sicherheitskritischen
Echtzeitsystemen“ (PDF)
→
Neueste Veröffentlichungen
- 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.
