Embedded systems are becoming more and more pervasive in daily life. Standard hardware/software design techniques can be a sufficient background for the realization of such systems, but the actual design of embedded systems displays multiple critical aspects that deserve to be addressed. Together with the specific techniques for the design of such systems (processors characteristics, real time aspects, etc.), this book introduces concepts such as reliability, availability, safety, and describes the techniques adopted to associate these attributes to a system, with constant reference to the current norms and regulations belonging to various application domains. This book comes from the more than ten years research/teaching experience of the author on these topics, not only in academia, but also in several industrial settings. It is therefore a book for University courses in Computer Science and Computer Engineering, but the tight proximity of the topics with the industrial practice makes it suitable also as a reference text for designers and engineers of embedded systems industries.

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.

Informatica industriale

Fantechi A
2009

Abstract

Embedded systems are becoming more and more pervasive in daily life. Standard hardware/software design techniques can be a sufficient background for the realization of such systems, but the actual design of embedded systems displays multiple critical aspects that deserve to be addressed. Together with the specific techniques for the design of such systems (processors characteristics, real time aspects, etc.), this book introduces concepts such as reliability, availability, safety, and describes the techniques adopted to associate these attributes to a system, with constant reference to the current norms and regulations belonging to various application domains. This book comes from the more than ten years research/teaching experience of the author on these topics, not only in academia, but also in several industrial settings. It is therefore a book for University courses in Computer Science and Computer Engineering, but the tight proximity of the topics with the industrial practice makes it suitable also as a reference text for designers and engineers of embedded systems industries.
2009
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
9788825173444
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.
Model Checking
Embedded Systems
Safety-critical
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification
Dependability
fault Detection
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/97899
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact