Statistical Techniques for Property Exploration of Cyber-Physical Systems | Center for Embedded Systems | SIU

The purpose of this project is to develop efficient model exploration techniques for Cyber-Physical Systems (CPS), i.e., systems that tightly integrate computation and communication to control a physical system. In contrast to system verification, model exploration attempts to determine the properties that are satisfied by the system. The theoretical frameworks which are going to be utilized and extended are parametric temporal logics and randomized falsification methodologies. The project focuses on systems that are modeled within the Matlab/Simulink environment. The final outcome of this project will be a toolbox for the Matlab environment which could be readily used by the engineers of the participating industry members for the exploration of their system designs.