Supporting Tools

External/Not Improved V&V Tools
ISAAC SIM

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.

CHESS

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.

BeamNG

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

CARLA

An open-source autonomous driving simulator.

Esmini

Environment Simulator Minimalistic

LGSVL

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

OpenRoadEd

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.

UPPAAL

Model-checker for Real-Time Systems

ML-Pipeline

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.

TinyOS

Framework for Wireless Sensor Network firmwares and software application

Veins_INET

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.

ROS

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

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.