CPS Testing using Stateless RRT

Abstract

Cyber-Physical Systems (CPS) are created as complex interactions of multiple physical systems and play a vital role in automating real-life systems. In this work, we present a testing methodology for CPS based on modified version of the Rapidly-exploring Random Tree (RRT) algorithm which is used traditionally to solve the motion planning problem in the context of the CPS testing problem. Directly using RRT for testing CPS requires storing the state of the CPS controller at each node of the RRT which is often memory intensive. Further, the simulator needs to support initialization from arbitrary states, which is not always possible, especially for complex simulation environments. We present our progress towards a modified RRT algorithm where the state of the controller is not required to be saved at each node, and show promising improvements in testing efficiency using a 9-D simulated point example system.