.NET (16) · .NET Core (3) · .NET Framework (4) · 32 bit microcontroller (15) · 4-valued logic (2) · 5G mobile networks (3) · A* search (4) · A/D testing (3) · AAL (7) · ABS (3) · abstract reachability graph (3) · abstraction (18) · abstraction refinement (6) · accelerometer (17) · access control (3) · acoustic localization (6) · active learning (5) · active noise cancelling (6) · active noise control (7) · activity monitoring (3) · acustical beamforming (3) · adaptive filters (4) · adaptive Fourier-analyzer (3) · ADAS (7) · ADAS systems (2) · ADC (3) · agent (9) · agent-based simulation (3) · agents (3) · AgentSpeak (3) · AI (3) · Airtificial Neural Network (3) · algorithm (5) · algorithm development (3) · algorithm optimization (4) · algorithms (3) · Altera (6) · Altium Designer (3) · Alzheimer's disease (4) · Amazon Web Services (3) · Ambient Assisted Living (3) · ambient intelligence (4) · ambient systems (4) · Analog Devices (3) · analog-digital converter (4) · analysis (4) · ANC (3) · Android (27) · Android application (24) · Android platform (4) · Angular (3) · Angular 2 (3) · annotation (4) · anomaly detection (9) · Answer Set Programming (3) · ANTLR (4) · Apache VCL (3) · application (3) · application development (6) · application of microcontrollers (5) · applied artificial intelligence (2) · 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 inteligence (3) · artifical intelligence (22) · Artificial Intellgence (9) · artificial intelligence (35) · artificial neural network (6) · artificial neural networks (8) · ASP.NET (3) · ASP.NET MVC (3) · ASPICE (3) · assembly (3) · atmel avr atmega (4) · attention mechanism (2) · audio (7) · audio signal processing (16) · aurix microcontroller (3) · authentication (3) · autoencoder (3) · automated (3) · automated software test (2) · automated test (11) · automated test generation (7) · automated test system (4) · automated testing (7) · automated testing system (3) · automatic code generation (11) · automatic software testing (6) · automatic testing (3) · automation (8) · automatization (4) · automaton learning (4) · Automotive (24) · automotive application (5) · automotive cybersecurity (3) · automotive diagnostics (5) · automotive ECU (5) · automotive embedded system (22) · automotive industry (27) · automotive software testing (8) · automotive testing (8) · autonom vehicles (2) · autonomous (5) · autonomous driving (5) · autonomous robot (4) · autonomous vehicles (10) · AUTOSAR (43) · AVR microcontroller (7) · AWS (3) · backend (3) · balancing robot (4) · battery (5) · Bayes network (10) · bayesian approach (4) · bayesian network (10) · Bayesian-network (6) · BCI (3) · BeagleBone (3) · BeagleBone Black (8) · beamforming (4) · benchmark (9) · benchmarking (9) · BERT models (2) · Big Data (6) · big data processing (3) · bioinformatics (12) · biostatistics (4) · BitCloud (3) · Bitcoin (4) · BLDC (3) · BLE (3) · blockchain (31) · blockchain interoperability (3) · blood pressure (3) · blood pressure measurement (5) · Bluetooth (16) · Bluetooth Low Energy (17) · Bluetooth Low Energy (BLE) (7) · BME Formula Racing Team (6) · BME FRT (9) · BMS (3) · Bonita (3) · bootloader (5) · Bootstrap (5) · Bosch (4) · bounded model checking (7) · 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 (10) · C programming (7) · C# (23) · C# software development (9) · C/C++ (18) · C++ (12) · cache (3) · calibration (6) · camera (8) · CAN (33) · CAN Bus (28) · CAN communication (17) · car industry (4) · causal discovery (4) · CBDC (2) · CEGAR (20) · Central Bank Digital Currency (2) · cep (3) · CERN (3) · channel estimation (3) · Chatbot (3) · ChatGPT (4) · chest radiograph (4) · chest X-ray image (5) · Circuit analysis (3) · circuit design (4) · classification (11) · client - server architecture (4) · clock synchronization (21) · 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 (15) · 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 neural network (26) · convolutional neural networks (9) · CoreSight (4) · Cortex-M3 (5) · CPS (8) · cRIO (4) · Cross Platform (3) · cross-platform mobile app development (4) · cryptography (5) · CT segmentation (5) · CUDA (5) · CUnit (3) · cyber-physical system (4) · cyber-physical systems (32) · cybersecurity (4) · 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 (13) · de novo molecule generation (4) · debug (4) · debugger (7) · debugging (3) · decentralised (3) · decentralized (3) · decision support (7) · decision support system (3) · decision tree (5) · declarative rules (3) · deep learing (3) · deep learning (43) · Deep Neural Network (7) · Deep Neural Networks (20) · Deep Reinforcement Learning (3) · defibrillator (3) · dementia (7) · dependability (9) · design space exploration (12) · design-space exploration (2) · development (4) · DFT (3) · diagnostics (7) · dialysis machine (5) · digital filtering (3) · digital image processing (7) · Digital Signal Processing (43) · 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 embedded system (2) · distributed file system (3) · Distributed Ledger Technology (9) · Distributed system (11) · Distributed systems (12) · distributed tracing (4) · DLT (3) · DMA (5) · DNA sequencing (7) · Docker (12) · docker compose (4) · 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 (10) · DSP processor (4) · DVI (3) · dynamic scaling (5) · dyslexia (3) · ECG (14) · ECG device (4) · Eclippse Modeling Framework (5) · Eclipse (30) · Eclipse Modeling Framework (15) · Eclipse plugin (14) · Eclipse plug-in (3) · Eclipse Vorto (4) · ECU (5) · EDA (3) · Edge Computing (7) · EEG (5) · effect (3) · EFM32 Giant Gecko microcontroller (3) · Electrocardiography (5) · electroencephalography (EEG) (11) · electronic control unit (4) · Embedded Coder (3) · embedded hardware (6) · embedded Linux (23) · embedded software (24) · embedded software developement (4) · embedded software development (16) · embedded system (75) · embedded systems (29) · EMF (20) · EMF-IncQuery (29) · Emotiv Neuroheadset (4) · encryption (3) · Entity Framework (3) · epas (3) · Ericsson (3) · Error propagation analysis (6) · ESP32 (7) · esp8266 (10) · Ethereum (7) · Ethernet (33) · Expert system (4) · explainable AI (6) · explanation generation (3) · exploratory data analysis (9) · eye tracking (4) · Fabric (3) · fastapi (2) · fault diagnosis (3) · fault injection (8) · fault tolerant (3) · FBMC (4) · 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 (7) · fMRI (3) · formal methods (14) · formal modeling (3) · formal verification (54) · Formula Student (11) · FPGA (129) · FPGA environment (10) · FPGA-based device (12) · framework (14) · freertos (18) · Freescale (3) · frequency measurement (3) · frequency offset (3) · frontend (4) · FRT (3) · FTDI (3) · functional connectivity (3) · FXLMS algorithm (5) · game development (5) · Gamma (13) · gateway (11) · generative model (5) · genetic algorithm (10) · genetics (3) · genome-wide association study (4) · gesture recognition (6) · GNSS (3) · Google Web Toolkit (GWT) (3) · GPGPU (15) · GPS (7) · GPU (5) · Grafana (5) · gráfelmélet (2) · graph (9) · graph analytics (3) · graph database (11) · graph generation (5) · graph neural network (8) · 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 (4) · GUI (7) · GUI developement (2) · guitar sound (3) · gyroscope (5) · haemodialysis machine (3) · hardware (3) · Hardware acceleration (7) · hardware design (22) · hardware designing (3) · Hardware development (3) · HDMI (7) · health care (5) · healthcare (4) · heart rate (4) · heart rate variability (4) · hemodialysis machine (5) · heterogeneous architecture (7) · heterogeneous SoC architecture (6) · hidden Markov model (5) · hierarchical (3) · High Level Synthesis (5) · HIL (4) · HIL simulation (4) · HIL testing (7) · holter (4) · Home Assistant (4) · home health monitoring (5) · HTTP communication (5) · Hyperledger (5) · Hyperledger Aries (2) · Hyperledger Fabric (15) · I2C (4) · I2C communication (8) · IEEE 1588 (16) · IEEE 802.11ad (3) · IEEE 802.15.4 (3) · IIR filter (4) · image classification (6) · image processing (48) · image recognition (5) · image segmentation (5) · IMU (3) · IncQuery (3) · incremental pattern matching (4) · incremental queries (4) · inductive logic programming (2) · industrial automation (4) · inertial measurement unit (5) · information retrieval (3) · 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 (9) · IoT Edge (4) · iPhone (3) · IPM (3) · ISO 26262 (3) · ISO26262 (3) · isolation (3) · Jason (6) · Java (29) · 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) · k-induction (3) · Kinect (3) · KLEE (3) · knowledge base (3) · knowledge graph (3) · knowledge representation (7) · knowledgebase (7) · KPI (3) · Kubernetes (15) · LabVIEW (33) · LabVIEW FPGA (4) · LabVIEW platform (4) · lane tracking (3) · large language model (9) · Large language models (LLM) (4) · latent diffusion (3) · least squares method (4) · LIN (12) · LIN communication (9) · linear temporal logic (4) · Linux (30) · Linux containers (3) · Linux device drivers (3) · Linux driver (5) · LLM-agent (5) · LLMs (3) · LLVM (4) · load balancing (3) · localization (3) · logic solver (2) · logsys (6) · loudspeakers (3) · low power consumption (4) · LSTM (5) · LTL (3) · LTSpice (3) · LWIP (4) · LwIp Tcp/Ip stack (3) · machine learnig (13) · machine learning (64) · machine vision (4) · MagicDraw (4) · MagicDraw plugin (4) · magnetometer (4) · Markov boundary (3) · Markov chain Monte Carlo (MCMC) (3) · Matlab (38) · 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 (19) · memory model (3) · MEMS acceleration sensor (3) · mental freshness (4) · mental wellness (3) · metamodel (6) · metamodeling (7) · metrics (3) · MicroBlaze (12) · microcontroller (83) · 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 (15) · model based testing (8) · model checker (3) · model checking (51) · model driven (4) · model driven design (3) · model driven development (9) · model driven engeneering (5) · model driven software development (10) · model fine-tuning (3) · 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 (4) · modell-driven (3) · modelling (9) · modeltransformarmation (3) · module (3) · molecular generation (4) · MongoDB (6) · monitoring (18) · monitoring system (5) · MOSFET (4) · MPPT algorithm (3) · MPSoC (3) · mqtt (8) · MQTT protocol (4) · multiagent system (4) · multicore (4) · multitask learning (5) · Multithreading (4) · multi-threading (3) · music (3) · musical signal processing (4) · named entity recognition (2) · National Instruments (3) · natural language communication (3) · natural language processing (19) · navigation (4) · Neo4j (4) · network (6) · network propagation (6) · network security (3) · neural network (25) · neural networks (19) · 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 (17) · object recognition (4) · object tracking (4) · OFDM (5) · OGN (2) · OLAP (3) · ontology (19) · OpenCL (7) · OpenCV (10) · openHAB (5) · OpenTelemetry (2) · OpenWRT (3) · optimalization (5) · optimization (15) · ORB-SLAM (3) · oscillator (3) · oscilloscope (5) · OWL (3) · P300 (3) · parallel programming (4) · parameter estimation (5) · parametric timed automata (3) · partial model (4) · partial models (3) · partial order reduction (6) · path planning (3) · pattern recognition (4) · PCA (3) · PCB design (25) · PCI (4) · PCI Express (8) · performance (3) · performance analysis (3) · performance benchmark (3) · 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) · PID controller (3) · PLC (6) · PLC programming (4) · plugin (4) · point cloud registration (2) · positioning (3) · PostgreSQL (7) · Power BI (3) · power electronics (4) · power measurement (3) · PPG (5) · prediction (7) · Printed circuit board (4) · printed circuit board design (3) · probability graphs (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 (47) · python programming (6) · QR-code (3) · Qt (5) · qualitative model (6) · qualitative modeling (5) · quality assurance (3) · quantization noise (3) · query (4) · R (9) · radiotherapy (3) · railway (5) · railway break system (4) · railway systems (3) · railway transport (2) · Raspberry PI (20) · Raspbian (3) · RDF (7) · reachability analysis (4) · React.js (6) · real-time (8) · real-time simulation (4) · recommendation system (4) · reconfiguration (6) · Refinery (4) · registration (4) · regression testing (3) · reinforcement learning (19) · 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) (4) · reverse proxy (3) · RF communication (3) · 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 (18) · Rust (5) · safety critical (3) · safety critical system (4) · safety-critical embedded systems (3) · safety-critical systems (10) · SAT (4) · saturation (6) · scalability (4) · scenario (4) · sd card (4) · SDR (4) · SDR architectures (2) · segmentation (6) · self driving car (3) · self driving vehicles (3) · Self-sovereign Identity (4) · semantic technologies (3) · semantic web (5) · sensitivity analysis (3) · sensor (8) · sensor fusion (8) · sensor network (12) · sensorfusion (3) · sensors (8) · sequence diagram (4) · serial communication (5) · serious games (4) · service oriented architecture (3) · Servo (3) · servo motor (3) · Shiny (5) · signal processing (15) · Silicon Laboratories (6) · Silicon Labs (3) · 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 (8) · smt-lib (5) · SNMP (3) · SOA (5) · SoC (7) · software (7) · software developement (4) · software development (11) · software testing (33) · software verification (5) · solar panel (3) · Solidity (4) · sound synthesis (9) · Spacy (3) · Spartan (4) · Spartan-6 (3) · specification formalization (3) · SPI (4) · SPI communication (8) · Spring (3) · Spring framework (4) · ST microcontroller (3) · stack (2) · state machine (11) · state space exploration (3) · state-based systems engineering (2) · 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 (12) · STM32F4 (5) · stm32f429 (3) · STM32F722 (3) · STM32H750B-DK (4) · stock market (3) · stream processing (4) · Stress (3) · Stress level (4) · structure learning (6) · stylometry (3) · SUMO simulation (2) · Support Vector Machine (3) · SVM (4) · switch mode power supply (SMPS) (3) · SWTBot (3) · symbolic execution (9) · symbolic model checking (4) · SysML (14) · SysML v2 (13) · SYSMOD (3) · system design (3) · System Identification (5) · system integration (6) · system modeling (4) · system modelling (5) · system monitoring (3) · SystemC (3) · systems biology (4) · SystemVerilog (6) · TCP/IP (16) · Telemetry (4) · temperature measurement (4) · tempo detection (4) · temporal logic (9) · temporal logics (3) · TensorFlow (6) · test (11) · test automation (6) · test coverage measurement (3) · Test Environment (12) · test framework (3) · test generation (21) · test input generation (3) · test system (3) · tester (3) · testing (52) · TestStand (6) · Texas Instruments (3) · text annotation (2) · Theta (15) · Theta* (8) · Thread (3) · Thunderboard Sense 2 (2) · TIA Portal (3) · time series analysis (5) · time series prediction (7) · time synchronization (8) · timed automaton (4) · timed systems (2) · timestamp (5) · Tomosynthesis (5) · touchscreen (3) · trace (4) · traceability (6) · Train Benchmark (3) · train control (3) · transfer learning (3) · transformer neural network (4) · trigger (3) · TypeScript (6) · UART (7) · ultrasonic (4) · UML (10) · U-Net (4) · unit test (3) · unit testing (9) · Unity 3D (3) · universal (3) · UPPAAL (4) · USB (9) · USB 2.0 (4) · usb hid (3) · user interface (5) · user interface design (6) · UVM (5) · UVM verification (2) · UWB (3) · validation (20) · variational autoencoder (8) · verifiable credentials (3) · 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 exploratory data analysis (3) · visualization (5) · Vivado HLS (9) · V-model (3) · voltage and current measurement (3) · vst plugin (9) · wavelet-transform (3) · WCA (2) · web application (7) · Web Service (3) · webapplication (5) · Web-based application (3) · 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 (26) · Xilinx Vivado (8) · Xtend (8) · Xtext (19) · Yakindu (4) · YOLO algorithm (3) · Z3 (3) · zero-knowledge proof (5) · ZigBee (8) · Zynq (10)