Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

CUSTOMER

Financiado

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

31/03/2026

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

UPPSALA UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2019-06-17

Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:

ERC-2018-ADG: ERC Advanced Grant

I+D

Cerrada hace 6 años

0% 100%

2 Participantes

2.50M€ | Lider

KAIKU INTERNACIONAL

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

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Duración del proyecto: 81 meses Fecha Inicio: 2019-06-17
Fecha Fin: 2026-03-31

Líder del proyecto

UPPSALA UNIVERSITET

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.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores