• Out-of-Stock
Embedded Systems and Software Validation
search
  • Embedded Systems and Software Validation
ID: 172044
Abhik Roychoudhury
Delivery date unknown
 

Free shipping

free shipping in Poland for all orders over 500 PLN

 

Same day shipping

If your payment will be credited to our account by 11:00

 

14 days for return

Each consumer can return the purchased goods within 14 days

Modern embedded systems require high performance, low cost and low power consumption. Such systems usually 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.

Embedded systems are used to control safety, safety and security. Clearly, developing reliable software. This book describes how to help achieve this goal.

* Covers the major abstraction levels of embedded systems design, starting from the analysis and micro-architectural modeling;
* Integrates formal techniques of validation for hardware / software with debugging and validation of embedded system design flows;
* Includes practical case studies to answer the questions: if there is any problem, then what is the design be suitably modified?


Introduction; Specification Debugging; Communication Debugging; Performance Debugging; Software Debugging; Conclusions and Future Directions.
172044

Other products in the same category (16)