WMC 2016

Workshop on Mixed Criticality Systems
November 29, 2016 | Porto, Portugal | With RTSS 2016


  • January 19, 2016: The proceedings of the workshop are now available through the HAL archives.
  • November 26, 2016: The program has been updated to reflect one chance to the list of presentations as well as minor changes to the order of presentations. We look forward to seeing you all in Porto!
  • October 11, 2016: A draft program for the workshop is now online. Registration for RTSS '16 and WMC '16 is now open.
  • The submission deadline for WMC 2016 -- along with all RTSS workshops for 2016 -- has been changed to September 25 (from September 16).


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


Submission deadline25th September 2016 (23:59 GMT-12.00)
Notification of acceptance7th October 2016
Final version14th November 2016
Workshop29th November 2016
RTSS 2016November 30 -- December 2, 2016


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 single-core, multi-core and many-core architectures. These challenges are cross-cutting. To advance rapidly, closer interaction is needed between the sub-communities involved in real-time operating systems / run-time environments / hypervisor, real-time scheduling, security, safety 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 single-core, multi-core, and many-core platforms.
  • Comparison between MCS models (Vestal, DAL / IMA, SIL / AUTOSAR, …).
  • Scheduling schemes and analyses for MCS, including the integration of appropriate models of overheads and delays.
  • Operating systems, hypervisors, run-time environments and support for MCS.
  • Communication on Network on Chip (NoC) in MCS
  • Analysis of worst-case execution times (WCET) relating to MCS.
  • Certification issues of MCS on multi-core and many-core platforms.
  • Safety and fault-tolerance mechanisms for real-time MCS systems.
  • Probabilistic analysis techniques for MCS.
The scope of the workshop is real-time, mixed criticality systems. Papers that do not relate to real-time behaviour (i.e. are solely about security or safety aspects of MCS) will be considered as out of scope.


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 2016 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.


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.