Description du projet
Un environnement permettant d’élaborer des logiciels complexes gagne sur tous les tableaux multicritères
Il est crucial d’innover dans la conception de systèmes interconnectés pour réduire le coût et la complexité des plateformes de calcul à composants multiples. Les outils actuels de développement de logiciels ne peuvent pas répondre aux différents critères antagonistes de l’architecture de programmation. L’environnement d’ingénierie dirigée par les modèles (IDM) du projet AMPERE relève ce défi. Ce framework IDM permet de construire efficacement des architectures logicielles complexes, en prenant en compte des exigences parallèles a priori incompatibles. Il permet également d’utiliser des langages de programmation spécialisés pour décrire avec précision les interactions cybernétiques/physiques des sous-systèmes. AMPERE envisage de développer de nouvelles méthodes et de nouveaux outils pour construire des modèles précis des systèmes proposés sur des plateformes informatiques. Les contraintes des systèmes sont ainsi traitées efficacement, tout en garantissant que les objectifs de performance soient atteints. Le logiciel de calcul d’AMPERE contribuera également à améliorer l’efficacité globale des systèmes tout en répondant aux exigences non fonctionnelles.
Objectif
Complex, dependable and physically-entangled systems of systems must be supported by innovations to allow a significant reduction of the cost and complexity of system design targeting computing platforms composed of parallel heterogeneous architectures. Software development is one key challenge, as current programming tools do not fully support emerging processor architectures. Parallel and heterogeneous platforms are difficult to program and even more to optimise for the multiple conflicting criteria imposed by applications, such as performance, energy efficiency, real-time response, resiliency and fault tolerance. AMPERE addresses this challenge by incorporating model-driven engineering (MDE) as the key element for the construction of complex software architectures. MDE enables to efficiently capture system's functional and non-functional requirements, including multiple conflicting requirements, as well as enabling the use of domain specific model-driven languages (DSML) to further refine the description of cyber/physical interactions. The vision of AMPERE is that there is a clear necessity of developing a new generation of code synthesis methods and tools capable to implement correct-by-construction systems, in which the constraints captured by the system model are efficiently transformed to the parallel programming models supported by the underlying parallel heterogeneous platform, whilst providing the level of performance required. Moreover, AMPERE will provide computing software composed of a set of advanced run-time methods implementing monitoring and dynamic reconfiguration techniques, that will support the parallel execution to improve the overall system's efficiency, and guarantee that the non-functional requirements capture by the DSML are fulfilled. AMPERE advances will be integrated in a set of ready-to-use tools and libraries, and validated through demonstration in two reference applications, from automotive and railway domains.
Champ scientifique
Mots‑clés
Programme(s)
Thème(s)
Régime de financement
RIA - Research and Innovation actionCoordinateur
08034 Barcelona
Espagne