Documentation
Here you can access the available documentation, sorted into four categories:
Development Tools | Runtime | XML-VFSM-ML | Case Studies
Development Tools
Section titled “Development Tools”- Getting Started
The objective of this guide is to provide an initial overview of the development tools - Users Guide
User’s Guide & Training Manual Version for StateWORKS Studio Development Tools - VFSM Specification
Concepts of the virtual finite state machine and how to specify state machines with the VFSM Editor - Application Specification
How to specify the RTDB and the properties of its I/O objects with the Project Editor
Tutorials
Section titled “Tutorials”- Specifying state machine
How to prepare the specification of a virtual finite state machine - Specifying system of state machines
How to prepare the specification of a system of virtual finite state machines - Specifying RTDB
How to specify the RTDB which is the base of any StateWORKS application
Runtime
Section titled “Runtime”- Building RTDB based Application
Building an RTDB based application - RTDB C++ Library Reference
C++ class library reference for the real-time database - VFSM C++ Library Reference
C++ API reference for the VFSM library - thinStates C Compiler
Offers a “thin” way to Finite State Machine software design with StateWORKS Studio
Interfaces
Section titled “Interfaces”- Standard I/O Unit
Demonstrating the basic idea of writing an I/O handler for RTDB - TCP/IP Communication with the RTDB
All attributes of each object in RTDB can be accessed by TCP/IP clients - Integrating External State Machines
Integrating state machines running outside the RTDB into a system of state machines
Examples
Section titled “Examples”- IO-Handler C++ Example
IO-Handler connecting to an RTDB based application as a client of RTDB TCP/IP server - GUI C++ Example
GUI that connects to a RTDB run-time system as a TCP/IP client
XML-VFSM-ML
Section titled “XML-VFSM-ML”- XML-VFSM-ML
Virtual Finite State Machine Markup Language
Case Studies
Section titled “Case Studies”- Microwave Oven Control
Simple example to show the usage of real-time data base (RTDB) objects - Calculator
Designing a specification that will be executed by an RTDB based application - Dining Philosophers
Independent state machines can coordinate over shared resources without a hierarchy - Gas Control
This System with its 5 state machine is a typical example of a hierarchical system of state machines - Industrial Control
StateWORKS covers both the design and implementation of a control system - Railway Crossing Signal
This design addresses unusual, erroneous, and potentially unsafe situations - Gravel Control
The IEC 61131-3 gravel example is an incomplete specification of a state machine - Diameter Failover
Explicit states can replace flags and counters used to represent hidden state - Traffic Light
Perfect example to illustrate how state machines are a much better approach than UML