Home

The FSKC (Finite State Kernel Creator) is a CASE (Computer Aided Software Engineering) tool that allows developers to specify all valid and invalid state-event combinations of an FSM (Finite State Machine) through a simple to use GUI. Functions called from the FSK can be coded and linked to form a complete FSM. The FSKC generates C/C++ code representing the FSM. Plans are currently under way to extend the code generating capabilities to include the Go and Java programming languages.

The increasing complexity of software over the past years has led to implementing the "heart" of the software as an FSM. The FSM approach was widely used in complex software packages which must conform to a given protocol or standard, such as the T.30 protocol used in transmitting and receiving documents. Other possible uses of FSMs include: the implementation of compilers and other language processing tools; communications systems, such as the modelling of network protocols and the interpretation of 'escape' character sequences in terminal emulators, and the design of interactive user interfaces. Developing software using a FSM approach also encourages highly cohesive and loosely coupled software modules. Autonomous navigation systems is an area that greatly benefits from the characteristics of Finite State Machines.

This project followed a software process that generated the following documents that can be found in the FSKC git repository under docs/Initial.

• Project Plan
• Software Specifications
• Software Requirements
• Platform Requirements
• Internal Requirements
• Test Plan
• Research Into FSM

The latest FSKC documentation, in PDF form, can be downloaded from here

The FSKC website can be found here

The CMoy Audio Amp Beginners Board by Tony Cureington can be found here

Project Admins:

• Tony Cureington