Ambiente di validazione del software di automazione che supporta il design ed il testing del codice di controllo attraverso metodi di simulazione in anello chiuso