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.