Skip to product information
1 of 1
Regular price £43.29 GBP
Regular price £63.99 GBP Sale price £43.29 GBP
Sale Sold out
Free UK Shipping

Freshly Printed - allow 10 days lead

Embedded Systems and Software Validation

Practical debugging and validation techniques for the entire embedded systems design lifecyle

Abhik Roychoudhury (Author)

9780123742308, Elsevier Science

Hardback, published 8 July 2009

272 pages, 114 illustrations
23.4 x 19 x 2.2 cm, 0.79 kg

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.

  1. Introduction
  2. Model Validation
  3. Communication Validation
  4. Performance Validation
  5. Functionality Validation

Subject Areas: Computer programming / software development [UM], Communications engineering / telecommunications [TJK], Microprocessors [TJFD1]

View full details