------------------------------------------------------------------------
                      Call for Papers - WMC2014

         http://www-users.cs.york.ac.uk/~robdavis/wmc2014/wmc2014cfp.pdf


------------------------------------------------------------------------

 2nd International workshop on Mixed Criticality Systems (WMC)
            

        at the IEEE Real-Time Systems Symposium
         Rome, Italy, 2nd December, 2014

      http://www-users.cs.york.ac.uk/~robdavis/wmc2014/ 

    ****  Submission Deadline extended to: 6th October 2014  ****

------------------------------------------------------------------------

WORKSHOP

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

THEMES

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

------------------------------------------------------------------------

PAPER SUBMISSION

Papers must be submitted electronically in a pdf format. The material must 
be unpublished and not under submission elsewhere. Submissions must be in 
the same format as in the final proceedings (6 pages maximum, 2 columns, 10 
pt) compliant with the IEEE formatting guidelines. Papers exceeding the page 
limit will not be reviewed. See the workshop website for further details 
about submissions.

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 2014 workshop by the special
registration deadline set in the notification of acceptance, and present
the paper at the workshop in person.

------------------------------------------------------------------------
PROCEEDINGS

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.

------------------------------------------------------------------------

IMPORTANT DATES

Submission deadline extended to: 6th October 2014
Notification of acceptance:    27th October 2014
Final version of papers due:   3rd November 2014
Workshop                       2nd December 2014
RTSS conference                2nd-5th December 2014

------------------------------------------------------------------------

ORGANISERS

Program chairs
Liliana Cucu-Grosjean (INRIA, France)
Rob Davis (University of York, UK)


Program committee 
Sebastian Altmeyer (University of Amsterdam, Netherlands)
Sanjoy Baruah (The University of North Carolina at Chapel Hill, USA)
Iain Bate (University of York, UK)
Gerhard Fohler(Technische Universitat Kaiserslautern, Germany)
Laurent George (LISSI, Universite Paris Est Creteil, France)
Haohan Li (The MathWorks, USA)
Nan Guan (Northeastern University, China.Uppsala University, Sweden)
Claire Maiza (Grenoble INP / Verimag, France)
Vincent Nelis (CISTER/INESC-TEC, ISEP, Portugal)
Gabriel Parmer (The George Washington University, USA)
Sophie Quinton (Inria - Grenoble, France)
Marcus Voelp (Technische Universitat Dresden, Germany)
Suzanne van der Ster (Vrije Universiteit Amsterdam, Netherlands)
Wang Yi (Uppsala University, Sweden)


Steering committee
Sanjoy Baruah (University of North Carolina, USA)
Liliana Cucu-Grosjean (INRIA, France)
Rob Davis (University of York, UK)
Claire Maiza (Grenoble INP / Verimag, France)

------------------------------------------------------------------------