Prestazioni ed affidabilita' dei sistemi. Validazione. Regole di costruzione e validazione dei modelli. Richiami di probabilita' e variabili casuali. Metodi combinatori. Processi di Markov a tempo discreto e continuo. Soluzione transiente e steady-state. Reti di Petri stocastiche. Strumenti automatici di modellazione e valutazione: Mobius e DEEM. Fondamenti di teoria della misura e loro applicazione. Testing di sistemi. Benchmarking. Strumenti di supporto per il testing: NekoStat.
- K. S. Trivedi, “Probability and Statistics with reliability, Queuing and Computer Science Applications”, John Wiley and Sons, New York, 2001
- A. Avizienis, J. C. Laprie, B. Randell, “Fundamental Concepts of Dependability”, LAAS Report n. 01-145, 2001
- A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and I. Mura. “Dependability modeling and evaluation of multiple-phased systems using DEEM”, IEEE Transactions on Reliability, 53(4):509-522, 2004
- Dispense e lucidi presenti sul sito del corso
Obiettivi Formativi
Conoscenze:
Il corso intende fornire agli studenti le conoscenze e le competenze per l'analisi quantitativa e di qualita' del servizio (QoS) di sistemi di elaborazione e comunicazione, con particolare enfasi sulle prestazioni e l'affidabilita' dei sistemi.
Competenze acquisite
Il corso introduce le tecniche di modellazione e valutazione sperimentale di sistemi di elaborazione e comunicazione, fornendo agli studenti le basi per la definizione e valutazione di modelli stocastici col supporto di tools automatici (Mobius e DEEM) e la progettazione e realizzazione di misurazioni sperimentali
Capacità acquisite
Gli Studenti imparano a
- definire e valutare modelli stocastici col supporto di tools automatici (Mobius e DEEM) - progettare e realizzare misurazioni sperimentali su sistemi reali o prototipi.
Metodi Didattici
Numero di ore totali del corso: 150
Numero di ore per studio personale e altre attività formative di tipo individuale: 102
Numero di ore relative alle attività in aula: 48
Altre Informazioni
Prof. Bondavalli:
Lunedi', ore 14-16, possibilmente con prenotazione.
prof. Chiaradonna: Su appuntamento.
Modalità di verifica apprendimento
Elaborazione di un progetto e prova orale.
Condizione per l’ammissione alla prova orale e' l’accettazione della relazione sul progetto.
Programma del corso
Concetti di prestazioni ed affidabilita' dei sistemi e validazione. Definizione di indici di prestazione ed affidabilita'. Regole di costruzione e validazione dei modelli. Richiami di probabilita'. 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)e strumenti automatici di supporto: Mobius e DEEM. Fondamenti di teoria della misura e loro applicazione. Testing di sistemi: test funzionali, fault injection, organizzazione di esperimenti. Benchmarks: performance benchmarking e dependability benchmarking. Strumenti di supporto per il testing: NekoStat.