- Out-of-Stock
New products
New products New products
Available
zł73.14
24h
Available
zł1,049.01
24h
Available
Embedded Systems and Software Validation
ID: 172044
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 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.
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)
GPS module with u-blox ZED-F9R. Uses Automotive Dead Reckoning (ADR) technology. Provides highly accurate and continuous positioning by combining the 3D IMU sensor, vehicle dynamics model, correction data and GNSS measurements. SparkFun GPS-16344
Retired
No product available!
PCB for energy-saving optical siren with LED diodes. AVT790 A
Retired
No product available!
No product available!
Set of 6 screwdrivers for electronics (flat 4 pcs, cross-brace 2 pcs) from Velleman. Length 130mm
Retired
No product available!
No product available!
No product available!
No product available!
No product available!
No product available!
No product available!
Permanent cylindrical neodymium magnet with a diameter of 4 mm and a height of 1 mm.
Retired
No product available!
264x176, 2.7inch E-Ink raw display, three-color, SPI interface, without PCB
Retired
No product available!
No product available!
FPGA Evaluation Kit based on the XC7A50T-1CSG324C chip from the Artix-7 FPGA Xilinx family. Nexys works with Xilinx ISE and Vivado software. Equipped with numerous interfaces and sensors allows you to develop projects without attaching additional elements to the set. Digilent 410-292-1
Retired
No product available!
MYS-6ULX-IOT is a small single board computer (SBC) dedicated to Internet of Things projects. It has a built-in NXP MCIMX6Y2DVM05A processor based on the Cortex A7 core. It can work at a maximum frequency of 528 MHz. MYIR MYS-6ULX-IOT
Retired
No product available!
Development kit with STM32F107VCT6 microcontroller
Delivery date unknown
No product available!
Abhik Roychoudhury