StateWORKS
Technology of Specification
Finite state machines (FSM) are used to describe the behavior of a software system, as abstracted from the total application with its numeric computations and hardware interfaces. more...
Virtual finite state machine (VFSM) is a specification method based on the FSM concept to describe the behavior of a control system using Input Control Properties. more...
The application of FSM technology in software design is greatly underestimated. Read about the four common misconceptions about the use of finite state machines for software. read more: IEE publication, August 2004 (pdf)
StateWORKS® is an implementation of the VFSM concept. A software system will be designed and tested using a special development environment. The run-time system executes the final VFSM specification. It uses the VFSM Executor program. more...
Applications created with StateWORKS may use either the RTDB library which contains the VFSM Executor and interface methods for accessing objects defined by the specification. more...
For fuller explanations, a few papers are available for on this site, and we also have some case studies. But the best way to study StateWORKS might be to buy and read, our new book and to download StateWORKS Studio LE to study the examples and case studies we provide. You can download StateWORKS Studio LE now, and use it for up to 30 days, before you decide to buy the book, where you will find a license key to remove the 30 days limitation from the StateWORKS Studio LE software package. We provide a "Getting Started" guide with the software, to help you become familiar with our I.D.E., and also a very complete set of "help" files.