Reasoning about CPS using surrogate simulation models
Developing an affordable, easily accessible and scalable online CPS laboratory is significant to promote CPS education. In developing such a system we are focused on a number of cyber-physical challenges including the model design and simulation strategies, and concentrate our CPS field on Reconfigurable Conveyor System. The approach input is a reconfigurable design from a CPS student, and the approach output is a behavior simulation of this design. The solution approach has two main parts, as the aspect of the modeling work, complex domain-specific conveyor design are defined in the GME, it can be mapped and transformed to the global grid, another domain-specific model, which contains only one kind of node with huge dimensions so that all different species of components in complex model are mapped to the typical nodes in the grid. In this thesis, we are only concerned the scenario of one experiment. The transformation and mapping process is implemented using the Graph Rewriting and Transformation (GReAT) tool. As a background simulation, the Robocode’s code is automatically generated by a GME interpreter from the global grid and is applied to generate the path logic to transmit the package, according to the package type in each input port. After acquiring the transmit speed and path, a Robocode simulation outputs the coordinate and time information to generate the Java animation. The final Java animation will be feedback to the user side to see the result of package transmission flow.