Search Results for "finite state machine simulation" - Page 2
Sort By:
Showing 102 open source projects for "finite state machine simulation"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
SmGen
Verilog Finite State Machine (FSM) Code Generator
SmGen is a finite state machine (FSM) generator for Verilog. On the other hand, it is not an FSM entry tool. The input is behavioral Verilog with clock boundaries specifically set by the designer. SmGen unrolls this behavioral code and generates an FSM from it in synthesizable Verilog. Clock boundaries are explicitly provided by the designer so there is good control on the expected timing -
2
glint
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. ... -
3
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...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). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages. -
4
A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
WireFactory Simulator
Small factory simulator for control logic test purpose
Wire Factory Simulator (WFS) is a free software to simulate the control of a factory, mainly controlled by IEC 61499 applications. You can build your own factory and controller. The controller can be implemented on any programming language. WFS was originally built to simulate the action of an IEC 614999 application. So, the devices in the factory are easily connected to IEC 61499 applications. The WFS were mainly tested with FBDK (http://www.holobloc.com/). Wire Factory has been... -
6
STPATCGeneratorPlugin is an Eclipse plugin developed based on XSTAMPP architecture for the STPA TCGenerator tool which is developed by Asim Abdulkhaleq. Th plugin will integrate with XSTAMPP platform for safety engineering to allow the safety analyst to automatically generate the safety-based test cases for each STPA-generated software safety requirements which are derived during STPA safety analysis process.
-
7
State Controller Library
A C++ framework that implements generalised finite state machines.
The State Controller Library is a generic platform-independent C++ framework that allows finite state machines and multi-action planning generalisations thereof to be realised. The structure and implementation of this library focuses on the application of finite state machines to real-time control loops, but can be reasonably adapted for virtually any other application, even completely unrelated to control systems. An emphasis has been placed on having very low overhead so as not to hurt... -
8
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
9
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
turing machine simulation
turing machine simulation with gui
A turing machine simulation. With infinite tape, and finite states of instructions, finite symbols language. Full operational, complete. Coded with reference to http://en.wikipedia.org/wiki/Turing_machine. Have fun! -
11
This is a set of regular grammar inference libraries. It contains tools to visualise the resulting grammar as a finite state machine and to actively contribute to the inference process. The repository has now moved to https://github.com/kirilluk/statechum
-
12
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
...Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has information to download, install and run Korat 2015. -
13
Carassius: Simple Petri Net Editor
Carassius is a tool for editing of Petri nets and graphs.
Carassius is a tool for editing of Petri nets and graphs. It allows to create and edit models in a very simple manner. Carassius has features for model arrangements and formatting, thus it makes a model more readable and demonstrative. With Carassius one can simply construct the model and export automatically generated TeX-code for the paper. Suitable markup languages: PNML and graphML. System reqs: MS Windows and .NET Framework 4.0 or higher. Carassius is made in HSE PAIS Lab. -
14
instantFSM
C++ inline state machine library
instantFSM is a header-only C++ state machine library. Its goal is to make state machine declaration and use easy enough that it can be integrated into your projects painlessly. Have a look atp the wiki where you will find a tutorial, samples, and a cheatsheet to get accustomed with instantFSM. The only instantFSM header file is downloadable from the files section or you can check it out from the git repository. -
15
EAS-Framework
Old Repository of the Easy Agent Simulation (deprecated since Nov. 14)
Check out the new project site on Sourceforge: https://sourceforge.net/projects/easyagentsimulation/ (as of Nov. 15. 2014, this site is depricated.) EAS is a Java-based simulation platform, developed as part of a research project at the Karlsruhe Institute of Technology. It comes with a broad range of pre-developed simulation scenarios, ranging from virtual agents acting in abstract environments to agents with a spatial representation in 2D or 3D. It is built upon a novel architecture... -
16
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
17
Provides fast and convinient way to create and manage hierarchical finite-state machine with orthogonal regions support.
-
18
Java FiniteStateMachine
Simple Finite State Machine in Java
Implementation of a few Finite Automata in Java. The project is mainly of academic interest but can also be used to describe state transition diagrams in a business application. Check out the project wiki for a quick introduction: https://sourceforge.net/p/javafsm/wiki/Home/ -
19
WOLFSIM: Wideband Optical FDTD Simulator
FDTD Electomagnetic Wave Simulation Software
WOLFSIM is a Finite-Difference Time-Domain electromagnetic simulator, designed to be easy to use but still very powerful, developed and maintained by researchers at North Carolina State University. It's features include: -1D, 2D, and 3D structures that are periodic in 1 or 2 dimensions -Materials that are anisotropic in permittivity and conductivity -Obliquely incident sources -Built-in vectorial (i.e. full polarization) near-to-far-field transformation See these... -
20
iGREAT is an open-source, statistical machine translation software toolkit based on finite-state models.
-
21
Seqview is a tool to document finite state machine (FSM). It reads a VHDL file and generate a diagram. You can edit the diagram to suit your needs. It can generate a postscript file for documenting.
-
22
LEE_FSM
Finite State Machine; PHP; LUA;
The software resents an executable specification language based on deterministic finite automata, this allows the user to perform tests of word recognition in the state machines that are defined by it. Moreover, it’s possible for the user to assign snippets of code to be executed every transition automaton, these snippets can be described in Lua or PHP programming language. To test that were conducted in the language, was developed a compiler that recognizes words and generates object code. -
23
mSim_npsat
Groundwater flow and transport simulation Matlab Toolbox
...The version here is outdated. mSim toolbox is a suite of Matlab functions which are primarily used to simulate Non Point Source Pollution in Groundwater aquifers based on Finite element methods. The current version of mSim solves the following equations in steady state: 1) Groundwater flow equation. 2) Particle Tracking. 3) 1D Advection dispersion equation. In addition mSim provides a number of functions which assist with the pre/post-processing tasks involve in a Finite Element simulation as well as functions which are used in the Non Point Source modeling such as convolution functions etc. ... -
24
EasyFsm
EasyFSM is a tool for generate finite state machine code quickly
EasyFSM is aimed to automatically generate code for finite state machine, especially for the NPC behavior programming in games. Using this tool, you just need to edit a .fsm file to describe the state machince concisely. It will generate the Java code for you according the .fsm file. Also, a .gv file for GraphiZ can be created for visualizing the finte state machine. -
25
Simple framework for building scenario based simulations. Build in Java. Simply extend event and state classes and utilize the scenario scripting in XML.
