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 Elaborazione”. 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.