A mixed-criticality system is a system containing computer hardware and software that can execute several applications while guaranteeing their differing requirements for real-time operations including their security and safety. In state-of-the-art solutions two control applications with different criticalities are implemented on two physical separated (custom designed) hardware/software platforms (see Figure, left: hard real-time system, no power or temperature constraints; right: soft real-time system, hard power and temperature constraints).


State-of-the-art mixed criticality design

Future mixed-criticality systems need to have independent applications with different criticalities implemented on a (general purpose, COTS) multi-core hardware/software platform that enables temporal and spatial segregation.

Future mixed-critical designs

CONTREX challenges to guarantee timing, power, temperature, and reliability requirements by controlling (shared) resource usage and access on the execution platform.

CONTREX will consider extra-functional constraints right from the beginning, represent extra-functional properties in executable prototypes and will include these properties into local and global scheduling and control decisions.


Thus the CONTREX project targets the following objectives:

  1. A meta-model for the design and analysis of mixed-critical systems, covering the feature, functional, logical, technical, and geometrical perspectives; system, virtual resource, runtime, and platform abstraction levels; and behaviour, time, power, and temperature viewpoints
  2. Deployment and mapping of control applications to a network of virtualized hardware/software platforms and network infrastructure abiding extra-functional properties
  3. Development of a service-based, executable and analysable power and temperature model for multi-core execution platforms
  4. Implementation of local and distributed power and temperature monitoring and control techniques
  5. Demonstration of a seamless integration of mixed criticalities under consideration of extra-functional power and temperature properties (combining 1, 2 and 3) in three different domains: avionics, automotive telematics, and telecommunications
  6. Proposals and feedback to standard and certification bodies in the area of model-based mixed-critical system design, MPSoC power and temperature simulation & analysis, and power and temperature
    management architectures