PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A. Informatica industriale. 288 p. Milano: Città Studi Edizioni, 2009.
 
 
Abstract
(English)
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.
Abstract
(Italiano)
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.
Subject Model Checking
Embedded Systems
Safety-critical
Fault detection
Dependability
Software Certification
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification



Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional