Tesi di Laurea disponibili

Le tesi di laurea, sia triennale che specialistica, attualmente disponibili si inquadrano all'interno delle attività di ricerca correntemente in corso, a cui si rimanda per un inquadramento generale degli argomenti.
Si precisa che il seguente elenco è puramente indicativo, e non costituisce una specifica delle attività da svolgere. Il lavoro di tesi sarà concordato di volta in volta tenendo in considerazione tanto le esigenze della ricerca quanto le esigenze e i desideri dei laureandi.

Tesi sulle Reti Mobili

In riferimento alla modellizzazione del calcolo mobile, sono disponibili tesi di laurea con i seguenti obiettivi:

Evoluzione del tool DEMONE: si tratta di tesi di natura implementativa, adatte sia per lauree triennali che specialistiche, il cui scopo è quello di ampliare e migliorare le capacità del tool. Possibili tesi in questo ambito potranno riguardare la aggiunta di capacità al tool che permetteranno di:
- ottimizzare gli algoritmi attualmente implementati;
- simulare il comportamento della rete mobile attraverso nuovi protocolli rispetto a quelli attualmente previsti;
- modificare e migliorare i protocolli attualmente implementati, ad esempio realizzando oltre alle funzionalità di route discovery anche quelle di route maintenance;
- analizzare ulteriori aspetti dei protocolli di comunicazione, mediante l'uso di nuove metriche;
- modellizzare la rete mobile attraverso ulteriori formalismi, ad esempio Abstract State Machine - ASM, Communicating Sequential Processes - CSP, p-calcolo, etc.
Analisi sperimentale dei protocolli correntemente implementati: si tratta di tesi di natura sperimentale, adatte sia per lauree triennali che specialistiche, finalizzate ad analizzare i comportamenti delle reti mobili in funzione degli specifici protocolli e servizi implementati. Tali tesi potrebbero richiedere alcune delle implementazioni descritte precedentemente.
Definizione di nuovi modelli per le MANET: attualmente è previsto un modello per reti MANET basato sulle Reti di Petri colorate e innestate. Scopo di questo tipo di tesi è quello di studiare la possibilità di modellizzare le MANET attraverso altri formalismi, ad esempio Abstract State Machine - ASM, Communicating Sequential Processes - CSP, p-calcolo, etc. Data la natura prettamente di approfondimento concettuale dei modelli formali, queste tesi sono principalmente rivolte a laureandi specialistici. Tali tesi potrebbero richiedere alcune delle implementazioni descritte precedentemente.
Studio delle proprietà delle MANET mediante i modelli correntemente disponibili: si tratta di tesi di natura di natura concettuale, principalmente rivolte a laureandi specialistici, ma che in parte possono essere svolte anche per lauree triennali. Lo scopo di queste tesi è quello di analizzare mediante il tool DEMONE alcune proprietà delle reti MANET in casi di interesse per informatici, quali ad esempio la concorrenza nelle attività svolte dai diversi host della rete mobile, la complessità computazionale degli algoritmi implementati, la possibilità di definire nuovi metodi per la sincronizzaazione tra gli elementi della rete, etc.

Tesi sui FLOSS

In riferimeNto all'analisi dei Free/Libre Software Systems - FLOSS, sono disponibili tesi di laurea per lo studio introduttivo, e la successiva raccolta, analisi e interpretazione dei dati relativi a FLOSS esistenti. Tali tesi saranno finalizzate a costruire un modello per la comparazione di sistemi proprietari e FLOSS. Un elenco non esaustivo di aspetti che si potranno analizzare è:

manutenibilità
integrabilità
costi di acquisizione, installazione ed esercizio;
affidabilità e correttezza;
...

Possibili argomenti di tesi correlati riguardano lo studio delle implicazioni del copyleft sullo sviluppo software, e l'analisi del software come bene comune.

Tutte queste tesi sono rivolte sia a laureandi triennali che specialistici. In funzione degli aspetti presi in considerazione, potrà essere necessario sviluppare FLOSS di supporto.

Tesi su METAMORPHOS

In riferimento al progetto di ricerca METAMORPHOS sono disponibili tesi di laurea con i seguenti obiettivi:

Applicazione del modello di processo STDM per la migrazione di applicazioni legacy verso nuove piattaforme (ad esempio, il web o sistemi mobili). Si tratta di tesi prettamente implementative, adatte sia per lauree triennali che specialistiche, il cui scopo è quello di costruire basi di esperienza relative all'applicazione del processo in casi reali. I risultati ottenuti da tali progetti dovranno poi essere analizzati sperimentalmente.
Analisi sperimentale delle esperienze di migrazione effettuate. Si tratta di tesi prettamente sperimentali, adatte sia per lauree triennali che specialistiche, il cui scopo è quello di analizzare efficacia ed efficienza del modello di processo, e di identificarne eventuali punti di miglioramento. Tali tesi potrebbero richiedere anche alcune attività relative alla esecuzione del processo in casi reali.
Miglioramento del modello di processo STDM: a partire dalle eventuali debolezze del processo identificate dalla sperimentazione, sarà necessario rielaborare il modello proposto, per apportarne i dovuti miglioramenti. La natura principalmente concettuale di tali tesi le rende particolarmente adatte per laureandi specialistici. Tali tesi potrebbero richiedere anche alcune attività relative alla esecuzione della sperimentazione.