A methodology for a complete simulation of Cyber-Physical Energy Systems
The number of computation cycles used for simulation-based Verification of Cyber Physical Energy Systems is outpacing the available throughput of simulation resources. In this paper, a methodology for the verification of the CPES at hand with the aim of full coverage of the system's states is proposed. This approach relies on representing the unpredictable behaviour of the environment in order to cover all feasible possible scenarios. Processed by JModelica, the simulation results are covering the system's complete dynamic behaviour.