CONCERTO will deliver a reference framework for multi-core systems that will integrate correctness-by-construction for multicore systems with innovative model-to-code transformation techniques targeted at their special characteristics. The applicability of the CONCERTO solutions to multiple industrial domains (including aerospace, telecoms, automotive, petroleum and medical) will be ensured through the elaboration of industrial use cases demonstrated in the various targeted domains.

CONCERTO will deliver a reference framework for multi-core systems that will integrate correctness-by-construction for multicore systems with innovative model-to-code transformation techniques targeted at their special characteristics. The applicability of the CONCERTO solutions to multiple industrial domains (including aerospace, telecoms, automotive, petroleum and medical) will be ensured through the elaboration of industrial use cases demonstrated in the various targeted domains.