ReTiMiCS’2013

1st workshop on Real-Time Mixed Criticality Systems

NEW: Workshop Program

held in conjunction with the

RTCSA’2013: the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

August 21st, Taipei, Taiwan

Taipei

Chairs:

Laurent George, University of Paris-Est, LIGM, (France)

Giuseppe Lipari, École Normale Supérieure de Cachan, (France)

Contact:

retimics2013@easychair.org

Scope:

The 1st workshop on Real-Time Mixed Criticality Systems (ReTiMiCS 2013) will be a workshop to discuss real-time mixed criticality systems with one keynote and thematic sessions. The format of this workshop encourages interaction between participants to promote a spirit of co-operation and collaboration within the real-time scheduling community.

Mixed Criticality Systems (MiCS) are new systems trying to combine safety-critical and consumer systems on the same platform. Consumer market redefines embedded systems and is source of hardware evolutions (multi-core, many-core systems, distributed). Safety-critical systems (automotive, aerospace) should take advantage of those new platforms to produce robust and predictable systems at competitive price. Safety-critical and consumer application are usually run on distinct systems. Research on Mixed-Criticality Systems aims at closing the gap between those two systems.

Research challenges for MiCS are numerous. Among them, this workshop invites submissions in the areas such as, but not limited to:

  • Integration of critical and non critical applications on real-time multiprocessor systems. New concepts for hardware/software architectures (hypervisor, operating systems, schedulability conditions, formal methods, …)

  • High performance computing with MiCs. By-pass Moore’s law by handling power consumption, heat dissipation limitations. Cache scheduling and related issues (CRPD), parallel scheduling, 3D architectures.

  • Security and dependability issues with MiCS. How to conceive systems of different criticality having to cooperate ?

  • Application of MiCS to new domains: mobile telecommunication networks, energy management systems,…

  • Data Management in shared memory used for critical and non critical applications at the same time.

Workshop Program:

Registration (8:30)

Keynote speaker (8:45 - 10:00)

Sanjoy Baruah, University of North Carolina

"Scheduling Theory for Mixed-Criticality Systems:"

In the context of computer systems, scheduling theory is concerned with the efficient allocation of limited computational resources amongst competing demands, in order to optimize specified system-wide objectives. In this presentation we will examine how real-time scheduling theory has adapted to deal with the recent trend towards implementing functionalities of different levels of importance, or criticalities, upon a shared platform. We will explore the factors that motivated this trend towards mixed-criticality (MC) systems, discuss how these MC systems pose unique challenges to real-time scheduling theory, describe how real-time scheduling theory is beginning to respond to these challenges by devising new models and methods for the design and analysis of MC systems, and enumerate some of the many important open issues that remain to be dealt with.


- Coffee break

- Session 1 (10:30 - 12:00)

Vincent Legout, Mathieu Jan and Laurent Pautet
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses

Alan Burns
The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems

Xia Zhang, Jinyu Zhan, Wei Jiang, Yue Ma and Ke Jiang
Design Optimization of Security-Sensitive Mixed-Criticality Real-Time Embedded Systems

- Lunch

- Session 2 (13:30 - 15:00)

Sanjoy Baruah, Alan Burns and Robert Davis
An Extended Fixed Priority Scheme for Mixed Criticality Systems

Bekim Cilku and Peter Puschner, Toward
Temporal and Spatial Isolation in Memory Hierarchy for Mixed-Criticality Systems with Hypervisor

Dario Socci, Peter Poplavko, Saddek Bensalem and Marius Bozga
Modeling Mixed-critical Systems in Real-time BIPAugust 21st, Taipei, Taiwan

Program Committee:

Chairs: 


* Laurent George, University of Paris-Est, France. 

* Giuseppe Lipari, Ecole Normale Supérieure de Cachan, France. 

PC Members: 

Hakan Aydin, George Mason University, US 
Sanjoy Baruah, University of North Carolina, USA 
Vincenzo Bonifaci, IASI-CNR, Italy 
Liliana Cucu-Grosjean, INRIA, France 
Rob Davis, University of York, UK 
Gerhard Fohler, TU Kaiserslautern, Germany 
Joel Goossens, University of Brussels, Belgium 
Raphael Guerra, Fluminense Federal University, Brazil 
Claire Maiza, INPGrenoble / Verimag, France 
Serge Midonnet, University of Paris-Est, Marne la Vall़e, France 
Pascale Minet, INRIA, Rocquencourt, France 
Laurent Pautet, Telecom Paristech, Paris, France 
Stefan M. Petters, CISTER/INESC-TEC, ISEP, Portugal 
Yves Sorel, INRIA, Rocquencourt, France 
Wang Yi, Uppsala University, Sweden