Sinalgo is a simulation framework for testing and validating network algorithms. It allows for quick prototyping and verification in freely customizable network settings. It is mainly suited for packet-oriented wireless networks.
An easy to extend, highly graphical, easy to use 2D robot simulator specialized for path planning algorithms. Can be used in testing various robotic algorithms, and already used for comparison of path planning algorithms like RRT, RRTConnect, PRM, RboT..
Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
The Collaborative Testing System (CTS) tests parallel software using various implementations of MPI. It works on multiple platforms and supports batch systems including LSF, LCRM and workstations without a batch system. It includes a numerical diff tool.
YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.
The Network Security Response Framework (NSRF) allows for testing different computer security response engines and methodologies. It supports simulated and real: Intrusion Detection Systems (sensors), Attacks, and Responses.
Multi-user online service implementation for web-based factory modeling. Rich user interface and scalable backend system to build online simulation services on or do other processing of factory data. Demo at https://fabriksimulation.ipa.fraunhofer.de