• non determinismo
• OPC-UA

L’obiettivo del seguente lavoro di tesi è quello di individuare le cause di non determinismo fra due esecuzioni differenti di una applicazione server, basata su OPC-UA, che interagisce con uno o più client.
Lo scopo è quello di poter aiutare la progettazione e l’implementazione di un sistema che aiuti a svolgere attività ripetitive, che richiedono la riesecuzione dell’applicazione nelle stesse condizioni, come ad esempio le attività di testing e debugging su applicazioni operanti in ambito industriale.