Ottimizzazione del deployment di architetture a microservizi utilizzando programmazione a vincoli

L'adozione diffusa di dispositivi intelligenti connessi e la crescente potenza computazionale stanno spingendo l'evoluzione del Cloud computing verso ambienti distribuiti, sfruttando capacità ai margini della rete. Contestualmente, le applicazioni basate su microservizi (MSA) stanno diventando prevalenti nelle imprese, necessitando di un deployment efficiente su infrastrutture Cloud-IoT. Questo deployment deve essere pianificato globalmente, considerandone la complessità e i requisiti di resilienza e sostenibilità energetica, in linea con le direttive dell'UE per un'IT sostenibile. Il progetto FREEDA mira a facilitare il deployment integrato delle MSA su infrastrutture Cloud-IoT, bilanciando i requisiti spesso in conflitto. FREEDA analizza le MSA, le infrastrutture Cloud-IoT e i deployment precedenti per garantire resilienza ai fallimenti e sostenibilità energetica, ottimizzando il deployment mediante un risolutore di vincoli. Questa tesi ha l'obiettivo di sviluppare un parser capace di generare configurazioni di deployment in formati compatibili con solver di programmazione a vincoli o programmazione lineare. Utilizzando il solver, si otterrà una soluzione ottimale per il deployment delle MSA, bilanciando i requisiti di risorse, le dipendenze tra servizi e i requisiti di resilienza e sostenibilità energetica.