[TYPES/announce] RePP 2014 workshop call for papers: Grenoble, France, Sunday April 6th, 2014

[Alain Girault]

			      RePP 2014

			http://repp14.inria.fr

	     Reconciling Performance with Predictability

	       Grenoble, France, Sunday April 6th, 2014

		    An ETAPS 2014 satellite event
				

Workshop description
====================

The RePP workshop targets embedded systems with both efficiency
requirements and critical temporal constraints, occurring in many
industrial domains: avionics, automotive, railway, energy, and
robotics.

Guaranteeing the temporal constraints depends on the predictability
properties of the whole system (processor architecture, software, OS,
scheduling strategy, communications, and middleware). However, system
efficiency is measured by means of average-case behavior with
performance, resource utilization, and power consumption criteria.

Reasons for the gap between average-case and worst-case behavior are
the variation and non-determinism of the system environment, and the
interferences caused by shared resources. Unfortunately, new classes
of hardware platforms such as multi-core processors and
multiprocessors-on-a-chip as well as the demand for adaptive and
multi-mode applications quickly increase system efficiency if
worst-case behavior needs to be guaranteed.

The workshop will discuss approaches that attack the improvement of
both worst-case predictability and of average-case performance. Topics
of interest include mixed-criticality approaches, predictable
(multi-core) architectures, worst-case execution time and interference
analysis, resource-aware compilers, scheduling and allocation
considering worst-case and average-case performance, and
certification.

Workshop topics
===============

Contributions should relate to the main subject of the workshop. The
following issues and questions are of special interest:

- Concepts and metrics for characterizing predictability.

- Computer science has been successful in removing resource
   interactions from interfaces. Does it make sense to enrich
   interfaces with resource-related information. If yes, on which level
   of abstraction (instruction set, software components, …).

- Do resource interactions have an influence across abstraction
   layers? In particular, can improvements on one layer lead to
   degradation on another layer?

- Designing new hardware with special support for predictability.

- Using mainstream software development for predictability, for
   instance with the support of new compilers for classical programming
   languages.

- Multicore predictable processors: How can embedded multicore
   processors be designed in a time predictable fashion?

- Parallel predictable processors: How can embedded control algorithms
   that require a higher performance than sequential processors can
   deliver be parallelized and allow for time predictability of the
   parallel task?

- Mixed criticality: Is the execution of mixed real-time and
   non-real-time applications on an embedded multicore processor
   feasible?

- Case studies involving applications where one needs to guarantee
   deadlines AND average performance.

Programme committee
===================

David Broman: UC Berkeley, broman at eecs.berkeley.edu
Jian-Jia Chen: Karlsruhe Institute of Technology, jian-jia.chen at kit.edu
Alain Girault: INRIA, alain.girault at inria.fr
Michael Mendler: U. Bamberg, michael.mendler at uni-bamberg.de
Partha Roop: U. Auckland, p.roop at auckland.ac.nz
Lothar Thiele: ETHZ, lothar.thiele at ethz.ch
Reinhard Wilhelm: U. des Saarlandes, wilhelm at cs.uni-saarland.de
Theo Ungerer: U. Augsburg, ungerer at informatik.uni-augsburg.de

Paper submission
================

We welcome original, unpublished, research papers on the above
mentioned topics. The submission format should be in the LNCS format,
between 10 and 15 pages long.

The accepted papers will be printed to be handed out to the workshop
participants but they will not be formally published. Instead, a
follow-up call for papers will take place for LITES, the Leibniz
Transactions on Embedded Systems
(http://www.dagstuhl.de/en/publications/lites).

Important dates
===============

Paper submission: January 21st, 2014
Notification of acceptance: February 21st, 2014
Final version due: March 14th, 2014
Workshop: April 6th, 2014