Verifica run-time di sistemi self-adaptive basata su logiche temporali

Con l'evoluzione dei sistemi self-adaptive ed i suoi alti livelli di adattamento e autonomia, sono emerse nella letteratura scientifica diverse metodologie al fine di operare con ambienti altamente dinamici. Le attività di verifica e validazione (V&V) software puntano ad assicurare che il prodotto software soddisfi i requisiti utente (validazione) e i suoi requisiti di sistema (verifica) durante il suo ciclo di vita. Il variare dei requisiti a run-time di un sistema significa andare incontro alle necessità di un utente che si interfaccia con esso. In questo lavoro di tesi si parte dalla definizione di un modello sperimentale per rappresentare dei casi di studio (scenari) mediante le logiche temporali. La futura ricerca porterà ad avere dei sistemi in grado di estrapolare automaticamente le informazioni ricevute dall'ambiente in cui si trova l’utilizzatore per soddisfare le sue esigenze.