Vetrina Stage Interni


Titolo progetto: Studio di strumenti di verifica automatica del software

Breve descrizione del progetto e suoi obiettivi:
Il progetto consiste nello studio di strumenti di verifica automatica del software:
- software Java: vedere http://bandera.projects.cis.ksu.edu
- software C: vedere http://www-cad.eecs.berkeley.edu/~rupak/blast

Strumenti da utilizzare:
- Java (con thread) o C/C++
- linguaggi formali di specifiche di correttezza

Docente di riferimento:  Francesco Ranzato


Titolo progetto: Prototipazione e valutazione di dimostratore middleware

Breve descrizione del progetto e suoi obiettivi:
Il progetto ASSERT sta sviluppando tecnologia middleware avanzata. Tale attivita' prevede una serie di sviluppi prototipali per consolidare e valutare la tecnologia prima di proporne l'uso a partner industriali. Lo stage si propone di sviluppare e valutare uno di tali prototipi od almeno una parte cospicua di esso.

Strumenti da utilizzare:
piattaforma GNU/Linux, linguaggio di programmazione Ada (tempo di apprendimento tipico: 2-3 settimane), middleware prototipale.

Docente di riferimento: Tullio Vardanega


Titolo progetto: Analisi di una proposta di mappatura tra HRT-UML ed un profilo di UML 2.0

Breve descrizione del progetto e suoi obiettivi:
Questo stage opera in stretta correlazione con i 2 stage proposti da Intecs (Pisa). Un progetto finanziato dall'European Space Agency deve proporre una mappatura tra il metamodello del metodo HRT-UML (orientato alla progettazione di sistemi avanzati a tempo reale) ed il metamodello di UML 2.0. La definizione
di tale proposta di mappatura presenta alcuni aspetti interessanti rispetto alla modellazione di: interfacce, porte, connettori, componenti riusabili. Lo stage si occupera' di valutare alcune proposte di mappature proposte da personale di Intecs (Pisa) ed, ove possibile e necessario, proporne di originali.

Strumenti da utilizzare:
Ambienti grafici di progettazione UML. Toolset HRT-UML (offerto da Intecs).

Docente di riferimento: Tullio Vardanega


Titolo progetto: Analisi di un ambiente di test per piattaforme di programmazione concorrente per sistemi a tempo reale

Breve descrizione del progetto e suoi obiettivi:
Un progetto finanziato dall'European Space Agency (ESA) ha prodotto un ambiente di test per valutare e confrontare le prestazioni spaziali e temporali di piattaforme di programmazione concorrente per sistemi a tempo reali aderenti al profilo Ravenscar. La fase finale di tale progetto prevede la valutazione indipendente delle funzionalita' di tale ambiente, e l'analisi critica dei risultati ottenuti da test condotti su di esso dal personale di ESA.
Lo stage si propone di affrontare quanto piu' possibile di tale fase finale del suddetto progetto.

Strumenti da utilizzare:
Ambiente di test realizzato dal progetto (nella versione per piattaforma GNU/Linux) con batteria di test di prova scritti in C per piattaforma GNU/RTEMS ed Ada per ambiente Ravenscar.

Docente di riferimento: Tullio Vardanega