• Uppaal

  • Referenced in 658 articles [sw04702]
  • tool environment for modeling, simulation and verification of real-time systems, developed jointly by Basic...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • library and framework, primarily for building network simulators. ”Network” is meant in a broader sense ... other tools. There are extensions for real-time simulation, network emulation, alternative programming languages (Java...
  • TrueTime

  • Referenced in 42 articles [sw13636]
  • Systems. TrueTime is a Matlab/Simulink-based simulator for real-time control systems. TrueTime facilitates co-simulation...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • tool environment for modeling, simulation and verification of real-time systems, developed jointly by Basic ... areas include real-time controllers and communication protocols in particular, those where timing aspects ... allowing graphical descriptions of systems. A graphical simulator which provides graphical visualization and recording ... case verification of a particular real-time system fails. The diagnostic traces may be automatically...
  • PAT

  • Referenced in 38 articles [sw13258]
  • support composing, simulating and reasoning of concurrent, real-time systems and other possible domains ... friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model checking...
  • DynaMIT

  • Referenced in 16 articles [sw01808]
  • time simulation of traffic demand-supply interactions within DynaMIT DynaMIT is a simulation-based real ... travelers. To perform these tasks, efficient simulators have been designed to explicitly capture the interactions...
  • Bullet

  • Referenced in 12 articles [sw13011]
  • Real-Time Physics Simulation. open source Bullet Physics Library...
  • spheretree

  • Referenced in 9 articles [sw39489]
  • nterruptible collision detection aims to provide real-time simulations with constant high frame-rates. This...
  • Carsim

  • Referenced in 38 articles [sw11473]
  • CarSim is software for simulating and analyzing the behavior of four-wheeled vehicles in response ... acceleration inputs. CarSim runs faster than real-time using ordinary PC’s. The basic CarSim ... other software, although full compatibility with other simulation environments is included for MATLAB/Simulink, LabView, ETAS...
  • Workcraft

  • Referenced in 6 articles [sw01021]
  • based framework for visual editing, real-time simulation, animation and extendable analysis features for different...
  • CindyJS

  • Referenced in 9 articles [sw15162]
  • modern devices --- Visualization and real-time interactive simulation play an important role both in mathematical...
  • Hybrid Toolbox

  • Referenced in 28 articles [sw15053]
  • verifying hybrid dynamical systems, for designing and simulating model predictive controllers for hybrid systems subject ... directly embedded as C-code in real-time applications...
  • CellSys

  • Referenced in 9 articles [sw38464]
  • object-oriented software package that implements modeling, simulation, observation and visualization functionality for individual-cell ... user-interface (GUI) that includes real-time visualization of simulation results...
  • RTSIM

  • Referenced in 3 articles [sw15095]
  • RTSIM stands for (Real-Time system SIMulator). It is a collection ... programming libraries written in C++ for simulating real-time control systems. RTSim has been developed ... world to play with the simulator. The dream is to have a common simulation platform...
  • CHAI3D

  • Referenced in 3 articles [sw33609]
  • CHAI3D is a powerful cross-platform C++ simulation framework with over 100+ industries and research ... computer haptics, visualization and interactive real-time simulation, CHAI3D is an open source framework that...
  • Celeris

  • Referenced in 4 articles [sw28313]
  • Boussinesq-type wave solver for real-time interactive simulation and visualization. In this paper ... introduce an interactive coastal wave simulation and visualization software, called Celeris. Celeris is an open ... method and supports moving shoreline boundaries. The simulation and visualization are performed ... software to run faster than real-time. Celeris provides a first-of-its-kind interactive...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • design and validation of real-time telecommunications software. One of the major goal ... purpose we use the formal model of timed automata. The choice of this model allows ... timed model of the application. This model is again composed with a timed model ... timing constraints. This validation should notably shorten design time by limiting tedious test and simulation...
  • RENAISSANCE

  • Referenced in 5 articles [sw03022]
  • limited amount of real-time measurements. Both simulation testing and real data testing were conducted...
  • PIFWENO3

  • Referenced in 2 articles [sw24964]
  • potential loss of life, accurate real-time simulation and visualization methods are of great importance ... order in space and second order in time solutions (in both single and double precision ... that allows for simultaneous real-time visualization and single precision simulations even on large...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • real-time model transformations, and show how the models can be simulated and model checked ... specifying and verifying model-based real-time and embedded systems within the Eclipse Modeling Framework...