Functionally Safe Multi-Core Systems (Dagstuhl Seminar 23341)

Authors Georg von der Brüggen, Ian Gray, Catherine Nemitz and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 2.15 MB
  • 20 pages

Document Identifiers

Author Details

Georg von der Brüggen
  • TU Dortmund, DE
Ian Gray
  • University of York, GB
Catherine Nemitz
  • Davidson College, US
and all authors of the abstracts in this report

Cite AsGet BibTex

Georg von der Brüggen, Ian Gray, and Catherine Nemitz. Functionally Safe Multi-Core Systems (Dagstuhl Seminar 23341). In Dagstuhl Reports, Volume 13, Issue 8, pp. 71-90, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


This report documents the program and the outcomes of Dagstuhl Seminar 23341 "Functionally Safe Multi-Core Systems". The seminar took place at a time when there is significant debate and disagreement in both academia and industry on how future safety-critical systems can be developed, certified, and deployed. This process is increasingly complex, as on the one hand, modern systems must provide more services while, on the other hand, analysing such systems becomes significantly more challenging in a multi-core scenario than it was in the single-core era. It is therefore a vital question to determine how the same level of certainty can be provided in the future. The seminar brought together experts from academia and industry for the three major layers involved in safety-critical systems: application, middleware, and platform. They discussed the different perspectives, which problems are deemed specifically important, and potential solutions. One main focus when organizing the seminar was to not only present the different positions but also to provide space for lengthy discussion and disagreement.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Architectures
  • Computer systems organization → Embedded and cyber-physical systems
  • Computer systems organization → Real-time systems
  • Computer systems organization → Dependable and fault-tolerant systems and networks
  • Theory of computation → Models of computation
  • eda and micro-architectures
  • middleware
  • multi-core
  • safety-critical applications


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail