• Uppaal

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

  • Referenced in 65 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 39 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...
  • 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...
  • PAT

  • Referenced in 32 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...
  • Bullet

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

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

  • Referenced in 30 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 5 articles [sw01021]
  • based framework for visual editing, real-time simulation, animation and extendable analysis features for different...
  • 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...
  • Hybrid Toolbox

  • Referenced in 25 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...
  • 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...
  • 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...
  • MetaMorph

  • Referenced in 20 articles [sw01575]
  • experiences and learning future agent interactions by simulating future dynamic, emergent behaviours. The MetaMorph architecture ... including scalability, reliability, stability, maintainability, flexibility, real-time planning and scheduling, standardized communication, fault tolerance ... multi-agent virtual manufacturing system, in simulation form, which incorporates heterogeneous manufacturing agents within different...
  • APMonitor

  • Referenced in 5 articles [sw19694]
  • operation include data reconciliation, real-time optimization, dynamic simulation, and nonlinear predictive control...
  • Qmd-plot

  • Referenced in 3 articles [sw10941]
  • time series of fluctuating data, developed in the context of molecular dynamics simulations. Qmd-plot ... about past or on-going simulations, or real-time data collections, in the form ... plots or as a function of simulated or real time. Time series records...