Sinossi

I computer sono diventati parte della vita quotidiana: non solo perché se ne fa un utilizzo consapevole, diretto o indiretto, per tante azioni che si compiono ogni giorno, ma si utilizzano un'innumerevole serie di oggetti al cui interno, spesso senza saperlo, 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, 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.