Naslov
Testing Cyber-Physical Systems through Bayesian Optimization

Autori
Deshmukh, Jyotirmoy ; Horvat, Marko ; Jin, Xiaoqing ; Majumdar, Rupak ; Prabhu, Vinayak S.

Izvornik
ACM Transactions on Embedded Computing Systems (1539-9087) 16 (2017), 5s; 170, 18

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Cyber-physical systems ; testing ; black-box optimization ; Bayesian optimization ; CMA-ES ; Simulated Annealing ; Gaussian processes ; dimensionality reduction

Sažetak
Many problems in the design and analysis of cyber-physical systems (CPS) reduce to the following optimiza- tion problem: given a CPS which transforms continuous-time input traces in R^m to continuous-time output traces in R^n and a cost function over output traces, find an input trace which minimizes the cost. Cyber- physical systems are typically so complex that solving the optimization problem analytically by examining the system dynamics is not feasible. We consider a black-box approach, where the optimization is performed by testing the input-output behaviour of the CPS. We provide a unified, tool-supported methodology for CPS testing and optimization. Our tool is the first CPS testing tool that supports Bayesian optimization. It is also the first to employ fully automated dimen- sionality reduction techniques. We demonstrate the potential of our tool by running experiments on multiple industrial case studies. We compare the effectiveness of Bayesian optimization to state-of-the-art testing tech- niques based on CMA-ES and Simulated Annealing.

Izvorni jezik
Engleski

POVEZANOST RADA