Documentation

Here you can access the available documentation, sorted into three categories:
Manuals | Tutorials | Case Studies

Manuals

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
RTDB Programmers Guide
Reference Manual for the Class Library
VFSM Library Programmers Guide
VFSM Library Programmer’s Guide
Building RTDB based Application
Building an RTDB based application
XML-VFSM-ML
Virtual Finite State Machine Markup Language
thinStates C Compiler
offers a “thin” way to Finite State Machine software design with StateWORKS Studio
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

Specifying state machine
How to prepare the specification of a virtual finite state machine using StateWORKS Studio
Specifying system of state machines
How to prepare the specification of a system of virtual finite state machines using StateWORKS Studio
Specifying RTDB
How to specify the RTDB which is the base of any StateWORKS application

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
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