Tilbake til søkeresultatene

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Interactive and Optimal Configuration of Cyber Physical System Product Lines

Alternativ tittel: Interaktiv og Optimal Konfigurasjon av Cyber Fysisk Systemproduktlinjer

Tildelt: kr 7,0 mill.

I disse dager er Cyber-Fysiske Systemer (CFS-er) overalt i våre daglige liv, i videokonferansesystemer, undersjøisk olje- og gassproduksjonssystemer, smarte bygninger, og smarte helseprodukter. Disse systemene er hovedsakelig utviklet ved gjenbruk av eksisterende systemer, for å senke utviklingskostnaden og øke kvaliteten på produktet. Denne systematiske gjenbruken gjenspeiles i videreutviklingen av systemene også innen forskningen. Å konfigurere stor-skala cyber-fysiske systemer krever en systematisk, interaktiv og maksimalt automatisert metodologi. Målet til Zen-Configurator-prosjektet er å øke kostnadseffektiviteten rundt det å konfigurere storskala-CFS-er i ulike stadier av livssyklusen til systemet (før utrulling, etter utrulling, og mens systemet er i drift). For å nå dette målet automatiserer vi flest mulige feilbarlige og dyre manuelle konfigurasjonsaktiviteter og optimaliserer den interaktive konfigurasjonsprosessen. Dette prosjektet bygger på avanserte teknologier innen vilkårsprogrammering, optimalisering av søkealgoritmer, maskinlæringsteknikker, og de nyeste algoritmene for automatiserte konfigurasjonsaktiviteter, men det har bakkekontakt med tanke på at det løser ekte utfordringer innen industrien, og presenterer praktiske og konkrete løsninger for virkelige problemer. I konteksten til dette prosjektet har vi utviklet en metodologi med verktøystøtte som adresserer fasen før og etter utrulling av CFS-ene.

In this project, we proposed an interactive and optimal configuration solution (with tool support named as Zen-Configurator) with three key functionalities implemented: Decision Inference, Decision Ordering and Consistency Checking. Zen-Configurator is based on the theoretical foundation including: 1) cost-effective optimisation for supporting decision ordering, 2) optimised constraint solving to enable decision inference, 3) effective formalisation of consistency checking, and 4) novel algorithms to enable the three functionalities with user acceptable performance.

The current practice of manually configuring any non-trivial Cyber Physical Systems (CPSs) product line is often error-prone and labor-intensive. In other words, the quality and productivity of the product configuration process cannot be ensured. In critical domains (e.g., oil and gas), poor quality and low efficient services provided by CPSs (e.g., subsea production systems) will cause severe issues (e.g., oil or gas leaks to the sea). In this project, we aim to improve the quality and productivity of configuring large-scale CPSs. Correctly configured products in CPSs are often directly deployable and operational systems. The method we take is to apply Model Based Engineering (MBE) technologies to automate the configuration process of Product Line Engineering (PLE) to the maximum extent. Effectiveness of a PLE approach for CPSs is characterised by its support for abstraction and automation. Abstraction plays a central role in software reuse, which is required to capture all relevant information in a concise and expressive manner to support automated configuration of products. Automation is required for effective selection and customisation of reusable components. We will propose in this project an interactive and optimal configuration solution (with tool support named as Zen-Configurator) with three key functionalities implemented: Decision Inference, Decision Ordering and Consistency Checking. In literature, it does not exist a configuration solution that supports all these functionalities in an integrated manner with a user acceptable performance. To address this R&D challenge, we will base our solution on the theoretical foundation including: 1) cost-effective optimisation for supporting decision ordering, 2) optimised constraint solving to enable decision inference, 3) effective formalisation of consistency checking, and 4) novel algorithms to enable the three functionalities with user acceptable performance.

Publikasjoner hentet fra Cristin

Ingen publikasjoner funnet

Ingen publikasjoner funnet

Ingen publikasjoner funnet

Ingen publikasjoner funnet

Budsjettformål:

FRINATEK-Fri prosj.st. mat.,naturv.,tek