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 |