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).
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.
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:
- 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
- Deployment and mapping of control applications to a network of virtualized hardware/software platforms and network infrastructure abiding extra-functional properties
- Development of a service-based, executable and analysable power and temperature model for multi-core execution platforms
- Implementation of local and distributed power and temperature monitoring and control techniques
- 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
- 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