Search Results for "devs"

Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL) with domain-specific models: NoC; SW/HW co-design, Service-Oriented Computing, cancer biology, Dynamic Structure, SOA DEVS, MIPS32 processors, and computer networks for education. ...

Mimosa is a modeling and simulation platform, covering the process from building conceptual models to running the simulations. The specification uses ontologies and an extensible set of formalisms for the dynamics. The simulation kernel is based on DEVS.

TCellXTalk is a comprehensive database of experimentally detected phosphorylation, ubiquitination and acetylation sites in human T cells. The web-app at www.TCellXTalk.org makes TCellXTalk accessible from Internet, and enables the in silico prediction of potential co-modified peptides to facilitate their experimental detection, using targeted or directed mass spectrometry, for the study of protein post-translational modification cross-talk. More detailed information on TCellXTalk and...

PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.

VLE is a multi-modeling and simulation environment to study complex dynamic systems. VLE is based on the discrete event specification DEVS. and it implements the DSDE formalism (A merge of Dynamic Structure DEVS, DSDEVS, with Parallel DEVS, PDEVS). VLE provides a complete set of C++ libraries, called VFL (VLE Foundation Libraries), to develop DEVS models, to gets results of simulations, to launch simulation on cluster. The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). ...

CoSMoSim offers an integrated framework for model development, simulation, & experimentation. Its unified logical, visual, and persistence framework supports specifying families of parallel CA, DEVS, Statecharts, and XML-Schema models (see DEVS-Suite simulator).

DSOL is a full featured multi-formalism, distributed simulation environment developed at Delft University of Technology (The Netherlands). DSOL has support for discrete event and for continuous modeling. Formalisms supported are event scheduling, DEVS, flow-based simulation, and continuous modeling through sets of differential equations. The first release was introduced at IEEE's Winter Simulation Conference in 2002. Since then, numerous papers and PhD dissertations have been developed, with applications in the fields of transportation and traffic, logistics, supply chain management, gaming and training, health care, and many others.

CD++Builder is an Eclipse plug-in that integrates varied applications and utilities that aids in creating CD++ DEVS models, simulating and analyzing results. Among these applications, CD++Modeler provides a graphical editor for coupled and DEVS-Graph

A college project, done for Indian Armed Forces. Army Firing Training Simulator using Android. 4 member team led by Arun Scaria, myself, Mahesh and Ashwin were devs. Has all the drawbacks of our first OS contribution, we'll keep updating.

A DEVS simulator API written in Java. DEVS stands for Discrete EVent Specification formalism.

Discrete Event System Specification (DEVS) combined with System Biology Markup Language (SBML) project: a Java-based tool to solve complex biology processes. Support by RTSync Corporation and Arizona Center for Integrated Modeling & Simulation (ACIMS)

XSY# is an open source project to implement multi-formalisms such as Discrete Event System Specification (DEVS) as well as meta-heuristic search techniques such as Genetic Algorithms.

A basic MIPS simulator based on DEVS (Discrete Event System Specification). This project aims to develop the behavior of some components of the MIPS architecture (Registers, Memory, Muxs) including only seven instructions (add, sub, and, or, lw, sw, beq)

A Discrete EVents Simulation (DEVS) of a Precision Approach Radar (PAR) developed as an assignment for the SYSC5105 course at the Carleton University. It was developed as DEVS formalism and implemented using the CD++ toolkit plugin to Eclipse. Code on SV

A basic simulation of aircraft emergency evacuation developed in CELL-DEVS using the CD++ Toolkit. A python script was then adapted to visualize this project in Blender. Code on SVN only at this time.

DEVSimPy is an advanced wxPython GUI for the modeling and simulation of systems based on the DEVS (Discrete EVent system Specification) formalism. Features include powerful built-in editor, advanced modeling approach, powerful discrete event simulation algorithm, import/export DEVS components library and more.