| Cyber-Physical systems (CPSs) are becoming more and more common. These systems use digital, and often network-enabled, components to control or influence physical processes that have traditionally been the domain of analogue or mechanical systems, such as manufacturing assembly systems, power grid control systems, or home utilities such as thermostats or security cameras. Being a relatively new development in technology, the ramifications of CPSs have yet to be fully explored, and many systems have begun to find themselves faced with new challenges and risks that designers have never before had to consider as they begin to integrate more digital, networked components into the system. This thesis presents a framework for the simulation and analysis of CPS and uses the framework to examine a proposed CPS for a nuclear reactor control system. The reactor is first broken down into functional components for examination in order to determine how they may be implemented in the simulation environment. These components are then implemented as modules within the simulation and plugged in to the framework's underlying structure to implement networking functionality, and to leverage the underlying structure's capabilities to make integration with the rest of the system a simple and less disruptive task by minimizing the amount of configuration needed. The goal is to develop a simulation framework that can be utilized as an effective tool for examining CPSs, particularly where security concerns may arise. |
