• Out-of-Stock
Embedded Systems and Software Validation
search
  • Embedded Systems and Software Validation
ID: 172043
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 of 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 it is identified, then what is the design be suitably modified?



  1. Introduction

  2. Model Validation

  3. Communication Validation

  4. Performance Validation

  5. Functionality Validation
172043

Other products in the same category (16)