Important: Please read the Qt Code of Conduct -

[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": It's normal use is to validate timed-automata, but you should be able to ignore the unneccessary power.

Log in to reply