Skip to content 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
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
