embedded-software-laboratory Goto Github PK

arcadebt

cardiovascular-and-respiratory-model

clam-pi

Static Analyzer for LLVM bitcode based on Abstract Interpretation

control-in-networked-vehicles

cpm-scenario

Library for handling CPM scenario files.

cpm_lab

crab-pi

A library for building abstract interpretation-based analyses

dataset-converter

A tool to convert datasets into scenarios for the CPM Lab.

embeddedrtps

Portable implementation of the RTPS/DDS protocol for embedded devices.

embeddedrtps-linux

embeddedrtps-stm32

f1-nextgen-low-level-controller

Low level controller for F1-NextGen

f1-nextgen-mid-level-controller

integrationservice-udpbridge

lexy

C++ parsing DSL

micro_ros_espidf_component

micro-ROS ESP32 IDF component and sample code

mros2-esp32

reference implementation of mROS 2 for ESP32 boards

novelty-detection-analysis-system

p-dmpc

Prioritized Distributed Model Predictive Control for Networked Trajectory Planning

rf-for-ards-classification

Random Forest implementation for the classification of ARDS in ICU time-series data

rosless-lanelet2

Map handling framework for automated driving without ROS dependency

sequential-convex-programming

ssl-vehicle-tracking

Provides ROS2 packages with which vehicles can be tracked on a pressure sensitive surface layer. This is divided into wheel detection and tracking as well as vehicle detection.

stllvm-examples

Examples of STLLVM generated by the LLVM IR compiler

summary-etfa22

Source code and benchmarks for the ETFA22 submission.

tsa-fmics22

Source code and benchmarks for the FMICS22 submission.

uti_msgs

z3

The Z3 Theorem Prover