The FSKC is a CASE tool that allows developers to specify all valid and invalid state-event combinations of a finite state machine (FSM) through a simple to use GUI. Functions called from the FSK can be coded and linked to form a complete FSM.
Boiler-template (source) file generator. Automates (source) file generation from template files: speeds up developement of redundant or re-usable software and more. An example template for Linux Kernel Device Drivers generation, is included.