.NET (16) · .NET Core (3) · .NET Framework (4) · 32 bit microcontroller (15) · 5G mobile networks (3) · A* search (4) · A/D testing (3) · AAL (7) · ABS (3) · abstract reachability graph (3) · abstraction (17) · abstraction refinement (6) · accelerometer (17) · access control (3) · acoustic guitar (2) · acoustic localization (6) · active learning (5) · active noise cancelling (6) · active noise control (6) · active safety (2) · activity monitoring (3) · acustical beamforming (3) · adaptive filters (4) · adaptive Fourier-analyzer (3) · ADAS (7) · ADC (3) · agent (8) · agent-based simulation (2) · AgentSpeak (3) · AI (3) · Airtificial Neural Network (3) · alarm clock (2) · algorithm (5) · algorithm development (3) · algorithm optimization (4) · algorithms (3) · Altera (6) · Altium Designer (3) · Alzheimer's disease (4) · Amazon cloud (2) · Amazon Web Services (3) · Ambient Assisted Living (3) · ambient intelligence (4) · ambient systems (4) · Analog Devices (3) · analog-digital converter (4) · analysis (4) · Android (27) · Android application (24) · Android platform (4) · Angular (3) · Angular 2 (3) · annotation (4) · anomaly detection (9) · ANTLR (4) · Apache Solr (2) · Apache VCL (3) · application (3) · application development (6) · application of microcontrollers (5) · architecture (3) · arduino (12) · arduino mega (3) · ARM (27) · ARM microcontroller (8) · ARM Cortex (18) · ARM Cortex-M3 (3) · ARM Cortex-M4 (4) · ARM microcontroller (33) · artifical intelligence (22) · Artificial Intellgence (9) · artificial intelligence (33) · artificial neural network (5) · artificial neural networks (8) · ASP.NET (3) · ASP.NET MVC (3) · ASPICE (3) · assembly (3) · atmel avr atmega (4) · audio (7) · audio signal processing (15) · aurix microcontroller (3) · authentication (3) · autoencoder (3) · automated (3) · automated test (11) · automated test generation (7) · automated test system (4) · automated testing (5) · automated testing system (3) · automatic code generation (11) · automatic software testing (6) · automatic testing (3) · automation (8) · automatization (3) · automaton learning (4) · Automotive (24) · automotive application (4) · automotive diagnostics (5) · automotive ECU (5) · automotive embedded system (22) · automotive industry (26) · automotive software testing (7) · automotive testing (8) · autonomous (5) · autonomous driving (4) · autonomous robot (4) · autonomous vehicles (9) · AUTOSAR (41) · AVR microcontroller (7) · AWS (3) · backend (3) · balancing robot (4) · battery (5) · Bayes network (9) · Bayes optimization (2) · bayesian approach (4) · bayesian network (10) · Bayesian-network (6) · BCI (3) · BeagleBone (3) · BeagleBone Black (8) · beamforming (4) · benchmark (9) · benchmarking (8) · Big Data (6) · big data processing (3) · binary classification (2) · bioinformatics (12) · biological networks (2) · biostatistics (4) · BitCloud (3) · Bitcoin (4) · bitserial arithmetic (2) · BLDC (3) · BLE (3) · blockchain (30) · blockchain interoperability (3) · blood pressure (3) · blood pressure measurement (5) · Bluetooth (15) · Bluetooth Low Energy (17) · Bluetooth Low Energy (BLE) (6) · Bluetooth Mesh (2) · BME Formula Racing Team (6) · BME FRT (9) · BMS (3) · Bonita (3) · bootloader (5) · Bootstrap (5) · Bosch (3) · bounded model checking (6) · BPMN (8) · BPMN2 (4) · brain-computer interface (5) · breast cancer (3) · Building Automation (3) · business process (3) · Business Process Management (6) · business process modeling (3) · business processes (4) · C (8) · C programming (7) · C# (23) · C# software development (9) · C/C++ (17) · C++ (12) · cache (3) · calibration (6) · camera (8) · CAN (32) · CAN Bus (28) · CAN communication (16) · car industry (4) · causal discovery (4) · CEGAR (19) · cep (3) · CERN (3) · channel estimation (3) · Chatbot (3) · ChatGPT (4) · chest radiograph (4) · chest X-ray image (5) · chord recognition (2) · Circuit analysis (3) · circuit design (4) · classification (10) · client - server architecture (4) · clock synchronization (19) · cloud (7) · cloud computing (17) · Cloud infrastructure (8) · cloud services (5) · clustering (7) · CMSIS-DSP (4) · CNN (4) · code analysis (3) · code coverage (4) · code generation (30) · code generator (5) · Collaboration (4) · communication (4) · communication protocol (3) · compensation (3) · compiler (4) · complex envelope (4) · complex event processing (14) · compressed sensing (3) · compression (3) · computed tomography (3) · computer vision (21) · concurrency (3) · configuration management (5) · Consortium blockchain (6) · constraint satisfaction problem (5) · containerization (3) · context free grammars (3) · continuous integration (9) · contour of lung (3) · Controlled natural languages (7) · convolutional network (2) · convolutional neural network (24) · convolutional neural networks (9) · Cooley-Tukey (2) · CoreSight (4) · Cortex-M3 (5) · CPS (8) · cRIO (4) · Cross Platform (3) · cross-platform mobile app development (3) · cryptocurrencies (2) · cryptography (5) · CT segmentation (4) · CUDA (5) · CUnit (3) · cyber-physical system (3) · cyber-physical systems (32) · cybersecurity (3) · Cypher (4) · Dart (3) · dashboard (6) · data acquisition (4) · data analysis (25) · data augmentation (3) · data cleaning (3) · data collection (8) · data fusion (4) · data processing (4) · data quality (6) · data security (3) · data visualisation (9) · data visualization (17) · database (9) · database management (3) · datamining (3) · DDR3 SDRAM (5) · DDS (12) · de novo molecule generation (3) · debug (4) · debugger (7) · debugging (3) · decentralised (3) · decision support (7) · decision tree (5) · declarative rules (3) · deep learning (42) · Deep Neural Network (7) · Deep Neural Networks (19) · defibrillator (3) · dementia (7) · dependability (9) · design space exploration (12) · development (4) · DFT (3) · diagnostics (7) · dialysis machine (5) · digital filtering (3) · digital image processing (7) · Digital Signal Processing (42) · digital signal processor (5) · digital tomosynthesis (6) · Digital twin (4) · digital video processing (3) · digital waveguide (3) · discovering frequent episodes in sequences (3) · discretisation (4) · disease (3) · distributed (5) · distributed file system (3) · Distributed Ledger Technology (9) · Distributed system (11) · Distributed systems (11) · distributed tracing (4) · DLT (3) · DMA (5) · DNA sequencing (7) · Docker (10) · docker compose (3) · document generation (3) · domain specific language (5) · domain-specific languages (7) · driver (3) · Drools (8) · drug discovery (5) · drug repositioning (3) · drug-target interaction (9) · DSL (4) · DSP (9) · DSP processor (4) · DVI (3) · dynamic scaling (5) · dyslexia (3) · ECG (14) · ECG device (4) · Eclippse Modeling Framework (5) · Eclipse (30) · Eclipse Kura (2) · Eclipse Modeling Framework (15) · Eclipse plugin (14) · Eclipse plug-in (3) · Eclipse SmartHome (2) · Eclipse Vorto (4) · ECU (5) · EDA (3) · Edge Computing (7) · EEG (5) · effect (3) · EFM32 Giant Gecko microcontroller (3) · Electrocardiography (5) · electroencephalography (EEG) (10) · electromechanical steering system (2) · electronic control unit (4) · electronic steering system (2) · Embedded Coder (3) · embedded hardware (5) · embedded Linux (22) · embedded software (24) · embedded software developement (4) · embedded software development (16) · embedded system (71) · embedded systems (27) · EMF (20) · EMF-IncQuery (29) · Emotiv Neuroheadset (4) · encryption (3) · Entity Framework (3) · epas (3) · Ericsson (3) · Error propagation analysis (5) · ESP32 (7) · esp8266 (10) · Ethereum (7) · Ethernet (31) · Ethernet interface (2) · Expert system (4) · explainable AI (6) · explanation generation (3) · exploratory data analysis (9) · eye tracking (3) · Fabric (3) · fault injection (8) · fault tolerant (3) · fault tolerant systems (2) · FBMC (3) · feature selection (4) · Federated Learning (5) · FFT (5) · FFT analysis (4) · field oriented control (3) · financial time series (3) · FIR filter (9) · Firebase (3) · firmware (4) · firmware development (4) · firmware upgrade (3) · flash memory (3) · Flask (3) · FlexRay (7) · Flutter (5) · Flutter framework (6) · fMRI (3) · formal methods (13) · formal verification (49) · Formula Student (11) · FPGA (128) · FPGA environment (10) · FPGA-based device (12) · framework (14) · freertos (16) · Freescale (3) · frequency offset (3) · frontend (4) · FRT (3) · FTDI (3) · functional connectivity (3) · FXLMS algorithm (5) · game development (5) · Gamma (13) · gateway (10) · generative model (5) · genetic algorithm (9) · genetics (3) · genome-wide association study (4) · gesture recognition (5) · Giant Gecko (2) · GNSS (3) · Google Web Toolkit (GWT) (3) · GPGPU (15) · GPS (7) · GPU (5) · Grafana (5) · graph (9) · graph analysis (2) · graph analytics (3) · graph database (11) · graph generation (4) · graph metrics (2) · graph neural network (6) · graph pattern matching (15) · graph query (4) · graph transformation (3) · graph visualization (6) · graphic LCD display (3) · Graphical User Interface (11) · graphs (4) · gsm communication (3) · gstreamer (3) · GUI (7) · guitar sound (3) · gyroscope (5) · haemodialysis machine (3) · hardware (3) · Hardware acceleration (6) · hardware design (21) · hardware designing (3) · Hardware development (3) · hardware emulation (2) · HDMI (7) · health care (5) · healthcare (4) · heart rate (4) · heart rate variability (4) · hemodialysis machine (5) · heterogeneous architecture (7) · heterogeneous SoC architecture (5) · hidden Markov model (5) · hierarchical (3) · High Level Synthesis (5) · HIL (4) · HIL simulation (4) · HIL testing (7) · holter (4) · Home Assistant (3) · home health monitoring (5) · HomeIO (2) · HTTP communication (5) · Hyperledger (5) · Hyperledger Fabric (14) · I2C (4) · I2C communication (8) · IEEE 1588 (14) · IEEE 802.11ad (3) · IEEE 802.15.4 (3) · IFTTT (2) · IIR filter (4) · image classification (6) · image processing (47) · image recognition (5) · image segmentation (5) · ImageJ (2) · IMU (3) · IncQuery (3) · incremental (2) · incremental pattern matching (4) · incremental queries (4) · industrial automation (4) · inertial measurement unit (5) · integration (4) · integration test (5) · Integration testing (8) · interface (4) · Internet of Things (20) · interpolation (3) · iOS (4) · ios platform (3) · IoT (13) · IoT devices (8) · IoT Edge (4) · IoT framework (2) · IPC (2) · iPhone (3) · IPM (3) · ISO 26262 (3) · ISO26262 (3) · isolation (3) · Jason (6) · Java (28) · Java 8 (5) · Java development (6) · Java EE (8) · Java programming (6) · Java SE (5) · Java Spring Boot (4) · JavaScript (10) · JavaServer Faces (3) · JBPM (3) · Jenkins (5) · JMeter (3) · JSON (3) · JTAG (6) · JUCE (6) · JUnit (6) · Kalman filter (4) · KiCAD (2) · Kinect (3) · KLEE (3) · knowledge base (3) · knowledge representation (7) · knowledgebase (7) · KPI (3) · Kubernetes (14) · LabVIEW (33) · LabVIEW FPGA (4) · LabVIEW platform (4) · lane tracking (3) · large language model (6) · least squares method (3) · LIN (11) · LIN communication (8) · linear temporal logic (3) · linearization (2) · Linux (30) · Linux containers (3) · Linux device drivers (3) · Linux driver (5) · Linux programming (2) · LLVM (4) · load balancing (3) · localization (3) · logsys (6) · loudspeakers (3) · low power consumption (4) · LSTM (5) · LTSpice (3) · LWIP (4) · LwIp Tcp/Ip stack (3) · machine learnig (13) · machine learning (62) · machine vision (4) · MagicDraw (4) · MagicDraw plugin (4) · magnetometer (4) · malware detection (2) · malware-classification (2) · Markov boundary (3) · Markov chain Monte Carlo (MCMC) (3) · Matlab (35) · Matlab Image Processing (3) · Matlab signal processing (12) · MATLAB Simulink (12) · MATLAB/Simulink (3) · MAX30100 (3) · maximum likelihood (3) · measurement (8) · medical data (4) · Medical device (6) · medical diagnostics (3) · medical image processing (17) · memory model (3) · MEMS acceleration sensor (3) · mental freshness (4) · mental wellness (3) · metamodel (6) · metamodeling (7) · metrics (3) · MicroBlaze (12) · microcontroller (81) · microcontroller programming (6) · Microcontrollers (3) · microprocessor (3) · microservices (5) · Microsoft .NET (4) · Microsoft Azure (3) · mikrocontroller (6) · Mild Cognitive Impairment (3) · MIPI CSI2 (5) · mobile robot (4) · model (6) · model abstraction (7) · model based code generation (4) · Model Based Design (4) · model based software developement (4) · model based software development (9) · model based systems engineering (14) · model based testing (8) · model checking (47) · model driven (4) · model driven design (3) · model driven development (9) · model driven engeneering (5) · model driven software development (10) · model generation (13) · model query (3) · model railway (3) · model transformation (13) · model validation (4) · model-based (4) · model-based code generation (4) · Model-Based Design (3) · model-based systems engineering (4) · model-driven development (17) · Model-driven engineering (5) · model-driven software development (3) · modeling (6) · modeling languages (3) · modell checking (3) · modell-driven (3) · modelling (9) · modeltransformarmation (3) · module (3) · molecular generation (4) · MongoDB (6) · monitoring (17) · monitoring system (5) · MOSFET (4) · MPPT algorithm (3) · mqtt (8) · MQTT broker (2) · MQTT protocol (4) · multiagent system (4) · multicore (3) · multitask learning (4) · Multithreading (4) · multi-threading (3) · music (3) · musical signal processing (4) · MVB (2) · nanopore sequencing (2) · National Instruments (3) · natural language communication (3) · natural language processing (18) · navigation (4) · NB-IoT (2) · Neo4j (4) · network (6) · network propagation (6) · network security (3) · neural network (25) · neural networks (18) · neurological diseases (3) · NLP (3) · node.js (6) · NodeMCU (3) · Node-RED (4) · non-invasive blood pressure measurement (5) · non-linear system identification (3) · NoSQL (3) · object detection (16) · object recognition (4) · object tracking (4) · OFDM (5) · OLAP (3) · ontology (19) · OpenCL (7) · OpenCV (10) · openHAB (5) · OpenWRT (3) · optimalization (5) · optimization (13) · ORB-SLAM (3) · oscillator (3) · oscilloscope (5) · OWL (3) · P300 (3) · PAM (2) · parallel programming (4) · parameter estimation (5) · parametric timed automata (3) · partial model (4) · partial order reduction (5) · path planning (3) · pattern recognition (4) · PCB design (24) · PCI (4) · PCI Express (8) · percussion instrument (2) · performance (3) · performance analysis (3) · performance benchmark (2) · performance evaluation (3) · performance measurement (5) · performance monitoring (3) · Petri net (8) · PetriDotNet (3) · Petri-net (5) · Photoplethysmography (5) · PHP (3) · PHP programming (5) · physical modeling (6) · physical-based sound synthesis (4) · physics-based model (2) · PID controller (3) · PINS (2) · PLC (6) · PLC programming (4) · plugin (4) · PostgreSQL (7) · Power BI (3) · power electronics (4) · power mosfet (2) · PPG (5) · prediction (7) · Printed circuit board (4) · printed circuit board design (3) · Process modeling (3) · programming (4) · project management (3) · protocol (3) · PSoC 5 (5) · PSoC 5LP (3) · ptp (5) · PTPv2 (7) · pulseoximeter (5) · PWM (3) · Python (44) · python programming (5) · QR-code (3) · Qt (5) · qualitative model (6) · qualitative modeling (5) · quality assurance (3) · query (4) · R (9) · radiotherapy (3) · railway (4) · railway break system (4) · railway systems (3) · Raspberry PI (20) · Raspbian (3) · RDF (7) · reachability analysis (4) · React.js (6) · real-time (8) · real-time simulation (4) · recommendation (2) · recommendation system (4) · reconfiguration (6) · Refinery (4) · registration (4) · regression testing (3) · reinforcement learning (18) · relational database (5) · remote control (3) · representation learning (3) · requirement management (3) · requirement specification (4) · REST API (8) · RESTful web service (3) · resuscitation (3) · Retrieval Augmented Generation (RAG) (3) · reverse proxy (3) · RF communication (3) · RISC - V (2) · RISC-V (4) · robot (5) · Robot Operating System (4) · robotics (3) · robustness testing (7) · ROS (6) · route planning (3) · RStudio (3) · RTOS (4) · Runtime verification (17) · Rust (3) · safety critical (3) · safety critical system (4) · safety-critical embedded systems (3) · safety-critical system (2) · safety-critical systems (10) · SAT (3) · saturation (6) · scalability (4) · scenario (4) · scheduling algorithm (2) · sd card (4) · SDR (4) · segmentation (6) · self driving car (3) · self driving vehicles (3) · Self-sovereign Identity (3) · semantic segmentation (2) · semantic technologies (3) · semantic web (5) · sensitivity analysis (3) · sensor (7) · sensor fusion (8) · sensor network (12) · sensorfusion (3) · sensors (8) · sequence diagram (4) · serial communication (5) · serial interfaces (2) · serious games (4) · service discovery (2) · service oriented architecture (3) · Servo (3) · servo motor (3) · Shiny (5) · signal processing (14) · Silicon Laboratories (5) · simulation (24) · simulations (4) · simulator (6) · Sine fit (3) · Sirius (5) · SLAM (4) · sleep monitoring (5) · sleep phases (4) · smart contract (8) · smart contracts (4) · smart home (18) · smart home automation (5) · smart metering (4) · smartphone (4) · SMT (7) · smt-lib (4) · SNMP (3) · SOA (5) · Sobel Filter (2) · SoC (7) · software (7) · software developement (4) · software development (11) · software testing (32) · software verification (4) · solar panel (3) · Solidity (4) · sound synthesis (9) · Spacy (3) · Spartan (4) · Spartan-6 (3) · specification formalization (3) · SPI (3) · SPI communication (8) · Spring (3) · Spring framework (4) · SSL/TLS (2) · state machine (11) · state space exploration (3) · statechart (13) · statechart composition (7) · statecharts (8) · static analysis (5) · static analysis tool (3) · static code analysis (3) · statistical modeling (3) · statistics (5) · stepper motor (4) · stm32 (10) · STM32 CAN Bus (2) · STM32F4 (5) · stm32f429 (3) · STM32F722 (3) · STM32H750B-DK (4) · stock market (3) · stream processing (4) · Stress (3) · Stress level (4) · stress testing (2) · structure learning (6) · stylometry (3) · Support Vector Machine (3) · SVM (4) · switch mode power supply (SMPS) (3) · SWTBot (3) · symbolic execution (9) · symbolic model checking (4) · SysML (13) · SysML v2 (12) · SYSMOD (3) · system design (3) · System Identification (4) · system integration (6) · system modeling (4) · system modelling (5) · system monitoring (3) · SystemC (3) · systems biology (3) · SystemVerilog (6) · TCP/IP (16) · Telemetry (4) · temperature measurement (4) · template matching (2) · tempo detection (4) · temporal logic (8) · temporal logics (3) · TensorFlow (6) · test (11) · test automation (6) · test coverage measurement (3) · Test Environment (12) · test framework (3) · test generation (20) · test input generation (3) · test system (3) · tester (3) · testing (52) · TestStand (6) · Texas Instruments (3) · thermal modell (2) · Theta (12) · Theta* (6) · Thread (3) · TIA Portal (3) · time series analysis (5) · time series prediction (7) · time synchronization (7) · timed automata (2) · timed automaton (4) · timestamp (5) · Tomosynthesis (5) · TORCS (2) · touchscreen (3) · trace (4) · traceability (6) · Train Benchmark (3) · train control (3) · transformer neural network (3) · trigger (3) · TypeScript (5) · UART (7) · UDS protocol (2) · ultrasonic (4) · UML (10) · U-Net (3) · unit test (3) · unit testing (9) · Unity 3D (3) · universal (3) · unsupervised machine learning (2) · UPPAAL (4) · USB (9) · USB 2.0 (4) · USB charger (2) · usb hid (3) · user interface (5) · user interface design (6) · UVM (5) · validation (19) · variational autoencoder (8) · verification (22) · Verilog (14) · vessel detection (3) · VGA (4) · VHDL (5) · VIATRA (13) · Viatra DSE (4) · VIATRA Query (8) · VIATRA-CEP (4) · video (4) · video processing (5) · view models (4) · virtual instrument (4) · virtualization (5) · visual data analysis (2) · visual exploratory data analysis (3) · visualization (5) · Vivado HLS (9) · V-model (3) · voltage and current measurement (3) · vst plugin (9) · wavelet-transform (3) · web application (7) · Web Service (3) · webapplication (5) · Web-based application (3) · WebRTC (2) · webserver (6) · WebSocket (3) · WiFi (7) · Wi-Fi (7) · Wifi based microcontroller (3) · wireless (5) · wireless communication (14) · wireless communication system (3) · wireless sensor network (11) · workflow (6) · WPF (3) · XCP protocol (5) · Xilinx (25) · Xilinx Vivado (8) · x-IMU (2) · Xtend (7) · Xtext (18) · Yakindu (4) · YOLO algorithm (3) · Z3 (3) · zero-knowledge proof (4) · ZigBee (8) · Zynq (10)