FSMedit - The Finite State Machines Editor - Version 2.0 
Author Message
 FSMedit - The Finite State Machines Editor - Version 2.0

FSMedit is an editor for finite state machines. It is written in Ada with
the graphical user's interface (GUI) by the demonstration version of Claw.
Thus in its current version it is restricted to MS Windows systems. It
should however not present any problems to replace the Claw version by
another GUI (only a lot of work :-).

When the transition diagram of a FSM has been specified, a simulation of
the machine can be executed interactively or via scripts.

From the transition diagrams, Ada code can be generated; also the reverse,
extraction of transition diagrams from Ada code is possible.

This new version adds tools for reachability analysis and also for comparison
of two machines.

FSMedit may be installed in different languages. Currently English and German
are available. Further languages can be provided without recompilation,
solely by providing the translation in a language file.

FSMedit has been released under the Gnu GPL. However, since it is an "editor",
any software (i.e. Finite State Machine) you produce with it does not fall
under any licence other than you choose yourself.

To download FSMedit together with Ada source code and a complete user's
manual, see

    < http://www.*-*-*.com/ ;



Sun, 30 May 2004 14:07:05 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. finite state machines, state cad

2. Finite State Machine and Forth

3. Finite State Machines

4. ESTEREL, Forth and finite state machines

5. finite state machines

6. Finite state machine compiler

7. Finite State Machines

8. OO Finite State Machine Language

9. Finite State Machine inherent support

10. cisco_fsm (finite state machine) free tool: pre-announcement

11. Use of a Finite State Machine in testbench code

12. finite-state-machine problems => Synopsys

 

 
Powered by phpBB® Forum Software