Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014)
Challenges of Mixed Criticality approaches
and benefits for the industry
conjunction with the 19th International Conference on Reliable
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
- 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.
Friday 27 June 2014
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"
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"
Laurent George, LIGM/UPEMLV, France
Luis Miguel Pinho, CISTER - Porto, Portugal
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
April, 30, 2014 May 9, 2014
Notification to authors: May, 19, 2014.