Two projects have recently been awarded funding through the FRINATEK (FRIPRO) program of the Research Council of Norway (RCN). FRIPRO is one of the most competitive arenas for research funding in Norway, with scientific excellence as the main criteria for funding. According to RCN: “FRIPRO should promote scientific quality in the forefront of international research, boldness in scientific thinking and innovation, careers for young researchers and mobility for researchers early in their career“. Both projects will be coordinated by key Certus researchers, and will be tightly integrated into the ongoing activities of the Certus Centre as adjacent projects. 

 

Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines

The goal of the Zen-Configurator project is to increase the efficiency and effectiveness, and thereby reduce the cost, of configuring large-scale Cyber Physical System (CPS) product lines. To achieve this goal, we maximally automate error-prone and costly manual configuration activities and optimally assist the interactive configuration process. On one hand, the project relies on advanced technologies of constraint solving/evaluation, optimization using search algorithms, and propose state-of-art algorithms to enable automated configuration activities. On the other hand, the project grounds itself to address real challenges faced by industry and propose a practical and applicable solution and apply it in at least one application domain.

Project leader: Tao Yue, Senior Research Scientist, Simula

 

Evolving, Modelling and Testing Realistic and Risky Uncertain Behaviours of Cyber-Physical Systems (MBT4CPS)

Cyber-Physical Systems (CPSs) are the new generation of embedded systems that are more complex as compared to traditional embedded systems in terms of increasing functionality, increasing integration and networking interoperability, growing importance and reliance on software, and increasing number of non-functional constraints (e.g., robustness, scalability). MBT4CPS aims to devise novel model-based testing techniques to support functional and non-functional testing of CPSs with the specific focus on uncertain behaviours. The ultimate goal of the project is to improve the quality and dependability of CPSs, which is very important to ensure since these systems have safety.

Project leader: Shaukat Ali, Senior Research Scientist, Simula