Skip to content
StateWORKS

Documentation

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

Manuals

Section titled “Manuals”

Tutorials

Section titled “Tutorials”

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
  • Industrial control
    StateWORKS covers both the design and implementation of a control system
  • Railroad Crossing Signal
    Design of a traffic light control at a level-crossing of a railway and a road
  • Diameter Protocol Failover
    The Diameter base protocol is intended to provide an Authentication, Authorization and Accounting (AAA) framework for applications such as network access or IP mobility
  • Traffic Light
    Perfect example to illustrate how state machines are a much better approach than UML