Informatica industriale

Prefazione
Introduzione
1. Comportamento a stati finiti di un sistema embedded
2. Sistemi in tempo reale
3. Introduzione ai processori di utilizzo industriale
4. I concetti della Dependability
5. Valutazione quantitativa degli attributi di dependability
6. Valutazione qualitativa degli attributi di safety
7. Tecniche di rilevazione dei guasti
8. Codici rilevatori di errore
9. Codici correttori di errore
10. Tolleranza ai guasti
11. Algoritmi distribuiti
12. I guasti software
13. Verifica del codice
14. Metodi Formali
15. La certificazione del software
Bibliografia