Projektbeschreibung
Erneute Verbesserung des Systems für die individualisierte Massenfertigung
Die Unterteilung in zwei Zweige der Fertigung – Serien- und Einzelfertigung – wird immer unschärfer. Individualisierte Massenfertigung, die ausgeprägte Effizienz mit einem hohen Maß an Kundenorientierung vereint, revolutioniert derzeit die Fertigungsindustrie. Jüngste Softwareweiterentwicklungen erlauben die Erweiterung der Palette an individualisierten Produkten in allen Sektoren – von medizinischen Geräten bis hin zu Transportmitteln. Das EU-finanzierte Projekt CUSTOMER wird diesen Prozess über die Optimierung derzeit zur Verfügung stehender eingebetteter Echtzeitsysteme begünstigen. Mit der Schaffung eines neuen vereinheitlichten modellbasierten Rahmenwerks wird das Projekt den Weg für die nächste Generation an Gestaltungswerkzeugen mit verbesserten Fähigkeiten und optimierter Skalierbarkeit ebnen.
Ziel
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.
Wissenschaftliches Gebiet
Programm/Programme
Thema/Themen
Finanzierungsplan
ERC-ADG - Advanced GrantGastgebende Einrichtung
751 05 Uppsala
Schweden