Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
Funding programme ARTEMIS
Partners Università degli Studi di Padova, Università degli Studi di Firenze, Thales Communications & Security, Atego, EADS, aicas, X/Open Company (The Open Group), Budapest University of Technology and Economics, AENSys Informatikai, Instituto Superior de Engenharia do Porto, Critical Software, Stiftelsen SINTEF, Oilfield Technology Group, Maelardalens Hoegskola
Description CONCERTO delivered 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) were established for individual components, derived for the overall system at design time, and preserved by construction and monitoring at run-time.
The CONCERTO framework integrated:
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 modelling 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) was ensured through the elaboration of representative industrial use cases.
CONCERTO was built on the results of the CHESS project (ARTEMIS-2008-1-100022), much expanding its reach in terms of end-user application domains, execution platforms and non-functional modelling capabilities, as well.
Links Project Website
Intecs The Brainware company