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, Stefan M. PettersJournal of Systems Architecture (JSA), Eelsevier. Nov 2014, Volume 60, Issue 10, pp 796-815.
Geoffrey Nelissen, Hang Su, Yifeng Guo, Dakai Zhu, Vincent Nélis, Joel GoossensReal-Time Systems, Springer US. 1, Jul, 2014, Volume 50, Issue 4, pp 456-508. U.S.A..
Björn Andersson, Gurulingesh RaraviReal-Time Systems, Springer US. Mar 2014, Volume 50, Issue 2, pp 270-314. U.S.A..
PDFGurulingesh Raravi, Björn Andersson, Vincent Nélis, Konstantinos BletsasReal-Time Systems (RTS), Springer. Jan 2014, Volume 50, Issue 1, pp 87-141.Outstanding Paper Award, ECRTS 2012
Andrea Baldovin, Geoffrey Nelissen, Tullio Vardanega, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Alexandre Esper, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
José Marinho, Vincent Nélis, Stefan M. Petters19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014). 16 to 19, Sep, 2014. Barcelona, Spain.
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
Ricardo Garibay-Martínez, Luis Lino Ferreira, Geoffrey Nelissen, Luis Miguel PinhoWork in Progress Session, 26th Euromicro Conference on Real-Time Systems (ECRTS 2014). 8 to 11, Jul, 2014, pp 21-24. Madrid, Spain.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 15 to 17, Jun, 2014, Real-time scheduling. Pisa, Italy.
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
Borislav Nikolic, Patrick Meumeu Yomsi, Stefan M. Petters20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014). 2014, Real-Time Systems Track. Chongqing, China.
Andrea Baldovin, Alessandro Zovi, Eduardo Tovar, Geoffrey Nelissen, Tullio VardanegaDemo in RTSS@Work 2014 Open Demo Session of RealTime Systems, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
Alexandre Esper, Eduardo TovarPoster presented in 22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.