embedded Finite State Machine (eFSM)

  •        0

The embedded Finite State Machine (FSM) Facility that can be used to model and control a reactive or stateful system. The system can be represented by any number of states. State transitions are driven by a number of events. eFSM is written in C.

http://efsm.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

Errfix - Model Based Testing with Ruby


About errfixerrfix is an easy to use Ruby API for modeling software. errfix enables you to easily create Finite State Machine (FSM) and Extended Finite State Machine (EFSM) models of your software. Model based testing with errfix allows you to reduce the maintenance of pre-defined test cases, by auto-generating Test-Walks through your system, and reporting on test coverage. You no longer need to create lengthy, high maintenance test scripts. You can condense your systems behaviour into a simple

efsm_workflow


Implemeting an efsm Extended finite-state machine java engine and xml or mysql storage for definitions

efsm_fs - Erlang FreeSWITCH Manager - FreeSWITCH Configuration Files


Erlang FreeSWITCH Manager - FreeSWITCH Configuration Files

PYTHIA


The software tool PYTHIA was developed at Bell Laboratories for automatically generating test sequences for protocol data portions. In PYTHIA, Finite State Machine (FSM) and Extended Finite State Machine (EFSM) are defined to model protocol control and data portions, respectively. And the problem of conformance testing can be reduced to an optimization of graph path covering.