Nel presente lavoro si adotta il modello funzionale per i sistemi di controllo proposto dallo standard Iec 61499, e si sfruttano le capacità di simulazione di due toolbox di Matlab, Simulink e Stateflow, per simulare tale modello.
La descrizione delle soluzioni di controllo risulta semplificata e il loro riutilizzo è favorito dall’uso di modelli formali che sfruttino i concetti di modularità, incapsulamento e astrazione.
L’interoperabilità e l’intercambiabilità sono garantite dall’adozione di uno standard internazionale; le soluzioni di controllo sono verificate tramite simulazione.