- 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)
Module with MOSFET RFP30N06LE transistor with N channel. Equipped with two screw connections. For assembly. SparkFun COM-12959
Retired
No product available!
No product available!
No product available!
No product available!
No product available!
The LCD Button Shield V2 attaches to your Arduino to provide a 16x2, black character, green back light LCD with a keypad consisting of 5 keys — select, up, right, down and left. With this shield you will be able to move through menus and make selections straight from one board attached to your Arduino without requiring a massive tower of shields. DEV-13293
Retired
No product available!
No product available!
An electric precision screwdriver with the option of manual or automatic operation. The screwdriver is equipped with an OLED display and a built-in rechargeable battery that provides up to 6 hours of use. MiniWare ES15
Retired
No product available!
OLED display 128x64 pixels, 0.96 ", 3V power supply, SSD1306 controller, communication via I2C and SPI interfaces, PARALLEL WHITE display color, working temperature from -40 to +70, ext. CAP
Retired
No product available!
Car charger G50D is a practical solution for users looking for an efficient and safe power source while traveling. Thanks to fast charging, a multi-port design, and compatibility with 12 V and 24 V voltage, it works well in both passenger and commercial vehicles. Its aesthetic and compact design makes the charger not only look good but also meet the expectations of even the most demanding users.
Retired
No product available!
No product available!
No product available!
ADC and DAC converter module based on the PCF8591 system with I2C and the possibility of cascading other I2C modules. Waveshare PCF8591 AD DA Board
Retired
No product available!
NVIDIA development kit with the Tegra X2 SoC chip containing two Denver cores, four 64-bit ARM Cortex A57 cores and a Pascal graphic layout consisting of 256 cores supporting CUDA technology. Jetson TX2 Development Kit
Retired
No product available!
Module with FM receiver RDA5807M. The board is equipped with a Grove connector and communicates via the I2C interface. Seeed Studio 107020049
Retired
No product available!
No product available!
Abhik Roychoudhury