March 26 – 31 , 2017, Dagstuhl Seminar 17131

Mixed Criticality on Multicore / Manycore Platforms


Sanjoy K. Baruah (University of North Carolina at Chapel Hill, US)
Liliana Cucu-Grosjean (INRIA – Paris, FR)
Robert Davis (University of York, GB)
Zoë Stephenson (Rapita Systems Ltd. – York, GB)

For support, please contact

Dagstuhl Service Team


Dagstuhl Report, Volume 7, Issue 3 Dagstuhl Report
Aims & Scope
List of Participants
Shared Documents
Dagstuhl Seminar Schedule [pdf]


Real-time applications are characterized by the need for both functional correctness and temporal correctness (appropriate timing behaviour). Real-time systems are present in many diverse areas such as avionics, automotive, space, robotics, and medical applications to cite only a few. Mixed Criticality Systems (MCS) have become an important topic for the real-time systems community. The first cluster of the European collaborative projects on MCS has been completed in September 2016, indicating a maturing of the related concepts within both industry and academia. Nevertheless many of the challenges brought about by the integration of mixed criticality applications onto multicore and manycore architectures remain to be solved. In reality mixed criticality problems have inherited the difficulty of real-time systems: being at the frontier of several domains including real-time scheduling, real-time operating systems / runtime environments, and timing analysis, as well as hardware architectures. This seminar promoted lively interaction, cross fertilization of ideas, synergies, and closer collaboration across different sub-communities of academics and industrialists from aerospace, automotive, and railway industries with specific interests in MCS, as well as with experts in certification.

In common with the first Dagstuhl Seminar on Mixed Criticality Systems, this seminar also focused on the two key conflicting requirements of MCS: separation between criticality levels for assurance and sharing for resource efficiency, along with the related requirement of time composability. An important aspect of this seminar was the presentation of different industry perspectives on the key problems. These perspectives formed the starting point of our seminar, with the first day mainly dedicated to industry statements on current practice and their perception of current work on MCS. The academic participants benefited from substantial and detailed arguments from the industry speakers. There were lively interactive discussions during the talks which led to much improved understanding of current industry practice, as well as helping to build a common vocabulary between academic and industry participants. The first day concluded with presentations by academic speakers presenting their thoughts on more practical mixed criticality models.

The next three days each included sessions devoted to an invited tutorial from a academic speaker. These covered the one-out-of-m multicore problem, Networks-on-Chip and mixed criticality, resource management, and statistical approaches to worst-case execution time estimation. The remaining sessions covered a range of fascinating open problems. In addition, a number of ad-hoc small working groups formed to collaborate on specific topics. We are pleased to report that a significant number of these initial collaborations have gained traction resulting in further work after the seminar, and in some cases the development and submission of papers.

Organization of the seminar report. Section 3 is an overview of the industry talks and Section 4 provides an overview of the academic talks. Section 5 presents working group discussions. Section 6 summarizes open problems discussed during the seminar. Finally outcomes from the seminar are listed in Section 7. As organizers, we would like to thank Prof. Reinhard Wilhelm for joining us, Dagstuhl’s Scientific Directorate for allowing us to run a second seminar on mixed criticality systems, and to the staff at Schloss Dagstuhl for their superb support during the seminar itself. Finally, we would like to thank all of the participants for the very lively and open discussions. As organizers, we appreciated the feedback and enthusiasm which made running the seminar a great pleasure.

  Creative Commons BY 3.0 Unported license
  Liliana Cucu-Grosjean, Robert Davis, Sanjoy K. Baruah, and Zoë Stephenson

Related Dagstuhl Seminar


  • Optimization / Scheduling
  • Semantics / Formal Methods
  • Verification / Logic


  • Real-time systems
  • Mixed-criticality
  • Multi- and many-cores

Book exhibition

Books from the participants of the current Seminar 

Book exhibition in the library, ground floor, during the seminar week.


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

NSF young researcher support