Workshop on Mixed Criticality Systems


WMC 2013 Proceedings (PDF 14Mbytes).


Program with papers and presentations(WEBPAGE).


Download/View the Call For Papers (PDF, TEXT).


The purpose of WMC is to share new ideas, experiences and information about research and development of Mixed Criticality real-time systems.


  • Submission deadline extended to: 11th Oct 2013
  • Notification of acceptance: 30th Oct 2013
  • Final Versions: 6th November 2013
  • Workshop: 3rd December 2013
  • RTSS 2013 Conference: 3rd-6th December 2013


The workshop aims to bring together researchers working in fields relating to real-time systems with a focus on the challenges brought about by the integration of mixed criticality applications onto singlecore, multicore and manycore architectures. These challenges are cross-cutting.

To advance rapidly, closer interaction is needed between the sub-communities involved in real-time scheduling, real-time operating systems / runtime environments, and timing analysis. The workshop aims to promote understanding of the fundamental problems that affect Mixed Criticality Systems (MCS) at all levels in the software/hardware stack and crucially the interfaces between them.

The workshop will promote lively interaction, cross fertilisation of ideas, synergies, and closer collaboration across the breadth of the real-time community, as well as attracting industrialists from the aerospace, automotive and other industries with a specific interest in MCS. Original unpublished papers on all aspects of mixed criticality real-time systems are welcome.

Themes include, but are not limited to:

  • Task and system models for MCS on singlecore, multicore, and manycore platforms.
  • Scheduling schemes and analyses for MCS, including the integration of appropriate models of overheads and delays.
  • Run-time environments and support for MCS, including data exchange and synchronisation across criticality levels, and issues relating to criticality mode.
  • Analysis of worst-case execution times (WCET) relating to MCS.
  • Mixed criticality communications mechanisms and analysis, including Network-on-Chip support.
  • Probabilistic analysis techniques for MCS.

The workshop does not aim to cover security aspects that relate to some MCS.


Submissions must be in the same format as in the final proceedings (6 pages maximum, 2 columns, 10 pt, US Letter) compliant with IEEE formatting guidelines. Papers exceeding the page limit will not be reviewed.

The material must be unpublished and not under submission elsewhere. By submitting a paper, the authors confirm that if the paper is accepted, at least one author will register for the WMC 2013 workshop by the special registration deadline set in the notification of acceptance, and present the paper at the workshop in person.

Papers must be submitted electronically in PDF format. Submit a paper.


WMC will publish informal proceedings. The authors retain the copyright to their work and are free to submit extended versions to a conference or journal.


This Workshop on Mixed Criticality Systems is partially supported by the UK EPSRC funded Project MCC (EP/K011626/1), the EU funded FP7 Integrated Project PROXIMA (611085), and the French BGLE funded Departs project (O16526-405635).