Explore projects

Evaluate XOSC scenarios using a highly parallelizable CARLA setup!

Core components of the OpenSBT framework.

This repository holds the fortiss ns-3 DetNetWiFi simulation framework for wireless/wired deterministic networks.

Run distributed FMI-based co-simulations in ROS!

GuideForce Implementation

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

Prescan Runner is a plugin for OpenSBT to apply search-based testing to a SUT simulated in Prescan.