SEMINARIO DEL GIORNO 18/05/2004

Titolo:

TwoTowers 5.0: Uno Strumento per la Modellazione e l'Analisi di Sistemi.

Relatore:

Prof. Marco Bernardo.

Luogo:

Laboratorio Didattico dell'Istituto S.T.I.

Orario:

10:00 - 12:00.

Numero di crediti:

0.25.

Vincoli di partecipazione:

Nessuno.

Sommario:

TwoTowers 5.0 è uno strumento automatico per la verifica funzionale, la valutazione di prestazioni e l'analisi di sicurezza di sistemi di elaborazione, comunicazione e software modellati attraverso il linguaggio di descrizione architetturale Æmilia.

La prima parte del seminario sarà volta ad illustrare la struttura di TwoTowers 5.0 e il suo linguaggio di modellazione.

La seconda parte del seminario verterà sull'applicazione di tecniche di analisi implementate in TwoTowers 5.0 -- model checking simbolico, equivalence checking, soluzione di catene di Markov con reward, simulazione e analisi del flusso di informazione -- ad alcuni piccoli ma significativi sistemi modellati con Æmilia.

Materiale on-line:

Sito TwoTowers.

Docente di riferimento:

Prof. Marco Bernardo.

Ultima modifica: 10/05/2004 Approvato da: Presidente CCdL