A joint project of the Graduate School, Peabody College, and the Jean & Alexander Heard Library

Title page for ETD etd-04082014-122411


Type of Document Master's Thesis
Author Bao, Shunxing
Author's Email Address shunxing.bao@vanderbilt.edu
URN etd-04082014-122411
Title Reasoning about CPS using surrogate simulation models
Degree Master of Science
Department Computer Science
Advisory Committee
Advisor Name Title
Aniruddha Gokhale Committee Chair
Joe Porter Committee Co-Chair
Keywords
  • Code Generation
  • Robocode
  • CPS
  • CPS-LaaS
  • Reconfigurable Conveyor System
  • GReAT
  • GME
Date of Defense 2014-03-24
Availability unrestricted
Abstract
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.
Files
  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  MS_Thesis_Paper_Shunxing_Bao.pdf 1.30 Mb 00:06:00 00:03:05 00:02:42 00:01:21 00:00:06

Browse All Available ETDs by ( Author | Department )

If you have more questions or technical problems, please Contact LITS.