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.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoJournal of Computer and System Sciences (JCSS), Elsevier. Dec 2015, Volume 81, Issue 8, pp 1542-1555.
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Elsevier. 1, Jul, 2015, Volume 61, Issue 8, pp 321-340.
Muhammad Ali Awan, Damien Masson, Eduardo TovarWork in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..
PDFAlexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award
Artem Burmyakov, Enrico Bini, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.The software tool for the paper titled "An Exact Schedulability Test for Global FP Using State Space Pruning"
Zip ArchiveDorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.
Geoffrey Nelissen, José Fonseca, Gurulingesh Raravi, Vincent Nélis27th Euromicro Conference on Real-Time Systems (ECRTS 2015). 7 to 10, Jul, 2015. Lund, Sweden.
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.
Muhammad Ali Awan, Patrick Meumeu Yomsi, Konstantinos Bletsas, Vincent Nélis, Eduardo Tovar, Pedro SoutoWork in Progress Session, 21st IEEE Real-Time and Embedded Techonology and Applications Symposium (RTAS 2015). 13 to 16, Apr, 2015, pp 27-28. Seattle, U.S.A..
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoSEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“. 10, Apr, 2015. Brussels, Belgium.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoThe 28th GI/ITG International Conference on Architecture of Computing Systems 2015 (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoPoster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.