-------------------------------------------------------------------------
 
                               FSKC

                            Version 2.1
 
                  The Finite State Kernel Creator
                    Written by Tony Cureington
                  (tonycu@users.sourceforge.net)
 
-------------------------------------------------------------------------
 
The latest version of FSKC is available from the following site:
 
    http://fskc.sourceforge.net
 
-------------------------------------------------------------------------       
 
The Finite State Kernel Creator (FSKC) is a Computer Aided Software 
Engineering (CASE) tool that allows one to:

       1. Graphically design FSMs
       2. Interactively execute previously designed FSMs
       3. Print an FSMs finite state transition table
       4. Print state and event descriptions
       5. Generate C source code implementing the FSK

The FSM CASE tool allows the developer 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 inspections.  With a click of the 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.

The Finite State Kernel Creator CASE tool was developed for the
partial fulfillment of the requirements for the degree of Master of 
Science in Computer Science at Southwest Texas State University.  

-------------------------------------------------------------------------       

PREREQUISITES
=============
 
Tcl & Tk, both are available via anonymous ftp from:
   ftp://ftp.smli.com/pub/tcl/                                                  

-------------------------------------------------------------------------       
Tony Cureington   E-mail: tonycu@users.sourceforge.net
                     WWW: http://fskc.sourceforge.net
-------------------------------------------------------------------------       
