Monografia o trattato scientifico, 2009, ENG

Informatica industriale

Fantechi A.

Università degli studi di Firenze - CNR-ISTI, Pisa

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.

Keywords

Model Checking, Embedded Systems, Safety-critical, D.2 SOFTWARE ENGINEERING, D.2.4 Software/Program Verification, Dependability, fault Detection

CNR authors

Fantechi Alessandro

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 139038

Year: 2009

Type: Monografia o trattato scientifico

Creation: 2011-03-15 00:00:00.000

Last update: 2018-01-12 11:21:28.000

External links

OAI-PMH: Dublin Core

OAI-PMH: Mods

OAI-PMH: RDF

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:139038