WMC 2013 - 1st International Workshop on Mixed Criticality Systems (WMC)

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.