Objective
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-driven development 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, and preserved by construction and monitoring at run-time.
The CONCERTO framework 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.
The applicability of the CONCERTO solutions to multiple industrial domains (including aerospace, telecoms, automotive, petroleum and medical) will be ensured through the elaboration of representative industrial use cases. CONCERTO builds on the CHESS project (ARTEMIS-2008-1-100022) results, as well as the results of several other related projects.
Approved by ARTEMIS-JU on 05/04/2013.
Ammendment 1 approved by ECSEL-JU on 26/04/2016.
Fields of science
Topic(s)
Call for proposal
ARTEMIS-2012-1
See other projects for this call
Coordinator
RG1 1AX Reading
United Kingdom
See on map
Participants (15)
35122 Padova
See on map
50121 Florence
See on map
92230 Gennevilliers
See on map
92130 ISSY LES MOULINEAUX
See on map
31700 BLAGNAC
See on map
76131 Karlsruhe
See on map
00193 ROMA
See on map
1111 Budapest
See on map
6722 SZEGED
See on map
4200-072 Porto
See on map
3045 504 Coimbra
See on map
7034 Trondheim
See on map
4313 SANDNES
See on map
722 20 VASTERAAS
See on map
78140 Velizy-Villacoublay
See on map