Descripción del proyecto
Un marco para la construcción de software complejo cumple con todos los criterios
La innovación en el diseño de sistemas interconectados es crucial para reducir el coste y la complejidad de las plataformas de computación de componentes múltiples. Las actuales herramientas de desarrollo de software no pueden cumplir los diversos criterios antagónicos de la arquitectura de programación. El marco de la ingeniería dirigida por modelos (IDM) de AMPERE aborda este desafío. Su marco IDM permite una construcción eficaz de arquitecturas de software complejas, teniendo en cuenta los requisitos paralelos en conflicto. También posibilita el uso de lenguajes de programación especializados para describir con precisión las interacciones ciberfísicas de los subsistemas. AMPERE prevé el desarrollo de métodos e instrumentos novedosos para la construcción de modelos precisos de los sistemas propuestos en las plataformas de computación. Así pues, las limitaciones del sistema se abordan de manera eficaz, al tiempo que se garantiza el cumplimiento de los objetivos de rendimiento. El software de computación de AMPERE también ayudará a mejorar la eficacia general del sistema junto con el cumplimiento de los requisitos no funcionales.
Objetivo
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.
Ámbito científico
Palabras clave
Programa(s)
Tema(s)
Convocatoria de propuestas
Consulte otros proyectos de esta convocatoriaConvocatoria de subcontratación
H2020-ICT-2019-2
Régimen de financiación
RIA - Research and Innovation actionCoordinador
08034 Barcelona
España