Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Embedded Systems and Software Validation

Abhik Roychoudhury

Language

English

Book Hardback

Libristo code: 04020856

Publishers MORGAN KAUFMANN, July 2009

Modern embedded systems require high performance, low cost and low power consumption. Such systems t... Full description

Libristo code: 04020856

201 b

29 487 Ft

Print on demand Shipping in 28-34 days

30-day return policy

Customers also purchased

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

Hardback

17 133 Ft

Loose-Leaf for Matching Supply with Demand Cachon Book

Spiral bound

81 987 Ft

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

Paperback

3 429 Ft

Habiter le point de fixation Milne Book

Paperback

8 546 Ft

BATMAN/SUPERMAN NUM. 09 WILLIAMSON

Paperback

1 701 Ft

It Won't Always Be Like This Inhaler

Audio CD

4 321 Ft

LE TRAMEDITERRANEEN JEAN-CLAUDE

Paperback

7 723 Ft

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

Paperback

12 604 Ft

In die Berge ! Alfred Büllesbach

Hardback

8 675 Ft

Wie entstehen Tugenden und Laster? Radulfus Ardens

Hardback

22 513 Ft

Si puedes volar, por qué gatear BERNABE TIERNO

Paperback

6 845 Ft

Foederative Architektur Bernhard Schmidt

Paperback

12 151 Ft

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?