Explore projects

Systems Under Test (SUTs) to test OpenSBT with.

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.

Core components of the OpenSBT framework.

Evaluate XOSC scenarios using a highly parallelizable CARLA setup!

Run distributed FMI-based co-simulations in ROS!

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