Descrizione del progetto
Nuovo potenziamento di sistema per una produzione personalizzabile
La distanza tra i due rami della produzione (industriale e personalizzabile) si sta restringendo. La personalizzazione di massa, che abbina elevata efficienza a un alto grado di attenzione al cliente, sta rivoluzionando l’industria manifatturiera. I nuovi progressi software consentono l’espansione di prodotti personalizzabili in tutti i settori, dai dispositivi medici ai mezzi di trasporto. Il progetto CUSTOMER, finanziato dall’UE, rafforzerà questo processo potenziando gli attuali sistemi integrati in tempo reale (ERTS). Con la creazione di un nuovo framework unificato basato su modelli, il progetto aprirà la strada alla prossima generazione di strumenti di progettazione con maggiore capacità e scalabilità.
Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- scienze naturaliinformatica e scienze dell'informazionesoftwaresoftware applicativisoftware di sistema
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Programma(i)
Argomento(i)
Invito a presentare proposte
(si apre in una nuova finestra) ERC-2018-ADG
Vedi altri progetti per questo bandoMeccanismo di finanziamento
ERC-ADG - Advanced GrantIstituzione ospitante
751 05 Uppsala
Svezia