Monografia o trattato scientifico, 2009, ENG
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.
Model Checking, Embedded Systems, Safety-critical, D.2 SOFTWARE ENGINEERING, D.2.4 Software/Program Verification, Dependability, fault Detection
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
CNR authors
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:139038