Informatica industriale
|
ALLEGATI
|
|||||||||||||||||||||||||||||||||||||||||
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
• Contenuti:
I computer sono diventati parte della nostra vita quotidiana: non solo perché ne facciamo un utilizzo consapevole, diretto o indiretto, per tante azioni che compiamo ogni giorno, ma utilizziamo un’innumerevole serie di oggetti al cui interno, spesso a nostra insaputa, si cela un piccolo computer che ne controlla il funzionamento, siano essi lettori mp3, cellulari, lavatrici, o automobili. È questo il mondo dei cosiddetti «sistemi embedded», ovvero sistemi composti da uno o più processori, che fanno fisicamente parte di un sistema elettronico o meccanico e che ne controllano il funzionamento.
Le tecniche standard di progettazione hardware/software possono essere un sufficiente background per la realizzazione di tali sistemi, ma la progettazione dei sistemi embedded presenta una serie di specificità che meritano di essere approfondite, tanto più quando essi possono avere un impatto diretto sulla sicurezza delle persone, come sistemi di controllo di un veicolo o di un aereo, nei quali un guasto o un difetto di progettazione può potenzialmente portare a eventi catastrofici.
Accanto alle tecniche di progettazione specifiche di tali sistemi (caratteristiche dei processori utilizzati, aspetti real-time ecc.), questo libro introduce concetti quali affidabilità, disponibilità, sicurezza, e descrive le tecniche utilizzate per conferire questi attributi ad un sistema in costante riferimento alle normative vigenti in vari domini applicativi.
Il libro nasce dall’esperienza di insegnamento più che decennale dell’autore di questi temi non solamente in ambito universitario, ma anche in vari ambiti aziendali. È quindi un testo per i corsi universitari nelle discipline dell’Informatica e dell’Ingegneria informatica, ma la stretta vicinanza alla pratica industriale lo rende anche adatto come testo di riferimento per i progettisti delle imprese che producono sistemi computerizzati per le più svariate applicazioni.
Alessandro Fantechi è professore ordinario presso la Facoltà di Ingegneria dell’Università di Firenze, dove dal 1997 insegna Informatica industriale per il Corso di Laurea in Ingegneria informatica, e svolge attività di ricerca sulle applicazioni di metodi formali di specifica e verifica di sistemi software.