Documentation
Here you can access the available documentation, sorted into three categories:
Manuals | Tutorials | Case Studies
Manuals
Section titled “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 - XML-VFSM-ML
Virtual Finite State Machine Markup Language - IO_CppExample
IO-Handler connecting to an RTDB based application as a client of RTDB TCP/IP server - thinStates C Compiler
offers a “thin” way to Finite State Machine software design with StateWORKS SWStudio
Tutorials
Section titled “Tutorials”- 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
Case Studies
Section titled “Case Studies”- Calculator
Making a specification with StateWORKS Studio that will be executed by an RTDB based application - Gas control
This System with its 5 state machine is a typical example of a hierarchical system of state machines - Dining Philosophers
This problem is used to discuss multi-process synchronization problems, like deadlocks and starvation - Microwave oven control
Simple example to show the usage of real-time data base (RTDB) objects - StateWORKS in industrial control
StateWORKS covers both the design and implementation of a control system - Traffic light control
Design of a traffic light control at a level-crossing of a railway and a road