|
|
The Finite State Kernel Creator (FSKC) is a Computer Aided Software Engineering (CASE) tool that allows one to:
- Graphically design Finite State Machines (FSM)
- Easily add states and events
- Interactively execute previously designed FSMs
- Print an FSMs finite state transition table
- Print state and event descriptions
- Generate C source code implementing an FSK
- Incorporate a customizable length circular buffer retaining the previous state-event transitions for debugging purposes
- Check for infinite states and provide a warning if such states are found
- Define a fail-safe action for undefined state-event combinations
The FSM CASE tool allows developers to specify all valid and invalid state-event combinations of the software through a simple Graphical User Interface (GUI). The complete state table can be printed at any time, in ASCII form, for design reviews or presentations. With a click of a mouse button, the CASE tool will automatically create source code implementing the Finite State Kernel (FSK). The actual functions called by the FSK can then be coded and linked with the FSK to form the complete FSM. New states and events can be added or removed in a fraction of the time previously taken when done by hand. Engineers can interactively step through the state machine to verify its correctness and completeness.A few screen shots:
