CONCERTO
| JU grant nr. 333053 ARTEMIS/0003/2012 3 years (May 2013 to Apr 2016) http://www.concerto-project.org/ | |
| Summary: | 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. |
| Funding: | Global: 9.56MEUR, CISTER: 375KEUR |
| Sponsors: |    |
| Partners: | |
| Contact Person at CISTER: | Eduardo Tovar |
Final review of CONCERTO project
The final review of the CONCERTO project took take place in Brussels in the end of June. CONCERTO addressed the important challenge of simplifying and accelerating the design and development phase of the next-generation of mission-critical applications. The project is especially relevant in the context of constantly increasing complexity of functionalities to be implemented and the platforms on which they are deployed. CONCERTO proposes an integrated framework build around a component-based design approach following a model-driven development policy. It addresses all aspects of the system development lifecycle from application modelling to code generation. It incorporates runtime monitoring and verification features together with dependability and schedulability analysis tools. Several domain specific features have also been integrated for the avionics, automotive, petroleum and medical domains.
CISTER has been one of the first class contributors, leading the run-time monitoring and verification task and co-leading the task addressing the analysis of multicore systems. CISTER also largely contributed to tasks addressing domain specific needs for space, avionics, telecom and automotive. In Brussels, CISTER presented its numerous contributions in front of the european commission, which notably includes tools for schedulability and response time analysis of multicore systems, an Eclipse plugin for the automatic configuration of avionics system in an ARINC-653 compliant manner, a tool for response time analysis of Integrated Modular Avionics (IMA) systems, a run-time monitoring and verification library for systems written in Ada, a completely instrumented version of the ORK+ micro-kernel integrated in the GNAT cross-compiler for Leon 2/3 and an Eclipse plugin for treatment and back-propagation to application model of data monitored after application deployment.
CISTER participates in ARTEMIS CO-SUMMIT
CISTER Researchers Luis Lino Ferreira, Geoffrey Nelissen, Eduardo Tovar and Luis Miguel Pinho participated in the 2015 Artemis/ITEA Co-summit held in Berlin. They were representing CISTER as members of several ongoing and finalized European projects, namely: EMC2, CONCERTO, Arrowhead, ENCOURAGE, CarCode and P-SOCRATES.
The Co-summit 2015 organized by ARTEMIS Joint Undertaking on embedded systems and ITEA, the EUREKA Cluster on software-intensive systems and services – counted about 700 participants from industry, academia, public authorities and press from all over Europe. This year's theme was: Smart Industry: Impact of Software Innovation.
During this event, Eduardo Tovar participated in the Artemis General Assembly and the election for the Artemis Steering Board as a candidate. Luis Miguel Pinho was invited to present a talk in the Speakers Corner on Mixed Criticality related to the actual status of the CISTER-lead European project P-SOCRATES. Geoffrey Nelissen represented CISTER in the CONCERTO booth and Luis Lino Ferreira was also representing CISTER in the CarCode and Arrowhead booths.
Finally, Luis Miguel Pinho and Luis Lino Ferreira, together with the ENCOURAGE project leader Arne Skou, received the achievement award for the successful finalization of the ENCOURAGE project.
Muhammad Ali Awan, Patrick Meumeu Yomsi, Geoffrey Nelissen, Stefan M. PettersReal-Time Systems (RTSJ), Springer. Jul 2016, Volume 52, Issue 4, pp 450-485.
Muhammad Ali Awan, Geoffrey Nelissen, Patrick Meumeu Yomsi, Stefan M. PettersJournal of Systems Architecture (JSA), ELSEVIER. Feb 2016, Volume 63, pp 1-15.
Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Åkesson, Isabelle Puaut, Eduardo Tovar28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.Outstanding Paper Award
PDFMitra Nasri, Geoffrey Nelissen, Gerhard Fohler28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.
Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang28th Euromicro Conference on Real-Time Systems (ECRTS 16). 5 to 8, Jul, 2016. Toulouse, France.
Muhammad Ali Awan, Damien Masson, Eduardo Tovar11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
José Fonseca, Geoffrey Nelissen, Vincent Nélis, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 13, Apr, 2016. Viena, Austria.
Kostiantyn Berezovskyi, Fabrice Guet, Luca Santinelli, Konstantinos Bletsas, Eduardo TovarArchitecture of Computing Systems (ARCS 2016). 4 to 7, Apr, 2016. Nuremberg, Germany.
Wenceslas Godard, Geoffrey NelissenDemo in 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 (Ada-Europe 2016). 13 to 17, Jun, 2016, Industrial session. Pisa.
Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo TovarDemo in Demo Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016. Austria.