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

Status:

finished

Start date:

2013-05-01

End date:

2016-04-30

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 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) will be ensured through the elaboration of representative industrial use cases. CONCERTO builds 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 as the results of several other related projects.

[Show all publications]

SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems (Sep 2017)
Leonardo Montecchi , Barbara Gallina
5th International Symposium on Model-Based Safety and Assessment (IMBSA-2017)

Towards Cloud-Based Enactment of Safety-Related Processes (Sep 2016)
Sami Alajrami , Barbara Gallina, Irfan Sljivo, Alexander Romanovsky , Petter Isberg
35th International Conference on Computer Safety, Reliability and Security (SafeComp2016)

Towards Safety Risk Assessment of Socio-technical Systems via Failure Logic Analysis (Nov 2014)
Barbara Gallina, Edin Sefer, Atle Refsdal
2nd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2014)

Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies (Sep 2014)
Sebastian J. I. Herzig , Benjamin Kruse , Federico Ciccozzi, Joachim Denil , Rick Salay , Dániel Varró
International Workshop on Multi-Paradigm Modeling (MPM 2014)

Model-driven Deployment Optimization for Multicore Embedded Real-time Systems: the OptimAll Approach (Jul 2014)
Federico Ciccozzi, Juraj Feljan
5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2014)

From Models to Code and Back: A Round-trip Approach for Model-driven Engineering of Embedded Systems (Jan 2014)
Federico Ciccozzi

Antonio Cicchetti, Associate Professor

Email: antonio.cicchetti@mdh.se
Room: U1-067
Phone: +46-21-151762