Workshop on Mixed Criticality Systems 2019

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.

• Multi-Model Systems – an MCS by Any Other Name
  Alan Burns

• How to Build a Mixed-Criticality System in Industry? – From the Perspective of System Architecture
  Zhe Jiang

• Journal-never-Presented: Jitter-based Mixed-Criticality Scheduling for Distributed Real-Time Embedded Defense Systems
  Kilho Lee, Minsu Kim, Hayeon Kim, Hoon Sung Chwa, Jaewoo Lee, Jinkyu Lee and Insik Shin

• Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs
  Alan Burns, Sanjoy Baruah, Cliff Jones and Iain Bate

• Flexible Mixed-Criticality Scheduling with Dynamic Slack Management
  Xinyang Dong, Gang Chen, Mingsong Lv, Weiguang Pang, Wang Yi

• Mixed-Criticality Scheduling with Varying Processor Supply in Compositional Real-Time Systems
  Kecheng Yang and Zheng Dong

NEWS

Following the decision by the IEEE RTSS 2019 conference, the WMC 2019 originally postponed from December 2019 has been canceled. Further information, including full refunds of registration fees, will be included on the RTSS website as soon as it becomes available. Your patience and understanding is appreciated.

[Keynote] We are very excited to announce that Prof. Iain Bate from University of York will give a keynote talk entitled:

Justifying the Service Provided to Low-Criticality Tasks in an Avionic Mixed-Criticality System

Abstract. Significant work has been presented over the last decade looking at the application of Mixed Criticality Scheduling. The premise being that if a failure occurs the scheduler performs a mode change from normal mode to high-criticality mode. In high-criticality mode, some lower-criticality tasks are given a reduced service (e.g. not executed or executed at a different period). Recently work has been performed to bound the number of low-criticality jobs that might be skipped when the scheduler changes to high-criticality mode. However a significant gap in the analysis has appeared with respect to identifying for how long the service provided to lower-criticality tasks may be reduced. This is essential as part of supporting software certification. In this talk, real world requirements for low-criticality software and a process designed to allow a system integrator to address this gap will be introduced. The result is a safety argument with supporting evidence based on a real life case study, taken from a DAL-A certified aircraft engine control system.

Bio. Iain Bate is a Reader in Real-Time Systems within the Department of Computer Science at the University of York. His research interests include scheduling and timing analysis, and the design and certification of Cyber Physical Systems. He has chaired three leading International Conferences and is a frequent member of Program Committees. He was the Editor-in-Chief of the Microprocessors and Microsystems journal and then the Journal of Systems Architecture for 15 years. He is currently leading the timing work package of a large government funded project. The work package is investigating the use of mixed-criticality scheduling and multi-core processors in avionics systems. The project involves most of the UK companies that develop avionic systems.

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