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. Simulation by complete state space covering guarantees the verification results to be sound for every possible state of the system under verification. The application to Photovoltaic circuits, specifically the Distributed Maximum Power Point Tracking, shows the feasibility of the approach.