Customizable Embedded Real Time Systems Challenges and Key Techniques
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...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
CESAR
Cost-Efficient Methods and Processes for Safety Relevant Emb...
58M€
Cerrado
EMC2
Embedded Multi-Core Systems for Mixed Criticality Applicatio...
93M€
Cerrado
PaPP
Portable and Predictable Performance on Heterogeneous Embedd...
10M€
Cerrado
SAFEXPLAIN
SAFE AND EXPLAINABLE CRITICAL EMBEDDED SYSTEMS BASED ON AI
4M€
Cerrado
TEC2011-28666-C04-02
DYNAMICALLY RECONFIGURABLE EMBEDDED PLATFORMS FOR NETWORKED...
141K€
Cerrado
DEMANES
Design, Monitoring and Operation of Adaptive Networked Embed...
20M€
Cerrado
Información proyecto CUSTOMER
Duración del proyecto: 81 meses
Fecha Inicio: 2019-06-17
Fecha Fin: 2026-03-31
Líder del proyecto
UPPSALA UNIVERSITET
No se ha especificado una descripción o un objeto social para esta compañía.
TRL
4-5
Presupuesto del proyecto
2M€
Descripción del proyecto
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.