Ongoing projects
- ARGO
WCET-aware parallelization of model-based applications for heterogeneous parallel systems
- FORTISSIMO
Verification of concurrent systems
- Coniras
Analysis of nondeterministic errors
- Assume
Affordable safe and secure mobility evolution
→
Media coverage
- Funktionale Sicherheit 7/2015
“Multicore-CPUs in sicherheitskritischen
Echtzeitsystemen” (PDF)
- Elektronik embedded 10/2014
“Echtzeitanalyse für softwaregesteuerte Systeme” (PDF)
- Elektronik automotive 3/2014
“Safely Excluding Serious Errors” (PDF)
→
Recent publications
- 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.
T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems.
Journal of Systems Architecture, 61/2015, pp. 449–471.
- S. Salvi, D. Kästner,
T. Bienmüller, C. Ferdinand.
Exploiting Synergies between Static Analysis and Model-Based Testing.
Proceedings of the 11th European Dependable Computing Conference (EDCC’15).
IEEE Computer Society Press, Sept. 2015.
- D. Kästner, J. Pohland. Program Analysis on Evolving Software.
In Matthieu Roy, editor, CARS 2015 — Critical Automotive applications:
Robustness & Safety, Paris, France, September 2015.
