Search Results for "finite state machine simulation"

AO-RTOS is a pure object-oriented small footprint real-time operating system for embedded devices. The project is using Active Object (or Actor) concurrency model and finite state machine (FSM) design template as implementation base.

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

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

Core library for complex software project development. Features: semaphores, services, finite state machine, framework, utilities related to the middleware architecture and implementation.

MelaJò Portal Framework is a framework to develop Java Enterprise/J2EE/MVC based applications rapidly and easily. It's based on Finite State Machine concept. It's used for years to create real business web applications with J2EE architecture.

Firebolt Network library (fnl) is a high level framework for network protocol implementations. You can implement your finite state machine oriented network protocol without messing with sockets. Define your states,events,transitions and you're ready.

Provides a portable C++ API and implementation of WS-Reliability. Provides C++ message element classes and implements SOAP messaging using EasySoap. Uses Boost, expat, and optionally gSoap. Soon: Finite state machine protocol implementation.

It's new technology for Development Personal Creation/Customization Services , based on XML standard and DAFSM (Finite State Machine Theory) , using multiple call control protocols.