L'analisi quantitativa dei sistemi critici

Questo libro di testo per insegnamenti a corsi di laurea specialistica o magistrale in Informatica o Ingegneria Informatica illustra i fondamenti e le tecniche per la Valutazione - Analitica e Sperimentale - di Infrastrutture Critiche e Sistemi Affidabili. Fornisce gli strumenti che permettono di analizzare aspetti quantitativi relativi al funzionamento corretto ed efficace di tali sistemi che dimostrino e ci convincano della adeguatezza (sicurezza, disponibilità o affidabilità) dei nostri manufatti per i compiti sempre più critici e delicati per i quali li utilizziamo. ANDREA BONDAVALLI è professore associato di Informatica presso l’Università degli studi di Firenze dal 2000, dopo oltre 10 anni trascorsi come ricercatore e primo ricercatore al CNR di Pisa. Oltre a corsi di base di Architetture degli Elaboratori, insegna corsi avanzati di "Analisi Quantitativa di Sistemi" e di "Affidabilità dei Sistemi di Elabora- zione". Le ricerche di Andrea Bondavalli, finanziate principalmente dalla Comunità Europea, sono centrate sui sistemi e le infrastrutture critiche, su meccanismi ed architetture per la tolleranza ai guasti e sulla valutazione quantitativa di aspetti di dependability.