Supporting Tools

External/Not Improved V&V Tools

NVIDIA Isaac Sim, powered by Omniverse, is a scalable robotics simulation application and synthetic data generation tool that powers photorealistic, physically-accurate virtual environments to develop, test, and manage AI-based robots.


Open-source tool providing a model-driven, component-based methodology and tool support for the development of high-integrity systems for different domains.

CIROS Studio

CIROS Studio is a 3D factory simulation tool used to model & simulate multiple industrial application scenarios and visualize the simulation data flow. It is also used in conjunction with additional modules as virtual learning environment.


An open-world vehicle simulation video game developed and published by Bremen-based video game developer BeamNG GmbH


An open-source autonomous driving simulator.


Environment Simulator Minimalistic


SVL SIMULATOR - An end-to-end autonomous vehicle simulation platform


Simple application designed to create both logical (OpenDRIVE standard) and geometrical (OpenSceneGraph) descriptions of road networks.

Unreal Engine

3D computer graphics game engine developed by Epic Games.


Model-checker for Real-Time Systems


The ML-Pipeline uses stream of sensor data to analyze the behavior of automated objects in order to predict and diagnose the unknown faults and failures in an assembly process.


Framework for Wireless Sensor Network firmwares and software application


An open-source project that combines functionality of Veins and INET allowing users to create simulation with moving nodes such as vehicles and support for realistic wireless communication networks and protocols.


The Robot Operating System (ROS) is a set of software libraries and tools that help you build robot applications. From drivers to state-of-the-art algorithms, and with powerful developer tools, ROS has what you need for your next robotics project. And it's all open source.


ROSMonitoring is a framework developed for verifying at runtime the messages exchanged in a ROS system. It is a runtime verification tool released under MIT license.