The CONCERTO Project

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 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.

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 previous CHESS project results from the ARTEMIS programme, as well as the results of several other related projects.

Overview Presentation

Paper related to the Petroleum domain and state-based analysis accepted at DSN'16

The paper "A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain", by Leonardo Montecchi, Atle Refsdal, Paolo Lollini, and Andrea Bondavalli, has been accepted to the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), to be held in end of June 2016 in Toulouse, France. The paper elaborates on the needs of the petroleum domain with respect to the work permit system, and on the support that state-based analysis and similar…

Read more…
0 Replies

Paper on semantics and refinement of UML sequence diagrams to appear in new book

The paper "Mandatory and Potential Choice: Comparing Event-B and STAIRS" by Atle Refsdal, Ragnhild Kobro Runde and Ketil Stølen will appear in the book "From Action Systems to Distributed Systems - The Refinement Approach". Edited by Luigia Petre and Emil Sekerinski, the book is due out in May 2016.The UML language lies at the foundation of the CONCERTO approach. The paper investigates questions concerning semantics and refinement of UML sequence diagrams, in particular issues related to the…

Read more…
0 Replies

Paper on model-level fault-injection for SW FMEA has been accepted at SSIV'15 workshop

The paper "Software Faults Emulation at Model-Level: Towards Automated Software FMEA", by Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, and Andrea Bondavalli, has been accepted for the 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015), to be held in June 2015 in Rio de Janeiro, Brazil, as a satellite workshop of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). The paper elaborates on a…

Read more…
0 Replies

The CONCERTO Project is partially funded by the ARTEMIS Joint Undertaking - a public private partnership in the field of embedded systems supported under the Seventh Framework Programme of the European Commission.

FP7 ICT News

Project Partners

CONCERTO is partially funded by the ARTEMIS Joint Undertaking under the 7th Framework Programme for Information and Communications Technologies.
Any opinions expressed on these pages are those of the author / organisation and do not necessarily reflect the views of the ARTEMIS JU or the European Commission.