Short-Term Scientific Mission

Project Development of “Search-based Automated Repair of Cyber-Physical Systems”

Main theme: Optimisation Under Uncertainty
Grantee: Pablo Valle Entrena, Mondragon Goi Eskola Politeknikoa Jose Maria Arizmendiarrieta S Coop, Arrasate, Spain
Host: Shaukat Ali, Simula Research Laboratory, Oslo, Norway

Start date: 2024-06-20
End date: 2024-07-06
Awarded: 2024-06-11
Report approved: 2024-08-10

Description

The primary goal of this STSM is to advance the field of search-based automated repair of cyber-physical systems (CPS) by adapting and optimizing the Delta Debugging algorithm. The plan is to address uncertainties inherent in CPS, improve debugging accuracy, and reduce execution time for fault isolation. Activities will include preparing the Leo Rover simulation environment, formalizing the algorithm’s application, and defining an experimental setup. The planned stay at Simula Research Laboratory will involve collaborative workshops to refine methodologies, execute initial experiments, and establish a robust foundation for subsequent research efforts.

Achievements

This STSM achieved and exceeded its planned objectives. A novel adaptation of the Delta Debugging algorithm was developed, enhancing its robustness and efficacy for debugging uncertainties in cyber-physical systems. A comprehensive experimental setup and supporting scripts were created to automate testing and evaluation processes. Key outcomes include methodological advancements in automated repair techniques and the foundation for a forthcoming research paper to be submitted to a leading journal. The collaboration between Simula Research Laboratory and Mondragón University has strengthened future joint research potential, ensuring continued progress in addressing CPS challenges.