Begin4 Title: Finite State Kernel Creator (FSKC) Version: 2.1 Entered-date: 2001-03-06 Description: The Finite State Kernel Creator (FSKC) is a Computer Aided Software Engineering (CASE) tool that allows one to: 1. Graphically design Finite State Machines (FSM) 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 an 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. Keywords: state machine, finite state machine, Finite State Kernel Creator, FSM, FSKC Author: tonycu@users.sourceforge.net (Tony Cureington) Maintained-by: tonycu@users.sourceforge.net (Tony Cureington) Primary-site: http://fskc.sourceforge.net 500K fskc-2.1.src.tar.gz Alternate-site: Original-site: Platforms: Requires a three button mouse (or 3-button emulation), Tcl/Tk Copying-policy: GPL End