Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

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

188 b

77.90 €

152.37 лв

Print on demand Shipping in 28-34 days

Up to 30 days for returns

Customers also purchased

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

Hardback

45.42 € 88.82 лв

Loose-Leaf for Matching Supply with Demand Cachon Book

Spiral bound

235.17 € 459.95 лв

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

Paperback

9.98 € 19.52 лв

El día que dejó de nevar en Alaska ALICE KELLEN

Paperback

16.50 € 32.27 лв

Habiter le point de fixation Milne Book

Paperback

24.77 € 48.46 лв

BATMAN/SUPERMAN NUM. 09 WILLIAMSON

Paperback

4.81 € 9.40 лв

It Won't Always Be Like This Inhaler

Audio CD

12.88 € 25.18 лв

LE TRAMEDITERRANEEN JEAN-CLAUDE

Paperback

22.34 € 43.70 лв

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

Paperback

36.72 € 71.83 лв

In die Berge ! Alfred Büllesbach

Hardback

23.69 € 46.33 лв

Wie entstehen Tugenden und Laster? Radulfus Ardens

Hardback

66.42 € 129.90 лв

Si puedes volar, por qué gatear BERNABE TIERNO

Paperback

19.65 € 38.44 лв

Foederative Architektur Bernhard Schmidt

Paperback

33.16 € 64.85 лв

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?