Workshop on Mixed Criticality Systems 2018

WORKSHOP PROGRAM

WORKSHOP PROCEEDINGS

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

PURPOSE OF THE WORKSHOP

WMC’s goal is to promote sharing of new ideas, results, experiences and information about research and development of mixed-criticality real-time systems.

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

WMC aims to promote a holistic approach to solving the problems of MCS. The scope of the workshop will cover all real-time aspects of MCS, including but 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 synchronization across criticality levels, and issues relating to consistency of the criticality mode.
• Analysis of worst-case execution times (WCET) relating to MCS on multicore and manycore platforms, including cache related pre-emption and migration delays.
• Certification issues of MCS on multicore and many core platforms.
• Mixed-criticality communication mechanisms and analysis, including Network-on-Chip support.
• Probabilistic analysis techniques for MCS.
• Security aspects only as they affect real-time behaviors of MCS.

WMC 2018 is inviting regular unpublished papers as well as Journal-Never-Presented (JNP) papers on all aspects of mixed-criticality real-time systems are welcome. The scope of the workshop is real-time, mixed criticality systems. Papers that do not relate to real-time behavior (i.e. are solely about security or safety aspects of MCS) will be considered as out of scope.

CALL FOR PAPERS pdf

PAPER SUBMISSION submission link

Regular Papers: The material must be unpublished and not under submission elsewhere. Submissions will be accepted based on their originality, quality, significance, and relevance to 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.

Journal-Never-Presented (JNP) Papers: WMC 2018 for the first time accepts the 2-page Journal-Never-Presented (JNP) papers. The JNP submissions should be about a relatively new journal paper in the scope of MCS that were accepted by major journals but not previously presented anywhere. This allows work that is relevant to the MCS community but might not be widely known to have the opportunity to be presented and discussed at the workshop. The JNP submissions must be in the same format (2 pages maximum, 2 columns, 10 pt, US Letter). The submission should provide a brief summary of the journal paper, mainly to explain the relevance to MCS, the main contributions (techniques and results), and to highlight open questions that are of interest to WMC participants. The submission must include a full citation to the journal paper.

Papers must be submitted electronically in PDF format. By submitting a paper, the authors confirm that if the paper is accepted, at least one author will register for the WMC 2018 workshop by the special registration deadline set in the notification of acceptance, and present the paper at the workshop in person. Submit a paper.

PROCEEDINGS

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