- Out-of-Stock
Products
Categories
- Main categories
-
- 3D PRINTING
- ACADEMIC OFFER
- ARDUINO
- AUTOMATION
- BOOKS
- DIY KITS
- AVT kits
- Audio
- Car
- Chargers
- Clocks, timers and schedule switches
- Communication
- Converters
- Development kits and modules
- Displays
- Electronic games
- Generators
- Hobbies and fun
- House
- Interfaces
- Light effects
- meters
- PC
- Power Supplies
- Pre-programmed circuits
- Printed circuit boards (PCB)
- Programmers
- Regulators, controllers
- Remote control
- Starter sets Ośla Łączka
- Starting sets for beginners
- Workshop tools
- Audio
- Other sets
- TOP-Q kits
- Totem
- UGears
- Velleman
- AVT kits
- EBOOKS
- ELECTRONICS
- Cables
- Cameras and accessories
- Communication
- Conductive materials
- Connectors
- ARK connectors (Terminal Block)
- Coaxial connectors (RF)
- Connectors
- Crocodile clip
- D-Sub drawer connectors
- DC power connectors
- FFC/FPC ZIF connectors
- Goldpin connectors
- IDC connectors
- JACK connectors
- JST connectors
- Jumpers
- Memory cards slots
- Other connectors
- Pogo pin
- RJ45 sockets
- Slip ring connector
- Supports
- Szybkozłącza
- USB connectors
- Cooling
- Displays
- Electronic modules
- A/D and D/A converters
- Audio
- Barcode readers
- CAN converters
- Converters USB - UART / RS232
- Data logger
- DDS/PLL generators
- Digital potentiometers
- Encoders
- Expanders of the I/O
- Fingerprint readers
- HMI modules
- Image and video
- JTAG accessories
- Keyboards, buttons
- LED drivers
- Memory card readers
- Memory modules
- Modules with power outputs
- Motor controllers
- Power modules
- RS485 converters
- RTC modules
- Servo Controllers
- TSOP infrared receivers
- USB Converters - I2C / 1-Wire / SPI
- Voltage converters
- Gadgets
- GPS
- Intelligent clothes
- LED - diodes, displays, stripes
- Luminous wires and accessories
- Memory cards and other data storages
- Passive elements
- PC accessories
- Printers
- Prototype boards
- Semiconductors
- A/C converters (ADC)
- Analog systems
- Audio systems
- Bridge rectifiers
- Button
- D/A Converters (DAC)
- DDS synthesizers
- Digital circuits
- Diodes
- Drivers of motors
- DSP microprocessors
- Energy counters
- Energy harvesting
- ESD security
- IGBT drivers and bridges
- Interface systems
- LED drivers
- Logic converters
- Memory
- Microcontrollers
- Optotriacs and optocouplers
- Other
- PLL generators
- Power systems
- Programmable systems
- Resetting systems
- RF systems
- RTC systems
- Sensors
- SoC systems
- Timery
- Touch sensors
- Transistors
- Sensors
- Accelerometers
- Air humidity sensors
- Air quality sensors
- Current sensors
- Distance sensors
- Flow sensors
- Gas sensors
- Gyroscopes
- Hall sensors
- Humidity sensors
- Infrared sensors
- Light and color sensors
- Liquid level sensors
- Magnetic sensors (compasses)
- Medical sensors
- Motion sensors
- PH sensors
- Position sensors
- Pressure sensors
- Pressure sensors
- Reflection sensors
- Sensors 6DOF/9DOF/10DOF
- Sensors of liquid quality
- Temperature sensors
- Vibration sensors
- Sound transducers
- Switches and buttons
- Cables
- INTERNET OF THINGS (IoT)
- MECHANICS
- POWER
- R/C MODELLING
- RASPBERRY PI
- Accessories for Raspberry Pi
- Audio video cables for Raspberry Pi
- Case Raspberry Pi
- Cooling for Raspberry Pi
- Displays for Raspberry Pi
- Extension modules for Raspberry Pi
- Memory cards for Raspberry Pi
- Power for Raspberry Pi
- Raspberry Pi 3 model A+
- Raspberry Pi 3 model B
- Raspberry Pi 3 model B+
- Raspberry Pi 4 model B
- Raspberry Pi 400
- Raspberry Pi 5
- Raspberry Pi cameras
- Raspberry Pi Compute Module
- Raspberry Pi model A/ B+/2
- Raspberry Pi Pico
- Raspberry Pi prototyping
- Raspberry Pi Zero
- Raspberry Pi Zero 2 W
- RETIRED PRODUCTS
- ROBOTICS
- SALE
- SOFTWARE
- STARTER KITS, PROGRAMMERS, MODULES
- Alchitry FPGA
- Altera FPGA
- Analog electronics
- Atmel SAM
- Atmel Xplain
- AVR
- Banana Pi
- BeagleBone
- chipKIT
- Coral
- CPLD Xilinx
- Cubieboard
- DFRobot FireBeetle
- Feather
- Freedom (Kinetis)
- FriendlyELEC
- HummingBoard
- Intelligent clothes
- Kit with a book
- LattePanda
- LPC (NXP)
- M5Stack
- Micro:bit
- Nvidia Jetson
- Odroid
- ODYSSEY
- Orange Pi
- Other development kits
- Peripheral modules
- PIC
- Raisonance
- Raspberry Pi RP2040
- RFID
- RISC-V
- SBC Embest
- SBC MYIR
- SBC others
- SBC UDOO
- Segger programmers
- SoMLabs
- Sparkfun MicroMod
- STM32
- STM32 Discovery
- STM32 MP1
- STM32 Nucleo boards
- STM8
- Teensy
- Universal programmers
- WRTNode
- Xilinx FPGAs
- WORKSHOP
- Adhesives and gluers
- Anti-static mats (ESD)
- Chemistry
- CNC milling machines
- Crimping tools
- Dispensing needles
- Drills
- Files
- Generators
- Handles, magnifiers
- Heat-shrink tubing
- Insulation strippers
- Keys
- Knives and scissors
- Laboratory power supplies
- Laminates
- Measuring devices
- Mikroskopy
- Mini drills and grindrers
- Organizers
- Oscilloscopes and accessories
- Pliers and pincers
- Power tools
- Riveting tools and rivets
- Screwdrivers
- SMD Accessories
- Soldering
- Tapes (aluminum, kapton, copper, insulating)
- Tweezers
- Ultrasonic cleaners
- Vices
- 3D PRINTING
New products
New products
Embedded Systems and Software Validation
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
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.
Other products in the same category (16)
No product available!
No product available!
Development kit with ESP32 WiFi and Bluetooth module and 1.54 "ePaper display. Built-in IMU MPU6050 sensor and USB-UART converter. LilyGO TTGO T-Block ESP32
No product available!
No product available!
No product available!
Lead-free tin Sn99Cu0.7Ag0.3 with EVO11 flux, 100 g spool, 0.25 mm diameter. Cynel SAC307-0.25/100
No product available!
The module allows to measure the distance to the obstacle by measuring the time difference between the wave sent and the reflected wave. Measuring range 2 ... 400cm. Sparkfun SEN-13959
No product available!
Very small and extremely handy wireless QWERTY keyboard with built-in touchpad, for desktop computer, SMART TV, or embedded devices. It has "click" buttons, it can work at a distance of up to 3 m from the receiver. Keyboard weight: 144g. Measy RC12 Mini Wireless Keyboard
No product available!
Cable ties are made of flexible plastic characterized by its high durability, both mechanical and thermal. Lanberg ORG01-BVP300-MC6
No product available!
No product available!
No product available!
No product available!
No product available!
No product available!
Assembled adjustable power supply for contact plates. AVT1990 C
No product available!
No product available!