1st workshop on Real-Time Mixed Criticality Systems
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
Laurent George, University of Paris-Est, LIGM, (France)
Giuseppe Lipari, École Normale Supérieure de Cachan, (France)
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.
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
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
- 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
* Laurent George, University of Paris-Est, France.
* Giuseppe Lipari, Ecole Normale Supérieure de Cachan, France.
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