Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Embedded Systems and Software Validation

Abhik Roychoudhury

Limba

engleză

Carte Copertă tare

Codul Libristo: 04020856

Editura MORGAN KAUFMANN, iulie 2009

Modern embedded systems require high performance, low cost and low power consumption. Such systems t... Descrierea completă

Codul Libristo: 04020856

201 b

435.99 lei

La editor doar la comandă Expediem în 28-34 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Lijepa naša Hrvatska, hrvatski jezik Andre Mohorovičić

Copertă tare

223.83 lei

Loose-Leaf for Matching Supply with Demand Cachon Carte

Cu spiră

1 183.70 lei

Štátny vzdelávací program pre predprimárne vzdelávanie v MŠ autorov Kolektív

Carte broșată

49.72 lei

Habiter le point de fixation Milne Carte

Carte broșată

126.55 lei

BATMAN/SUPERMAN NUM. 09 WILLIAMSON

Carte broșată

25.22 lei

It Won't Always Be Like This Inhaler

Audio CD

64.00 lei

LE TRAMEDITERRANEEN JEAN-CLAUDE

Carte broșată

114.36 lei

Fantastisch 1re - livre de l'élève

Carte broșată

186.71 lei

In die Berge ! Alfred Büllesbach

Copertă tare

124.37 lei

Wie entstehen Tugenden und Laster? Radulfus Ardens

Copertă tare

333.50 lei

Si puedes volar, por qué gatear BERNABE TIERNO

Carte broșată

99.03 lei

Foederative Architektur Bernhard Schmidt

Carte broșată

174.10 lei

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal. It covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level. This book: integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows; and, includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified?