19th International Conference on Reliable Software Technologies

Ada-Europe 2014

23-27 June 2014, Paris, France

Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014)

Challenges of Mixed Criticality approaches

and benefits for the industry

 

Held in conjunction with the 19th International Conference on Reliable Software Technologies,
Ada-Europe 2014 (http://www.ada-europe.org/conference2014)

 

June, 27th, 2014

 

 

The workshop will be targeted towards research and practice in Mixed Criticality Systems (MiCS), showing how MiCS interact with industrial needs. The format of this workshop will encourage the interaction between participants to promote a spirit of co-operation and collaboration between the different communities.

 

MiCS are new systems trying to combine on the same platform critical functions with flexible functions mostly originating from the consumer systems. The consumer market is constantly redefining embedded systems, and is source of many hardware and software evolutions. Critical systems (automotive, aerospace) should take advantage of those new platforms to produce robust and predictable systems at a competitive cost with affordable time-to-market. Critical and consumer applications are usually provided by distinct, isolated, systems; research on Mixed-Criticality Systems aims at closing the gap.

 

Research challenges for MiCS are numerous, and intersect multiple different domains. Among them, the workshop invites submissions in areas such as, but not limited to:

- New concepts for hardware and software architectures (hardware isolation, hypervisor, operating systems, ...);

- Data Management: memory and communication models for sharing/communicating data between critical and non-critical applications.

- Mixed criticality scheduling and schedulability analysis, worst-case executing times.

- Security and dependability issues with MiCS. How to design systems of different criticality which need to cooperate, design frameworks, formal methods, ...

- High performance computing and MiCS. By-pass Moore's law by handling power consumption, heat dissipation limitations; cache scheduling and related issues (CRPD), parallel scheduling, 3D architectures.

- Probabilistic Mixed Criticality: how a probabilistic approach can be used to leverage integration of mixed criticality functions.
- Application of MiCS to new domains: mobile telecommunication networks, energy management systems, ...

 

Of particular interest in the workshop is experimentations on MiCS and feedbacks from industrial and European projects showing the challenges and benefits of MiCS for the industry.

 

 

Workshop Program

 

Friday 27 June 2014

 

08:45-09:00    Welcome

 

09:00-10:30    Keynote Speaker

 

The keynote will be given by Albert Cohen, senior research scientist in the PARKAS group at INRIA, France on

Correct-by-Construction Multiprocessor Programming: A Common Approach for Parallel and Mixed-Critical System Design

 

10:30-11:00    Coffee break

 

11:00-12:30    Session 1

 

- Robert Davis, Tullio Vardanega, Jan Andersson, Francis Vatrinet, Mark Pearce, Ian Broster, Mikel Azkarate-Askasua, Franck Wartel, Glenn Farral, Liliana Cucu-Grosjean, Mathieu Patte and Francisco Cazorla, "PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems"

 

- Alejandro Alonso and Emilio Salazar, Toolset for Mixed-Criticality, "Partitioned Systems: Partitioning Algorithm and Extensibility Support"

 

- Per Lindgren, David Pereira, Johan Eriksson, Marcus Lindner and Luís Miguel Pinho, "RTFM-lang Static Semantics for Systems with Mixed Criticality"

  

12:30-14:00    Lunch

 

14:00-15:30    Session 2

 

- Mathieu Jan, Lilia Zaourar, Vincent Legout and Laurent Pautet, "Handling Criticality Mode Change in Time-Triggered Systems through Linear Programming"

 

- Olivier Cros, Frédéric Fauberteau, Laurent George and Xiaoting Li, "Mixed-Criticality over switched Ethernet networks"

 

- Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Elie Soubiran and Zhen Zhang, "Mixed-criticality in Railway Systems: A Case Study on Signaling Application"

 

15:30-16:00    Closing

 

 

 

Chairs:

Laurent George, LIGM/UPEMLV, France

Luis Miguel Pinho, CISTER - Porto, Portugal

 

Program Committee:

Hakan Aydin, George Mason University, US

Sanjoy Baruah, University of North Carolina at Chapel Hill, US

Guillem Bernat, Rapita, UK

Alfons Crespo, UPV, Spain

Liliana Cucu-Grosjean, INRIA, France

Juan Antonio de la Puente, UPM Spain

Sebastien Faucou, IRCCyN, Nantes, France

Joel Goossens, ULB, Belgium

Leandro Indrusiak, York University, UK

Mathieu Jean, CEA, France

Claire Maiza, INPGrenoble / Verimag, France

Moritz Neukirchner, TU Braunschweig, Germany

Laurent Pautet, Telecom Paristech, France

Zlatko Petrov, Honeywell, Bulgaria

Eduardo Quinones, BSC, Spain

Yves Sorel, INRIA, France

Benoit Triquet, Airbus, France

Wang Yi, Uppsala University, Sweden

 

Submission deadline: April, 30, 2014 May 9, 2014

Notification to authors: May, 19, 2014.