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

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)