KAMI : un framework distribuito per modelli non funzionali a tempo di esecuzione

I modelli possono aiutare gli ingegneri del software a prendere decisioni di progettazione prima di implementare un sistema. Per costruire tali modelli software, è necessario basarsi su stime numeriche di vari parametri forniti da esperti del settore o estratte da altri sistemi analoghi. Purtroppo, raramente le stime sono corrette. Inoltre, in ambienti dinamici, i valori dei parametri possono variare nel tempo. In questa tesi verrà discusso un approccio che prende in considerazione questi problemi, monitorando a tempo di esecuzione i modelli e fornendo dati ad uno stimatore, producendo così i parametri aggiornati in tempo reale. L'approccio descritto si focalizza sui modelli per la qualità di servizio, come affidabilità e prestazioni. Lo scopo di questo lavoro è realizzare KAMI, un framework distribuito che permette di modellizzare sistemi, o parte di essi, in modo da mantenere aggiornati i modelli anche durante l'esecuzione del sistema reale. I componenti sviluppati permettono di monitorare gli input del sistema in esecuzione, di effettuare analisi e verifiche del modello e di catturare violazioni dei requisiti per consentire riconfigurazioni automatiche dell'implementazione. Infine, i contributi della tesi sono stati implementati e validati attraverso un caso di studio e simulazioni sperimentali.