Concetti di prestazioni ed affidabilità dei sistemi e validazione. Richiami di probabilità e metodi combinatori. I processi di Markov a tempo discreto. I processi di Markov a tempo continuo. Reti di Petri stocastiche. Formalismi di modellizzazione: PN ed estensioni. Strumenti automatici di supporto: Möbius e DEEM. Fondamenti di teoria della misura e loro applicazione. Testing di sistemi: test funzionali, fault injection, robustness. Organizzazione di esperimenti. Dependability benchmarking. Strumenti di supporto per il testing: NekoStat.
“L’Analisi Quantitativa dei Sistemi Critici”, a cura di Andrea Bondavalli, Società Editrice Esculapio, ISBN 978-88-7488-431-5, Prima edizione, 286 pagine, Marzo, 2011.
Obiettivi Formativi
Il corso intende fornire agli studenti le nozioni necessarie a comprendere gli aspetti di analisi quantitativa e di qualità del servizio offerto da sistemi di elaborazione, con particolare enfasi sull'analisi delle prestazioni ed affidabilità.
Prerequisiti
Nessuno
Metodi Didattici
CFU: 9
Numero di ore totali del corso: 270
Numero di ore per studio personale e altre attività formative di tipo individuale: 198
Numero di ore relative alle attività in aula: 72
Numero di ore relative ad attività di laboratorio (lezioni in laboratorio): 0
Numero di ore relative ad attività di esercitazioni (in laboratorio e in campo): 0
Numero di ore relative ad attività seminariali: 0
Numero di ore relative ad attività di stage: 0
Numero di ore per prove in itinere: 0
Altre Informazioni
Frequenza delle lezioni ed esercitazioni: Raccomandata
Strumenti a supporto della didattica UniFi E-Learning: http://e-l.unifi.it
Orario di ricevimento:
Prof. Andrea Bondavalli,
Su appuntamento. Contattare il docente tramite numero telefonico o e-mail (bondavalli@unifi.it).
DiMaI, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Tel. 055 2751481
Dott. Andrea Ceccarelli,
Su appuntamento. Contattare il docente tramite numero telefonico o e-mail (andrea.ceccarelli@unifi.it).
DiMai, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Tel. 055 2751487
Dott. Silvano Chiaradonna,
Su appuntamento. Contattare il docente tramite numero telefonico o e-mail (silvano.chiaradonna@isti.cnr.it).
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" (ISTI-CNR) Area della Ricerca CNR di Pisa, Via G. Moruzzi, 1
56124 Pisa, Italy
Tel. 050 3153005 (3152909)
Modalità di verifica apprendimento
La verifica dell'apprendimento è composta di due parti:
- elaborazione di un approfondimento o di un
Progetto di analisi quantitativa;
- prova orale.
Condizione per l'ammissione alla prova orale è l'accettazione della relazione sul progetto.
Programma del corso
Concetti di prestazioni ed affidabilità dei sistemi e validazione. Definizione di indici di prestazione ed affidabilità. Regole di costruzione e validazione dei modelli. Richiami di probabilità. Metodi combinatori. I processi di Markov a tempo discreto. I processi di Markov a tempo continuo. Teoria delle code: la coda MM1 e sue varianti. Reti di Petri stocastiche. Formalismi di modellizzazione: PN ed estensioni (es. SAN, DSPN). Strumenti automatici di supporto: Möbius e DEEM. Fondamenti di teoria della misura e loro applicazione. Testing di sistemi: test funzionali, fault injection, robustness. Organizzazione di esperimenti. Dependability benchmarking. Strumenti di supporto per il testing: NekoStat.