Skip to content
StateWORKS

Technology of Specification

flow_vfsm

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.

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.

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.
For more information, refer to Misunderstandings about state machines (IEEE publication, August 2004).

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.

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.

For more detailed explanations, there are some papers available on this site, and we also have some case studies. But the best way to study StateWORKS might be to read our book and to download and install StateWORKS Studio to study the examples and case studies we provide. We provide a “Getting Started” guide with the software to help you become familiar with our IDE, and also a very complete set of “Help” files.

More (external) articles

Archive

  • Embedded System Programming
    Embedded State Machine Implementation - Turning a state machine into a program can be pretty straightforward if you follow the advice of a skilled practitioner
  • AI Depot
    Article about FSM and AI