- Out-of-Stock
Embedded Systems and Software Validation
ID: 172043
Abhik Roychoudhury
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?
- Introduction
- Model Validation
- Communication Validation
- Performance Validation
- Functionality Validation
172043
Other products in the same category (16)
Panasonic Eneloop R03/AAA rechargeable batteries with a capacity of 800mAh and a voltage of 1.2V. The set contains two pieces sold in a blister packaging. Panasonic BK-4MCCE/2BE
Retired
No product available!
PCB for an economic logarithmic probe. AVT1962 A
Retired
No product available!
No product available!
Module with a water level sensor with a measuring range of up to 10 cm. The board is equipped with a Grove connector and communicates via the I2C interface. Seeed Studio 101020635
Retired
No product available!
No product available!
PCB with programmed system for thermometer with thermocouple and alarm. AVT1960 A +
Retired
No product available!
Thermally conductive tape used as a replacement for thermally conductive paste. They are very flexible and characterized by high compressibility. AG Termopasty ART.AGT-161
Retired
No product available!
No product available!
No product available!
No product available!
LCD 2x16, 80x36mm, FSTN NEGATIVE, LED backlight (red), enhanced temperature range, RoHS
Retired
No product available!
No product available!
A portable Smart oscilloscope with an 8-inch LCD display and a touch screen. It has two measurement channels and has good measurement parameters: 150 MHz band, 1 GSa/s sampling rate and 70 Mpts memory buffer. Micsig STO1152E
Retired
No product available!
No product available!
Assembled fume extraction controller. AVT3215 C
Retired
No product available!
NORT12 is a workshop organizer made of high quality plastic, transparent, closed with latches, with a solid handle for convenient transport. It has the ability to regulate the size and number of compartments
Retired
No product available!
Abhik Roychoudhury