Systems Under Test (SUTs) to test OpenSBT with.
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.