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.

Improved/Developed Tools

Improved/Developed V&V Tools
Title Type
CHESS-FLA Improved/Developed Tool
TinyWIDS++ Improved/Developed Tool
netloiter Improved/Developed Tool
NMTSimulator Improved/Developed Tool
Plogchecker Improved/Developed Tool
Test case manager (TCM) Improved/Developed Tool
Looper Improved/Developed Tool
HuRoCTest Improved/Developed Tool
Anomaly detection Improved/Developed Tool
Uppex Improved/Developed Tool
Berge Simulator Improved/Developed Tool
ucXception Improved/Developed Tool
VAITP Improved/Developed Tool
VaTRA Improved/Developed Tool
DaGe4V Improved/Developed Tool
Data-driven Fault Detector Improved/Developed Tool
ScenarioGenerator Improved/Developed Tool
MoMuT Improved/Developed Tool
Simulation-based Robot Verification Tool (SRVT) Improved/Developed Tool
Camera Fault Injection Tool (CamFITool) Improved/Developed Tool