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.
José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert Davis34th IEEE Real-Time Systems Symposium (RTSS), IEEE. 6, Dec, 2013. Vancouver, Canada.
PDFRicardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
François Santy, Gurulingesh Raravi, Geoffrey Nelissen, Vincent Nélis, Pratyush Kumar, Joel Goossens, Eduardo Tovar21st International Conference on Real-Time Networks and Systems (RTNS'13), ACM. 16 to 18, Oct, 2013, pp 183-192. Sophia Antipolis, France.
Vincent Nélis, Patrick Meumeu Yomsi, Joel Goossens21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 277-286. Sophia Antipolis, France.Best Presentation Award
Muhammad Ali Awan, Patrick Meumeu Yomsi, Stefan M. Petters21st International Conference on Real-Time Networks and Systems (RTNS 2013). 16 to 18, Oct, 2013, pp 129-138. Sophia Antipolis, France.