Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core systems (CONCERTO)

Emerging embedded systems platforms harnessing new heterogeneous, multicore architectures to enable the next generation of powerful mission-critical applications are demanding across-the-board advances in all areas of design and development to fulfil their promise. The integration of component-based design with model-drivendevelopment creates a potent combination especially capable of mastering the complexity of these new systems.

CONCERTO will deliver a reference multi-domain architectural framework for complex, highly concurrent, and multi-core systems, where non-functional properties (including real-time, dependability, and energy management) will be established for individual components, derived for the overall system at design time, andpreserved by construction and monitoring at run-time.
 

The CONCERTO framework that will be developed in the project will integrate:

• Correctness-by-construction for multicore systems with innovative model-to-code transformation techniques targeted at their special characteristics.
• A multi-view, hierarchical cross-domain design space sufficiently rich to enable a compositional approach to the next generation of complex, heterogeneous platform architectures.
• Support for iterative and incremental development of multicore systems through simulation and early model-based analysis, with fully automated back propagation of results to the user model.
• Hardware modeling facilities equipped to cope with the new generation of heterogeneous, multicore platforms.
• Advances in run-time monitoring of mission- and operation-critical non-functional properties such as energy consumption on partitioned and multicore processor architectures.