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