[Moved] Finite State Machine Development



  • This isn't a post about coding. This is a post about methods people use in developing a finite state machine.

    When you are designing finite state machine how are you determining and organizing the different states? I have been thinking about this for a couple of days now and the best approach that I have been able to come up with is to use 3X5 cards and laying them on my floor.



  • Using cards is a creative way to develop a hole bunch of things. For FSM and many other
    types of automata there exists good tools to check them against specifications.

    For example "Uppaal":http://www.uppaal.org/ It's normal use is to validate timed-automata, but you should be able to ignore the unneccessary power.


Log in to reply
 

Looks like your connection to Qt Forum was lost, please wait while we try to reconnect.