Descripción del proyecto
Nuevo impulso al sistema para una fabricación personalizable
La brecha entre las dos ramas de la fabricación, industrial y personalizable, se está acortando. La personalización en masa, que combina una alta eficacia con un alto grado de atención al cliente, está revolucionando la industria manufacturera. Los nuevos avances de software favorecen la expansión de productos personalizables en todos los sectores, desde dispositivos médicos hasta vehículos de transporte. El proyecto CUSTOMER, financiado con fondos europeos, impulsará este proceso mediante la mejora de los actuales sistemas integrados en tiempo real (ERTS, por sus siglas en inglés). Con la creación de un nuevo marco unificado basado en modelos, el proyecto allanará el camino para la próxima generación de herramientas de diseño con mayor capacidad y escalabilidad.
Objetivo
Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Ámbito científico
Programa(s)
Régimen de financiación
ERC-ADG - Advanced GrantInstitución de acogida
751 05 Uppsala
Suecia