Project description
New system boost for customisable manufacturing
The division between the two branches of manufacturing – industrial and customisable – are narrowing. Mass customisation, which pairs high efficiency along with a high degree of customer focus, is revolutionising the manufacturing industry. New software advances allow the expansion of customisable products in all sectors – from medical devices to transport vehicles. The EU-funded CUSTOMER project will boost this process by enhancing current embedded real-time systems (ERTS). With the creation of a new unified model-based framework, the project will pave the way for the next generation of design tools with increased capability and scalability.
Objective
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.
Fields of science
Not validated
Not validated
Programme(s)
Topic(s)
Funding Scheme
ERC-ADG - Advanced GrantHost institution
751 05 Uppsala
Sweden