Cyber-physical systems are multi-disciplinary systems consisting of mechanical and electrical aspects often controlled by software. They have been integrated in aero-space, industrial manufacturing, transportation and critical infrastructure.
Placing these systems in a critical environment can lead to catastrophic results if not tested correctly. This calls for a reliable and thorough way a cyber-physical system can be tested, which is a challenge due to the complexity, multidisciplinary nature and unique purpose of a cyber-physical system.
In my research I have tackled this problem by building a tool that allows a user to describe the temporal behavior of a cyber-physical system through LTL formulas and boolean equations. Through a newly developed testing language, a user can create a scalable, dynamic test that can be interpreted by the tool. Such a test is run by making use of the safe, digital environment of a simulator. By combining simulation data with a test definition, the tool is capable of processing the data to return a simple True or False.
In my presentation I will discuss the design steps I've taken to build this tool and give a quick look into how I've created a modular, automated, reusable tool modifiable to any tester's needs.
Through creating and running tests I will show the broad functionality of my tool aimed at streamlining the testing phase of cyber-physical systems.
