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.

A methodology for a complete simulation of Cyber-Physical Energy Systems

DRIOUICH, YOUSSEF
Methodology
;
PARENTE, Domenico
;
TRONCI, ENRICO
2018-01-01

Abstract

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.
2018
978-1-5386-6405-6
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/4716013
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact